Publications

1. Cimatti, A., Tian, C., Tonetta, S.: Assumption-Based Runtime Verification with Partial Observability and Resets. In: Finkbeiner, B. and Mariani, L. (eds.) LNCS 11757 - Runtime Verification (RV 2019). pp. 165–184 Springer International Publishing, Porto, Portugal (2019).

   • Presentation slides.

2. Cimatti, A., Tian, C., Tonetta, S.: NuRV: A nuXmv Extension for Runtime Verification. In: Finkbeiner, B. and Mariani, L. (eds.) LNCS 11757 - Runtime Verification (RV 2019). pp. 382–392 Springer International Publishing, Porto, Portugal (2019).

   • Presentation slides.

3. Cimatti A., Tian C., Tonetta S. (2021) Assumption-Based Runtime Verification of Infinite-State Systems. In: Feng L., Fisman D. (eds) Runtime Verification. RV 2021. Lecture Notes in Computer Science, vol 12974. Springer, Cham. [free preprint, presentation]

   • Artifacts for experimental evaluation (based on NuRV 1.6.1 or later versions).
   • Free preprint and presentation slides.

4. Tian, Chun: Assumption-Based Runtime Verification of Finite- and Infinite-State Systems, PhD thesis, Università di Trento, November, 2022.

5. Cimatti, Alessandro, Chun Tian, and Stefano Tonetta. "Assumption-based Runtime Verification." Formal Methods in System Design (2023): 1-48.