Get my own profile
Public access
View all2 articles
1 article
available
not available
Based on funding mandates
Co-authors
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Verified email at irit.fr
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Timothy BourkeVerified email at tbrk.org
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
Eric Badouelresearcher at Inria, Irisa, FranceVerified email at inria.fr
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Benoît DelahayeAssociate Professor, Nantes University, LS2NVerified email at univ-nantes.fr