| 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 | 211 | 2013 |
| Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 168 | 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 | 131 | 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 | 105 | 2014 |
| Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 103 | 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 | 89 | 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 | 76 | 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 |
| 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 | 64 | 2010 |
| 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 |
| Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger Foundations of Software Science and Computational Structures: 13th …, 2010 | 56 | 2010 |
| 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 | 49 | 2021 |
| 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 | 39 | 2019 |
| 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 |
| Interactive programming for parametric cad A Mathur, M Pirron, D Zufferey Computer graphics forum 39 (6), 408-425, 2020 | 25 | 2020 |
| 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 |
Thomas WiesNew York UniversityEmail verificata su cs.nyu.edu