Andrea Turrini
Title
Cited by
Cited by
Year
iscasMc: A Web-Based Probabilistic Model Checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
International Symposium on Formal Methods, 312-317, 2014
692014
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
402017
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
362005
QPMC: A Model Checker for Quantum Programs and Protocols
Y Feng, EM Hahn, A Turrini, L Zhang
International Symposium on Formal Methods, 265-272, 2015
242015
The quest for minimal quotients for probabilistic automata
C Eisentraut, H Hermanns, J Schuster, A Turrini, L Zhang
International Conference on Tools and Algorithms for the Construction and …, 2013
242013
Lazy probabilistic model checking without determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
arXiv preprint arXiv:1311.2928, 2013
232013
Approximated computationally bounded simulation relations for probabilistic automata
R Segala, A Turrini
20th IEEE Computer Security Foundations Symposium (CSF'07), 140-156, 2007
232007
“Consortium”——An Efficient Way for Electronic Resources Acquisition
Y Yi, Z Di, L Yulan
Journal of Academic Libraries, 3, 2004
222004
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
192017
Deciding bisimilarities on distributions
C Eisentraut, H Hermanns, J Krämer, A Turrini, L Zhang
International Conference on Quantitative Evaluation of Systems, 72-88, 2013
192013
Deciding probabilistic automata weak bisimulation in polynomial time
H Hermanns, A Turrini
arXiv preprint arXiv:1205.0376, 2012
172012
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
132018
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, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
112015
Polynomial time decision algorithms for probabilistic automata
A Turrini, H Hermanns
Information and Computation 244, 134-171, 2015
112015
Cost preserving bisimulations for probabilistic automata
H Hermanns, A Turrini
International Conference on Concurrency Theory, 349-363, 2013
10*2013
A quantitative doxastic logic for probabilistic processes and applications to information-hiding
S Kramer, C Palamidessi, R Segala, A Turrini, C Braun
Journal of Applied Non-Classical Logics 19 (4), 489-516, 2009
102009
Method and system for checking the position of a mechanical part with a light beam
A Turrini
US Patent 7,355,727, 2008
102008
Deciding probabilistic automata weak bisimulation: theory and practice
LMF Fioriti, V Hashemi, H Hermanns, A Turrini
Formal Aspects of Computing 28 (1), 109-143, 2016
92016
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
82017
A simple algorithm for solving qualitative probabilistic parity games
EM Hahn, S Schewe, A Turrini, L Zhang
International Conference on Computer Aided Verification, 291-311, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–20