Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerifierad e-postadress på kit.edu
- Stefan MitschSchool of Computing, DePaul UniversityVerifierad e-postadress på depaul.edu
- Sarah M. LoosGoogleVerifierad e-postadress på google.com
- Nikos ArechigaToyota Research InstituteVerifierad e-postadress på tri.global
- Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Verifierad e-postadress på amazon.com
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerifierad e-postadress på uni.lu
- Philipp RuemmerProfessor in Computer Science, University of RegensburgVerifierad e-postadress på ur.de
- Martin FränzleProfessor of Computer Science, University of OldenburgVerifierad e-postadress på informatik.uni-oldenburg.de
- Andreas SchaeferUniversity of Applied Sciences LuebeckVerifierad e-postadress på th-luebeck.de
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verifierad e-postadress på iist.unu.edu
- Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerifierad e-postadress på informatik.uni-oldenburg.de
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH