Get my own profile
Co-authors
Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, GermanyVerified email at simonschmitt.com
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Stephan AdlerPhD student, Freie Universität BerlinVerified email at fu-berlin.de
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Andreas GriesmayerImperial College LondonVerified email at arm.com
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Christel BaierTU DresdenVerified email at tu-dresden.de
Agus KurniawanFreie Universität Berlin and Universitas IndonesiaVerified email at fu-berlin.de
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Matthias WählischAssistant Professor of Computer Science, Freie Universität BerlinVerified email at fu-berlin.de
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Iulian OberAssociate Professor of Computer Science, Toulouse University, FranceVerified email at irit.fr
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
