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 SanchezResearch Professor, IMDEA Software InstituteEmail verificata su imdea.org
- Alex ZamfirescuIndependent ResearcherEmail verificata su ascinc.com