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
- Jasmin BlanchetteLudwig-Maximilians-Universität MünchenVerified email at ifi.lmu.de
- 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
- Matthias WählischProfessor and Chair of Distributed and Networked Systems, TU Dresden, BI Research FellowVerified email at tu-dresden.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
