Get my own profile
Public access
View all3 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Silvia OlabarriagaAmsterdam University Medical Centers, University of AmsterdamVerified email at amc.uva.nl
Boris BleijlevensGenmab UtrechtVerified email at genmab.com
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Shayan ShahandAcademic Medical Center, University of AmsterdamVerified email at amc.uva.nl
Amin ShaliUniversity of Texas, AustinVerified email at cs.utexas.edu
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Christel BaierTU DresdenVerified email at tu-dresden.de
Einar Broch JohnsenProfessor, University of OsloVerified email at ifi.uio.no
Behrooz NobakhtLIACS, CWIVerified email at liacs.nl
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Andreas GriesmayerImperial College LondonVerified email at arm.com
Ramtin KhosraviAssistant Prof., University of TehranVerified email at ut.ac.ir
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl