Get my own profile
Public access
View all45 articles
3 articles
available
not available
Based on funding mandates
Co-authors
- Ezio BartocciFaculty of Informatics, TU WienVerified email at tuwien.ac.at
- Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
- Thomas FerrèreImagination TechnologiesVerified email at imgtec.com
- Jyotirmoy V. DeshmukhAssociate Professor, University of Southern CaliforniaVerified email at usc.edu
- Alexandre DonzeDecyphirVerified email at decyphir.com
- Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
- Cristinel MateisVerified email at logic.at
- Stefan JakšićScientist, Austrian Institute of TechnologyVerified email at ait.ac.at
- Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoVerified email at unitn.it
- Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
- Jean-Baptiste RacletInstitut de Recherche en Informatique de Toulouse (IRIT)Verified email at irit.fr
- Benoît CaillaudINRIA / IRISA / U. RennesVerified email at inria.fr
- Niveditha ManjunathSenior System Test Engineer, DB Netz AGVerified email at deutschebahn.com
- Eugene Asarinprofesseur d'informatique, IRIF, Université de ParisVerified email at irif.fr
- Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
- Dogan UlusBogazici UniversityVerified email at boun.edu.tr