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