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, ESI (TNO)Verified email at tno.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
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
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