Crea il mio profilo
Accesso pubblico
Visualizza tutto2 articoli
2 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzEmail verificata su alumni.stanford.edu
Krishnendu ChatterjeeProfessor, IST AustriaEmail verificata su ist.ac.at
Marco FaellaUniversità di Napoli "Federico II", ItalyEmail verificata su unina.it
B. Thomas AdlerFacebook, Inc.Email verificata su alumni.caltech.edu
Rupak MajumdarMPI for Software SystemsEmail verificata su mpi-sws.org
Zvonimir RakamaricAmazon Web Services (AWS)Email verificata su amazon.com
Falk HowarTU DortmundEmail verificata su tu-dortmund.de
Malte IsbernerRed HatEmail verificata su redhat.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail verificata su utwente.nl
Temesghen KahsaiPrincipal Applied Scientist @ AmazonEmail verificata su amazon.com
Kasper Søe LuckowAmazon Web ServicesEmail verificata su amazon.com
Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Email verificata su nvidia.com
axel legayUCLouvainEmail verificata su uclouvain.be
Leandro Dias da SilvaUniversidade Federal de AlagoasEmail verificata su ic.ufal.br
Misty DaviesNASA Ames Research CenterEmail verificata su nasa.gov
Corina PasareanuCMU/NASA AmesEmail verificata su nasa.gov
Cesar SanchezProfessor, IMDEA Software InstituteEmail verificata su imdea.org
Alex ZamfirescuIndependent ResearcherEmail verificata su ascinc.com