Get my own profile
Public access
View all88 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Stefan MitschSchool of Computing, DePaul UniversityVerified email at depaul.edu
Sarah M. LoosGoogleVerified email at google.com
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jan-David QueselGoogleVerified email at google.com
Yong Kiam TanInstitute for Infocomm Research, SingaporeVerified email at cs.cmu.edu
Khalil GhorbalINRIAVerified email at inria.fr
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteVerified email at wpi.edu
Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.Verified email at amazon.com
Paolo ZulianiAssociate Professor, Dipartimento di Informatica, Università di Roma "La Sapienza", Rome, ItalyVerified email at di.uniroma1.it
Andrew SogokonCarnegie Mellon UniversityVerified email at andrew.cmu.edu
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
Nikos ArechigaToyota Research InstituteVerified email at tri.global
Wieland Schwingera. Professor for Computer Science, Johannes Kepler University LinzVerified email at jku.at
Aurora SchmidtJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
Ryan W. GardnerJohns Hopkins University Applied Physics LaboratoryVerified email at jhuapl.edu
João G. MartinsPhD student, Computer Science, CMU and CENTRIA/FCT/UNLVerified email at cs.cmu.edu
David GarlanProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of LuxembourgVerified email at uni.lu
Christopher LangmeadAmgen and School of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Follow![André Platzer](https://usercontent.cljtscd.com/citations?view_op=view_photo&user=Y80iWtgAAAAJ&citpid=4)
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Verified email at kit.edu - Homepage