Založit si vlastní profil
Veřejný přístup
Zobrazit všechny2 články
2 články
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Luca de AlfaroProfessor, UC Santa CruzE-mailová adresa ověřena na: acm.org
- Krishnendu ChatterjeeProfessor, IST AustriaE-mailová adresa ověřena na: ist.ac.at
- Marco FaellaUniversità di Napoli "Federico II", ItalyE-mailová adresa ověřena na: unina.it
- B. Thomas AdlerFacebook, Inc.E-mailová adresa ověřena na: alumni.caltech.edu
- Rupak MajumdarMPI for Software SystemsE-mailová adresa ověřena na: mpi-sws.org
- Zvonimir RakamaricAmazon Web Services (AWS)E-mailová adresa ověřena na: amazon.com
- Falk HowarTU DortmundE-mailová adresa ověřena na: tu-dortmund.de
- Malte IsbernerRed HatE-mailová adresa ověřena na: redhat.com
- Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteE-mailová adresa ověřena na: utwente.nl
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonE-mailová adresa ověřena na: amazon.com
- Kasper Søe LuckowAmazon Web ServicesE-mailová adresa ověřena na: amazon.com
- Pritam RoySenior Formal Verification Engineer, NVIDIA Corp.E-mailová adresa ověřena na: nvidia.com
- axel legayUCLouvainE-mailová adresa ověřena na: uclouvain.be
- Leandro Dias da SilvaUniversidade Federal de AlagoasE-mailová adresa ověřena na: ic.ufal.br
- Misty DaviesNASA Ames Research CenterE-mailová adresa ověřena na: nasa.gov
- Corina PasareanuCMU/NASA AmesE-mailová adresa ověřena na: nasa.gov
- Cesar SanchezResearch Professor, IMDEA Software InstituteE-mailová adresa ověřena na: imdea.org
- Alex ZamfirescuIndependent ResearcherE-mailová adresa ověřena na: ascinc.com