Get my own profile
Co-authors
Olivier H. RouxProfessor - Ecole Centrale Nantes, LS2N (CNRS) - FranceVerified email at ec-nantes.fr
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Patricia BouyerLSV, CNRS & ENS Paris-SaclayVerified email at lsv.fr
Emmanuel FleuryAssociate Professor, University of BordeauxVerified email at u-bordeaux.fr
Serge HaddadProfessor of Computer Science, ENS Paris-SaclayVerified email at lsv.fr
Béatrice Bérardprofesseur d'informatique, Université Pierre et Marie CurieVerified email at lip6.fr
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
Alexandre DavidSenior Software Engineer, Google Inc.Verified email at cs.aau.dk
Claude JardProfesseur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)Verified email at univ-nantes.fr
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Karine AltisenMaître de Conférences, Grenoble INP / VerimagVerified email at imag.fr
Pierre-Alain ReynierLIF, Aix-Marseille UniversitéVerified email at lif.univ-mrs.fr
Christine JulienProfessor, University of Texas at AustinVerified email at utexas.edu
Hervé MarchandUniv Rennes, Inria, CNRS, IRISAVerified email at inria.fr
Ralf HuuckNICTA, UNSWVerified email at cse.unsw.edu.au
Mads Chr. OlesenPhD Student, Aalborg UniversityVerified email at cs.aau.dk
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Anthony SloaneHonorary Associate Professor, Macquarie UniversityVerified email at mq.edu.au