| Model checking and the state explosion problem EM Clarke, W Klieber, M Nováček, P Zuliani Tools for Practical Software Verification: LASER, International Summer …, 2012 | 368 | 2012 |
| A bayesian approach to model checking biological systems SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009 | 305 | 2009 |
| Statistical model checking for cyber-physical systems EM Clarke, P Zuliani Automated Technology for Verification and Analysis: 9th International …, 2011 | 214 | 2011 |
| Quantum programming J Sanders, P Zuliani Mathematics of Program Construction, 80-99, 2000 | 202 | 2000 |
| Bayesian statistical model checking with application to Stateflow/Simulink verification P Zuliani, A Platzer, EM Clarke Formal Methods in System Design 43, 338-367, 2013 | 165 | 2013 |
| Bayesian statistical model checking with application to simulink/stateflow verification P Zuliani, A Platzer, EM Clarke Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 164 | 2010 |
| Statistical model checking for Markov decision processes D Henriques, J Martins, P Zuliani, A Platzer, EM Clarke QEST 2012: 9th International Conference on Quantitative Evaluation of …, 2012 | 147 | 2012 |
| An empirical exploration of the distributions of the Chidamber and Kemerer object-oriented metrics suite G Succi, W Pedrycz, S Djokic, P Zuliani, B Russo Empirical Software Engineering 10 (1), 81-104, 2005 | 100 | 2005 |
| Pathways to cellular supremacy in biocomputing L Grozinger, M Amos, TE Gorochowski, P Carbonell, DA Oyarzún, R Stoof, ... Nature communications 10 (1), 5250, 2019 | 94 | 2019 |
| Analysis and verification of the HMGB1 signaling pathway H Gong, P Zuliani, A Komuravelli, JR Faeder, EM Clarke BMC bioinformatics 11 (7), 1-13, 2010 | 86 | 2010 |
| Open source software for the public administration GL Kovács, S Drozdik, P Zuliani, G Succi Proceedings of the 6th international workshop on computer science and …, 2004 | 82 | 2004 |
| A mechanistic Individual-based Model of microbial communities PG Jayathilake, P Gupta, B Li, C Madsen, O Oyebamiji, ... PloS one 12 (8), e0181965, 2017 | 74 | 2017 |
| Statistical verification of probabilistic properties with unbounded until HLS Younes, EM Clarke, P Zuliani Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011 | 65 | 2011 |
| Quantum programming, DPhil thesis P Zuliani University of Oxford, 2001 | 63 | 2001 |
| Logical reversibility P Zuliani IBM Journal of Research and Development 45 (6), 807-818, 2001 | 59 | 2001 |
| Probreach: verified probabilistic delta-reachability for stochastic hybrid systems F Shmarov, P Zuliani Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 56 | 2015 |
| Rare-event verification for stochastic hybrid systems P Zuliani, C Baier, EM Clarke Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 52 | 2012 |
| NUFEB: A massively parallel simulator for individual-based modelling of microbial communities B Li, D Taniguchi, JP Gedara, V Gogulancea, R Gonzalez-Cabaleiro, ... PLoS Computational Biology 15 (12), e1007125, 2019 | 40 | 2019 |
| Compiling quantum programs P Zuliani Acta Informatica 41, 435-474, 2005 | 39 | 2005 |
| Modeling and simulating the noisy behavior of near-term quantum computers K Georgopoulos, C Emary, P Zuliani Physical Review A 104 (6), 062432, 2021 | 34 | 2021 |
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
