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 | 201 | 2013 |
Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 163 | 2013 |
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 | 125 | 2016 |
Grasshopper: complete heap verification with mixed specifications R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014 | 102 | 2014 |
Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 98 | 2014 |
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 | 73 | 2020 |
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 | 73 | 2014 |
CSIsat: Interpolation for LA+EUF: Tool Paper D Beyer, D Zufferey, R Majumdar International Conference on Computer Aided Verification, 304-308, 2008 | 72 | 2008 |
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 | 64 | 2010 |
Model checking of linearizability of concurrent list implementations P Černý, A Radhakrishna, D Zufferey, S Chaudhuri, R Alur International Conference on Computer Aided Verification, 465-479, 2010 | 63 | 2010 |
Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger Foundations of Software Science and Computational Structures: 13th …, 2010 | 55 | 2010 |
Evolutionary game dynamics in populations with different learners K Chatterjee, D Zufferey, MA Nowak Journal of theoretical biology 301, 161-173, 2012 | 42 | 2012 |
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 | 38 | 2019 |
Paracosm: A Test Framework for Autonomous Driving Simulations R Majumdar, A Mathur, M Pirron, L Stegner, D Zufferey International Conference on Fundamental Approaches to Software Engineering …, 2021 | 37 | 2021 |
Ideal abstractions for well-structured transition systems D Zufferey, T Wies, TA Henzinger International Workshop on Verification, Model Checking, and Abstract …, 2012 | 33 | 2012 |
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 | 31 | 2011 |
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 | 29 | 2010 |
Structural counter abstraction K Bansal, E Koskinen, T Wies, D Zufferey Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 23 | 2013 |
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 | 23 | 2011 |
Assume–guarantee distributed synthesis R Majumdar, K Mallik, AK Schmuck, D Zufferey IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 22 | 2020 |