Assumption-based runtime verification with partial observability and resets A Cimatti, C Tian, S Tonetta International Conference on Runtime Verification, 165-184, 2019 | 29 | 2019 |
Assumption-based runtime verification of infinite-state systems A Cimatti, C Tian, S Tonetta Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021 | 10 | 2021 |
NuRV: A nuXmv Extension for Runtime Verification A Cimatti, C Tian, S Tonetta Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 9 | 2019 |
Assumption-based runtime verification A Cimatti, C Tian, S Tonetta Formal Methods in System Design 60 (2), 277-324, 2022 | 2 | 2022 |
A Formalization of Unique Solutions of Equations in Process Algebra C Tian arXiv preprint arXiv:1712.09402, 2017 | 2 | 2017 |
Verification and Validation of Autonomous Systems with Embedded AI: The VIVAS Approach S Fratini, P Fleith, N Policella, A Griggio, S Tonetta, S Goyal, TTH Le, ... ASTRA, p. To appear. Available at https://az659834. vo. msecnd. net …, 2023 | 1 | 2023 |
Unique solutions of contractions, CCS, and their HOL formalisation C Tian, D Sangiorgi Information and Computation 275, 104606, 2020 | 1 | 2020 |
Unique solutions of contractions, CCS, and their HOL formalisation C Tian, D Sangiorgi EXPRESS/SOS 2018, 2018 | 1 | 2018 |
Formalized Lambek calculus in higher order logic (HOL4) C Tian arXiv preprint arXiv:1705.07318, 2017 | 1 | 2017 |
A formalization of the process algebra CCS in HOL4 C Tian arXiv preprint arXiv:1705.07313, 2017 | 1 | 2017 |
Assumption-Based Runtime Verification of Finite-and Infinite-State Systems C Tian Università degli studi di Trento, 2022 | | 2022 |
NuRV 2.0. 0 User Manual A Cimatti, C Tian, S Tonetta | | 2020 |
Further Formalization of the Process Algebra CCS in HOL4 C Tian arXiv preprint arXiv:1707.04894, 2017 | | 2017 |
SNMP for Common Lisp C Tian arXiv preprint arXiv:1705.08708, 2017 | | 2017 |
A Formalization of Unique Solutions of Equations in Process Algebra D Sangiorgi, C Tian | | |