Follow
Damien Zufferey
Damien Zufferey
Research Group Leader, Max Planck Institute for Software Systems
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
P: safe asynchronous event-driven programming
A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey
ACM SIGPLAN Notices 48 (6), 321-332, 2013
1762013
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1462013
PSync: a partially synchronous language for fault-tolerant distributed algorithms
C Drăgoi, TA Henzinger, D Zufferey
ACM SIGPLAN Notices 51 (1), 400-415, 2016
1062016
GRASShopper Complete Heap Verification with Mixed Specifications
R Piskac, T Wies, D Zufferey
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
952014
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
872014
CSIsat: Interpolation for LA+EUF: Tool Paper
D Beyer, D Zufferey, R Majumdar
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
732008
A logic-based framework for verifying consensus algorithms
C Drăgoi, TA Henzinger, H Veith, J Widder, D Zufferey
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
722014
FlexPRICE: Flexible provisioning of resources in a cloud environment
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
2010 IEEE 3rd International Conference on Cloud Computing, 83-90, 2010
632010
Model checking of linearizability of concurrent list implementations
P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
622010
Forward analysis of depth-bounded processes
T Wies, D Zufferey, TA Henzinger
Foundations of Software Science and Computational Structures: 13th …, 2010
572010
Exploiting errors for efficiency: A survey from circuits to applications
P Stanley-Marbell, A Alaghi, M Carbin, E Darulova, L Dolecek, ...
ACM Computing Surveys (CSUR) 53 (3), 1-39, 2020
532020
Evolutionary game dynamics in populations with different learners
K Chatterjee, D Zufferey, MA Nowak
Journal of theoretical biology 301, 161-173, 2012
352012
Ideal abstractions for well-structured transition systems
D Zufferey, T Wies, TA Henzinger
Verification, Model Checking, and Abstract Interpretation: 13th …, 2012
352012
A marketplace for cloud resources
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
Proceedings of the tenth ACM international conference on Embedded software, 1-8, 2010
312010
Static scheduling in clouds
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
3rd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 11), 2011
282011
Paracosm: A language and tool for testing autonomous driving systems
R Majumdar, A Mathur, M Pirron, L Stegner, D Zufferey
arXiv preprint arXiv:1902.01084, 2019
272019
Paracosm: A Test Framework for Autonomous Driving Simulations
R Majumdar, A Mathur, M Pirron, L Stegner, D Zufferey
Fundamental Approaches to Software Engineering: 24th International …, 2021
252021
Structural counter abstraction
K Bansal, E Koskinen, T Wies, D Zufferey
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013
232013
Scheduling large jobs by abstraction refinement
TA Henzinger, V Singh, T Wies, D Zufferey
Proceedings of the sixth conference on Computer systems, 329-342, 2011
202011
Interpolants in nonlinear theories over the reals
S Gao, D Zufferey
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
162016
The system can't perform the operation now. Try again later.
Articles 1–20