Get my own profile
Public access
View all77 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Todd MillsteinProfessor of Computer Science, UCLAVerified email at cs.ucla.edu
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Grégoire SutreResearch Fellow, CNRS, University of BordeauxVerified email at labri.fr