Get my own profile
Public access
View all2 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Marco FaellaUniversità di Napoli "Federico II", ItalyVerified email at unina.it
B. Thomas AdlerFacebook, Inc.Verified email at alumni.caltech.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Zvonimir RakamaricAmazon Web Services (AWS)Verified email at amazon.com
Falk HowarTU DortmundVerified email at tu-dortmund.de
Malte IsbernerRed HatVerified email at redhat.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
Kasper Sĝe LuckowAmazon Web ServicesVerified email at amazon.com
Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Verified email at nvidia.com
axel legayUCLouvainVerified email at uclouvain.be
Leandro Dias da SilvaUniversidade Federal de AlagoasVerified email at ic.ufal.br
Misty DaviesNASA Ames Research CenterVerified email at nasa.gov
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Cesar SanchezProfessor, IMDEA Software InstituteVerified email at imdea.org
Alex ZamfirescuIndependent ResearcherVerified email at ascinc.com