Get my own profile
Public access
View all22 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Thomas WiesNew York UniversityVerified email at cs.nyu.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Ruzica PiskacAssociate ProfessorVerified email at yale.edu
vasu singhVerified email at bmw.de
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Pavol CernyProfessor, TU WienVerified email at tuwien.ac.at
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Josef WidderInformal SystemsVerified email at informal.systems
Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Ankush DesaiSenior Applied Scientist, Amazon Web ServicesVerified email at amazon.com
Phillip Stanley-MarbellUniversity of CambridgeVerified email at eng.cam.ac.uk
Helmut VeithProfessor of Computer Science, Vienna University of Technology / TU WienVerified email at forsyte.tuwien.ac.at
Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinVerified email at cs.utexas.edu
Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
Eric KoskinenCharles Berendsen Associate Professor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
Sicun GaoUCSDVerified email at ucsd.edu
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Follow![Damien Zufferey](/citations/images/avatar_scholar_128.png)
![Damien Zufferey](/citations/images/avatar_scholar_128.png)
Damien Zufferey
Research Group Leader, Max Planck Institute for Software Systems
Verified email at mpi-sws.org - Homepage