Get my own profile
Co-authors
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Marcel VerhoefEuropean Space AgencyVerified email at xs4all.nl
Thomas NägeleResearcher, TNO-ESIVerified email at tno.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Peter Gorm LarsenAarhus UniversityVerified email at ece.au.dk
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Mannes PoelAssociate Professor of Computer Science, University of TwenteVerified email at utwente.nl
peter van der stokvanderstok consultancyVerified email at bbhmail.nl
Follow
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage