Get my own profile
Co-authors
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Iulian OberAssociate Professor of Computer Science, Toulouse University, FranceVerified email at irit.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
Ileana OberUniversity of ToulouseVerified email at irit.Fr
Laurent MounierVERIMAG University of Grenoble AlpesVerified email at univ-grenoble-alpes.fr
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Lucian GhirvuLector informatica, Univ. Al.I.Cuza IasiVerified email at info.uaic.ro
Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Gregor GösslerINRIAVerified email at inria.fr
Sebastien GerardCEA ListVerified email at cea.fr
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Roberto PasseroneUniversity of TrentoVerified email at unitn.it
Bran SelicMalina Software Corp.Verified email at acm.org
Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Andreas PrinzProfessor of Systems Engineering, University of AgderVerified email at uia.no