Get my own profile
Public access
View all11 articles
1 article
available
not available
Based on funding mandates
Co-authors
Martin TapplerTU WienVerified email at ist.tugraz.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
Stefan TiranStudent, Graz, University of TechnologyVerified email at ist.tugraz.at
Edi MuškardinSillicon-Austria LabsVerified email at silicon-austria.com
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
Richard SchumiSingapore Management University (SMU)Verified email at smu.edu.sg
Andreas GriesmayerImperial College LondonVerified email at arm.com
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Ingo PillSilicon Austria Labs GmbH, Inffeldgasse 33, 8010 GrazVerified email at silicon-austria.com
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
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is