Andrea Turrini
Cited by
Cited by
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
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
Lazy probabilistic model checking without determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
arXiv preprint arXiv:1311.2928, 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
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
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
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
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
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
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
Approximated computationally bounded simulation relations for probabilistic automata
R Segala, A Turrini
20th IEEE Computer Security Foundations Symposium (CSF'07), 140-156, 2007
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), 2017
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
Deciding probabilistic automata weak bisimulation in polynomial time
H Hermanns, A Turrini
arXiv preprint arXiv:1205.0376, 2012
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
Polynomial time decision algorithms for probabilistic automata
A Turrini, H Hermanns
Information and computation 244, 134-171, 2015
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
Learning to complement Büchi automata
Y Li, A Turrini, L Zhang, S Schewe
International Conference on Verification, Model Checking, and Abstract …, 2017
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
Deciding probabilistic automata weak bisimulation: theory and practice
LM Ferrer Fioriti, V Hashemi, H Hermanns, A Turrini
Formal Aspects of Computing 28, 109-143, 2016
The system can't perform the operation now. Try again later.
Articles 1–20