Get my own profile
Public access
View all9 articles
0 articles
available
not available
Based on funding mandates
Co-authors
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyVerified email at kit.edu
Stefan MitschSchool of Computing, DePaul UniversityVerified email at depaul.edu
Sarah M. LoosGoogleVerified email at google.com
Nikos ArechigaToyota Research InstituteVerified email at tri.global
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Verified email at amazon.com
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerified email at uni.lu
Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Martin FränzleProfessor of Computer Science, University of OldenburgVerified email at informatik.uni-oldenburg.de
Andreas SchaeferUniversity of Applied Sciences LuebeckVerified email at th-luebeck.de
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH