Skapa en profil
Offentlig åtkomst
Visa alla2 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Luca de AlfaroProfessor, UC Santa CruzVerifierad e-postadress på acm.org
- Krishnendu ChatterjeeProfessor, IST AustriaVerifierad e-postadress på ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyVerifierad e-postadress på unina.it
- B. Thomas AdlerFacebook, Inc.Verifierad e-postadress på alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsVerifierad e-postadress på mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Verifierad e-postadress på amazon.com
- Falk HowarTU DortmundVerifierad e-postadress på tu-dortmund.de
- Malte IsbernerRed HatVerifierad e-postadress på redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerifierad e-postadress på utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerifierad e-postadress på amazon.com
- Kasper Søe LuckowAmazon Web ServicesVerifierad e-postadress på amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verifierad e-postadress på nvidia.com
- axel legayUCLouvainVerifierad e-postadress på uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasVerifierad e-postadress på ic.ufal.br
- Misty DaviesNASA Ames Research CenterVerifierad e-postadress på nasa.gov
- Corina PasareanuCMU/NASA AmesVerifierad e-postadress på nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteVerifierad e-postadress på imdea.org
- Alex ZamfirescuIndependent ResearcherVerifierad e-postadress på ascinc.com