Seguir
Andrea Turrini
Título
Citado por
Citado por
Ano
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
1032014
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
972017
Lazy probabilistic model checking without determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
arXiv preprint arXiv:1311.2928, 2013
502013
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
392005
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
342017
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
332018
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
282015
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
272013
Approximated computationally bounded simulation relations for probabilistic automata
R Segala, A Turrini
20th IEEE Computer Security Foundations Symposium (CSF'07), 140-156, 2007
252007
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
222013
A comparative study of BDD packages for probabilistic symbolic model checking
T Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
202015
Deciding probabilistic automata weak bisimulation in polynomial time
H Hermanns, A Turrini
arXiv preprint arXiv:1205.0376, 2012
202012
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
162019
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
152017
Learning to complement Büchi automata
Y Li, A Turrini, L Zhang, S Schewe
International Conference on Verification, Model Checking, and Abstract …, 2018
132018
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
132016
Polynomial time decision algorithms for probabilistic automata
A Turrini, H Hermanns
Information and computation 244, 134-171, 2015
132015
On correctness, precision, and performance in quantitative verification
CE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...
International Symposium on Leveraging Applications of Formal Methods, 216-241, 2021
122021
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
122019
Exploiting robust optimization for interval probabilistic bisimulation
EM Hahn, V Hashemi, H Hermanns, A Turrini
International Conference on Quantitative Evaluation of Systems, 55-71, 2016
112016
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20