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
Jaco van de PolProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Marcel VerhoefEuropean Space AgencyVerified email at xs4all.nl
Hillel KuglerBar-Ilan UniversityVerified email at biu.ac.il
Thomas NägeleConsulant / Engineer, AltranVerified email at altran.com
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Peter Gorm LarsenAarhus UniversityVerified email at eng.au.dk
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Marcel KyasAssistant Professor, Reykjavik UniversityVerified email at ru.is
Mannes PoelAssistant Professor of Computer Science, University of TwenteVerified email at utwente.nl
peter van der stokvanderstok consultancyVerified email at vanderstok.org
Jozef Hooman
Professor of Computer Science, Radboud University Nijmegen
Verified email at cs.ru.nl - Homepage