Andrea Turrini

Andrea Turrini

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4599695
-
person_outline Andrea Turrini's MOST POPULAR ARTICLES
1-) JANI: quantitative model and tool interactionCE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A TurriniTools and Algorithms for the Construction and Analysis of Systems: 23rd …, 20171202017
2-) iscasMc: A Web-Based Probabilistic Model CheckerEM Hahn, Y Li, S Schewe, A Turrini, L ZhangFM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 20141172014
3-) Lazy probabilistic model checking without determinisationEM Hahn, G Li, S Schewe, A Turrini, L ZhangarXiv preprint arXiv:1311.2928, 2013502013
4-) On correctness, precision, and performance in quantitative verification: QComp 2020 competition reportCE Budde, A Hartmanns, M Klauck, J Křetínský, D Parker, T Quatmann, ...International symposium on leveraging applications of formal methods, 216-241, 2020492020
5-) Advanced automata-based algorithms for program termination checkingYF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L ZhangProceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018492018