Get my own profile
Co-authors
axel legayUCLouvainVerified email at uclouvain.be
Felix IngrandLAAS/CNRS, ANITI (Univ. Toulouse)Verified email at laas.fr
Doron A. PeledProfessor Of Computer Science, Bar Ilan UniversityVerified email at cs.biu.ac.il
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Ahmed BouajjaniProfessor Computer Science, University of ParisVerified email at irif.fr
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Andreas GriesmayerImperial College LondonVerified email at arm.com
Amedeo CestaCNR -- National Research Council of Italy, ISTCVerified email at istc.cnr.it
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Verified email at univ-grenoble-alpes.fr