Mijn eigen profiel maken
Openbare toegang
Alles bekijken2 artikelen
2 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Luca de AlfaroProfessor, UC Santa CruzGeverifieerd e-mailadres voor acm.org
- Krishnendu ChatterjeeProfessor, IST AustriaGeverifieerd e-mailadres voor ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyGeverifieerd e-mailadres voor unina.it
- B. Thomas AdlerFacebook, Inc.Geverifieerd e-mailadres voor alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsGeverifieerd e-mailadres voor mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)Geverifieerd e-mailadres voor amazon.com
- Falk HowarTU DortmundGeverifieerd e-mailadres voor tu-dortmund.de
- Malte IsbernerRed HatGeverifieerd e-mailadres voor redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteGeverifieerd e-mailadres voor utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonGeverifieerd e-mailadres voor amazon.com
- Kasper Søe LuckowAmazon Web ServicesGeverifieerd e-mailadres voor amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.Geverifieerd e-mailadres voor nvidia.com
- axel legayUCLouvainGeverifieerd e-mailadres voor uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasGeverifieerd e-mailadres voor ic.ufal.br
- Misty DaviesNASA Ames Research CenterGeverifieerd e-mailadres voor nasa.gov
- Corina PasareanuCMU/NASA AmesGeverifieerd e-mailadres voor nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteGeverifieerd e-mailadres voor imdea.org
- Alex ZamfirescuIndependent ResearcherGeverifieerd e-mailadres voor ascinc.com