Get my own profile
Public access
View all10 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Jan KřetínskýMasaryk University Brno; Technical University of MunichVerified email at fi.muni.cz- Maximilian WeiningerTechnical University of MunichVerified email at tum.de
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
- Mathias JackermeierPhD in Machine Learning, University of OxfordVerified email at cs.ox.ac.uk
- Stefanie MohrTechnical University of MunichVerified email at in.tum.de
- Vahid HashemiAUDI AGVerified email at audi.de
- Tomas BrazdilMasaryk UniversityVerified email at fi.muni.cz
- Tobias MeggendorferAssistant Professor, Lancaster University LeipzigVerified email at meggendorfer.de
- Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
- Jakob Haahr TaankvistPhD student, Aalborg University, Department of Computer ScienceVerified email at cs.aau.dk
- Adrien Le CoëntLACL, Université Paris-Est CréteilVerified email at u-pec.fr
- Pushpak JagtapAssistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, IndiaVerified email at iisc.ac.in
- Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
- Christoph WeinhuberUniversity of OxfordVerified email at cs.ox.ac.uk
- Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
- Tobias WinklerPhD Candidate, Software Modeling and Verification Group, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
- Yuliya ButkovaVerified email at cs.uni-saarland.de
- Christoph H. LampertInstitute of Science and Technology Austria (ISTA)Verified email at ist.ac.at
- Viktor TomanGoogleVerified email at google.com
