Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
- Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceVerified email at isae-supaero.fr
- Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.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
- Imene Ben HafaiedhUniversity of Tunis El ManarVerified email at isi.utm.tn
- Bernhard SteffenProfessor für Informatik, TU DortmundVerified email at cs.uni-dortmund.de
- Ahmed BouajjaniProfessor Computer Science, Université Paris CitéVerified email at irif.fr
- Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
- Lucian GhirvuLector informatica, Univ. Al.I.Cuza IasiVerified email at info.uaic.ro
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
- Sebastien GerardCEA ListVerified email at cea.fr
- Gregor GösslerINRIAVerified email at inria.fr
- Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
- Bran SelicMalina Software Corp.Verified email at acm.org
- Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
- Oystein HaugenProfessor at Řstfold University CollegeVerified email at hiof.no
- Michael SchwartzbachProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk