| JANI: quantitative model and tool interaction CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 137 | 2017 |
| iscasMc: A Web-Based Probabilistic Model Checker EM Hahn, Y Li, S Schewe, A Turrini, L Zhang FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 126 | 2014 |
| Lazy probabilistic model checking without determinisation EM Hahn, G Li, S Schewe, A Turrini, L Zhang arXiv preprint arXiv:1311.2928, 2013 | 63 | 2013 |
| Advanced automata-based algorithms for program termination checking YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 49 | 2018 |
| Comparative analysis of bisimulation relations on alternating and non-alternating probabilistic models R Segala, A Turrini Second International Conference on the Quantitative Evaluation of Systems …, 2005 | 47 | 2005 |
| On correctness, precision, and performance in quantitative verification: QComp 2020 competition report CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ... International symposium on leveraging applications of formal methods, 216-241, 2020 | 46 | 2020 |
| QPMC: A Model Checker for Quantum Programs and Protocols Y Feng, EM Hahn, A Turrini, L Zhang FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 45 | 2015 |
| Multi-objective robust strategy synthesis for interval Markov decision processes EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini International Conference on Quantitative Evaluation of Systems, 207-223, 2017 | 39 | 2017 |
| A comparative study of BDD packages for probabilistic symbolic model checking T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ... Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015 | 29 | 2015 |
| The quest for minimal quotients for probabilistic automata C Eisentraut, H Hermanns, J Schuster, A Turrini, L Zhang Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 29 | 2013 |
| Approximated computationally bounded simulation relations for probabilistic automata R Segala, A Turrini 20th IEEE Computer Security Foundations Symposium (CSF'07), 140-156, 2007 | 25 | 2007 |
| Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves EM Hahn, V Hashemi, H Hermanns, M Lahijanian, A Turrini ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-31, 2019 | 24 | 2019 |
| Model checking omega-regular properties for quantum Markov chains Y Feng, EM Hahn, A Turrini, S Ying 28th International Conference on Concurrency Theory, CONCUR 2017, September …, 2017 | 24 | 2017 |
| Deciding probabilistic automata weak bisimulation in polynomial time H Hermanns, A Turrini arXiv preprint arXiv:1205.0376, 2012 | 22 | 2012 |
| Deciding bisimilarities on distributions C Eisentraut, H Hermanns, J Krämer, A Turrini, L Zhang Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013 | 21 | 2013 |
| ROLL 1.0:-regular language learning library Y Li, X Sun, A Turrini, YF Chen, J Xu International Conference on Tools and Algorithms for the Construction and …, 2019 | 19 | 2019 |
| Polynomial time decision algorithms for probabilistic automata A Turrini, H Hermanns Information and computation 244, 134-171, 2015 | 19 | 2015 |
| Learning to complement Büchi automata Y Li, A Turrini, L Zhang, S Schewe International Conference on Verification, Model Checking, and Abstract …, 2017 | 16 | 2017 |
| Model checking probabilistic epistemic logic for probabilistic multiagent systems C Fu, A Turrini, X Huang, L Song, Y Feng, L Zhang IJCAI International Joint Conference on Artificial Intelligence, 2018 | 15 | 2018 |
| A simple algorithm for solving qualitative probabilistic parity games EM Hahn, S Schewe, A Turrini, L Zhang Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 14 | 2016 |
