Get my own profile
Public access
View all11 articles
2 articles
available
not available
Based on funding mandates
Co-authors
- Martin TapplerTU WienVerified email at tuwien.ac.at
- Willibald KrennSAL Silicon Austria LabsVerified email at silicon-austria.com
- Andrea PferscherPostdoctoral Research Fellow, Department of Informatics, University of OsloVerified email at ifi.uio.no
- Edi MuškardinSillicon-Austria LabsVerified email at silicon-austria.com
- Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
- Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaVerified email at ist.tugraz.at
- Rupert SchlickAIT Austrian Institute of Technology GmbHVerified email at ait.ac.at
- Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
- Meng SunProfessor, School of Mathematical Science, Peking UniversityVerified email at math.pku.edu.cn
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Andreas GriesmayerImperial College LondonVerified email at arm.com
- Richard SchumiSingapore Management University (SMU)Verified email at smu.edu.sg
- Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
- Ingo PillExternal Lecturer Graz University of TechnologyVerified email at ist.tugraz.at
- Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
- Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
- Franz PernkopfGraz University of TechnologyVerified email at tugraz.at
- Markus TranningerKNAPP Systemintegration GmbHVerified email at tugraz.at
- Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at