Crea el meu perfil
Accés públic
Mostra-ho tot2 articles
2 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzCorreu electrònic verificat a alumni.stanford.edu
- Krishnendu ChatterjeeProfessor, IST AustriaCorreu electrònic verificat a ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyCorreu electrònic verificat a unina.it
- B. Thomas AdlerFacebook, Inc.Correu electrònic verificat a alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsCorreu electrònic verificat a mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Correu electrònic verificat a amazon.com
- Falk HowarTU DortmundCorreu electrònic verificat a tu-dortmund.de
- Malte IsbernerRed HatCorreu electrònic verificat a redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteCorreu electrònic verificat a utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonCorreu electrònic verificat a amazon.com
- Kasper Søe LuckowAmazon Web ServicesCorreu electrònic verificat a amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Correu electrònic verificat a nvidia.com
- axel legayUCLouvainCorreu electrònic verificat a uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasCorreu electrònic verificat a ic.ufal.br
- Misty DaviesNASA Ames Research CenterCorreu electrònic verificat a nasa.gov
- Corina PasareanuCMU/NASA AmesCorreu electrònic verificat a nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteCorreu electrònic verificat a imdea.org
- Alex ZamfirescuIndependent ResearcherCorreu electrònic verificat a ascinc.com