Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
- Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
- Niveditha ManjunathSenior System Test Engineer, DB Netz AGVerified email at deutschebahn.com
- Ayrat KhalimovTU ClausthalVerified email at tu-clausthal.de
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
- Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
- Stefan SchuppFormal Verification @Apple