Get my own profile
Co-authors
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
Sung-Shik JongmansOpen University of the Netherlands; Centrum Wiskunde & InformaticaVerified email at ou.nl
George Á. PapadopoulosProfessor of Software Engineering, Department of Computer Science, University of CyprusVerified email at cs.ucy.ac.cy
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
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Ivan HermanCenter for Mathematics and Computer Science, CWIVerified email at cwi.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Dave ClarkeIndependentVerified email at storytel.com
Alexander LazovikUniversity of GroningenVerified email at rug.nl
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Jose ProencaCISTER - ISEPVerified email at proenca.org
Henderik A. ProperProfessor in Enterprise Engineering at Radboud University Nijmegen, at University of Luxembourg, andVerified email at acm.org
Christian KrauseSAP SEVerified email at sap.com
Pascal BouvryProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
Eric MonfroyProfessor of Computer Science, Université de NantesVerified email at univ-nantes.fr
Hamideh AfsarmaneshProfessor of Computer Science, University of AmsterdamVerified email at uva.nl
Mahdi SargolzaeiUniversity of AmsterdamVerified email at uva.nl
Kasper DokterPhD studentVerified email at cwi.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl