Get my own profile
Public access
View all14 articles
2 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
Jan RuttenCWIVerified email at cwi.nl
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Martin SteffenUniversity of OsloVerified email at ifi.uio.no
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Alexander KurzChapman UniversityVerified email at chapman.edu
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Henderik A. ProperProfessor in Data & Knowledge Engineering at the University of LuxembourgVerified email at acm.org
Stijn HoppenbrouwersProfessor at HAN University of Applied Sciences and assistant professor at Radboud UniversityVerified email at han.nl
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Maria-Eugenia IacobProfessor, University of TwenteVerified email at utwente.nl
Dave ClarkeIndependentVerified email at storytel.com
Joost WinterUniversity of WarsawVerified email at mimuw.edu.pl
Mohammad IzadiAssociate professor of Computer Engineering, Sharif University of TechnologyVerified email at sharif.edu
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
Follow
Marcello Bonsangue
Professor of Computer Science, Leiden University
Verified email at liacs.leidenuniv.nl - Homepage