Get my own profile
Public access
View all2 articles
1 article
available
not available
Based on funding mandates
Co-authors
Simon SchmittAG Computer Systems & Telematics, Freie Universität Berlin, Berlin, GermanyVerified email at simonschmitt.com
Stephan AdlerSafety IO GmbHVerified email at safetyio.com
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
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
Agus KurniawanFreie Universität Berlin and Universitas IndonesiaVerified email at fu-berlin.de
Gerardo SchneiderProfessor of Computer Science, University of GothenburgVerified email at cse.gu.se
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Andreas GriesmayerImperial College LondonVerified email at arm.com
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
Jasmin BlanchetteVrije Universiteit AmsterdamVerified email at vu.nl
Matthias WählischAssistant Professor of Computer Science, Freie Universität BerlinVerified email at fu-berlin.de
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceVerified email at isae-supaero.fr
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk