Mijn eigen profiel maken
Medeauteurs
Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceGeverifieerd e-mailadres voor isae-supaero.fr
Joseph SifakisReseracher at Verimag laboratory, GrenobleGeverifieerd e-mailadres voor imag.fr
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleGeverifieerd e-mailadres voor imag.fr
Ileana OberUniversity of ToulouseGeverifieerd e-mailadres voor irit.Fr
Laurent MounierVERIMAG University of Grenoble AlpesGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalGeverifieerd e-mailadres voor csl.sri.com
Imene Ben HafaiedhUniversity of Tunis El ManarGeverifieerd e-mailadres voor isi.utm.tn
Ahmed BouajjaniProfessor Computer Science, Université Paris CitéGeverifieerd e-mailadres voor irif.fr
Bernhard SteffenProfessor für Informatik, TU DortmundGeverifieerd e-mailadres voor cs.uni-dortmund.de
Saddek BensalemUniversité Grenoble Alpes, VERIMAGGeverifieerd e-mailadres voor univ-grenoble-alpes.fr
Marcello BonsangueProfessor of Computer Science, Leiden UniversityGeverifieerd e-mailadres voor liacs.leidenuniv.nl
Lucian GhirvuLector informatica, Univ. Al.I.Cuza IasiGeverifieerd e-mailadres voor info.uaic.ro
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Geverifieerd e-mailadres voor cwi.nl
Sebastien GerardCEA ListGeverifieerd e-mailadres voor cea.fr
Gregor GösslerINRIAGeverifieerd e-mailadres voor inria.fr
Roberto PasseroneUniversity of TrentoGeverifieerd e-mailadres voor unitn.it
Bran SelicMalina Software Corp.Geverifieerd e-mailadres voor acm.org
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityGeverifieerd e-mailadres voor cs.biu.ac.il
Oystein HaugenProfessor at Østfold University CollegeGeverifieerd e-mailadres voor hiof.no
Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk