Diagnosing Violations of Time-based Properties Captured in iCFTL-Reference-Cited by-同舟云学术

Diagnosing Violations of Time-based Properties Captured in iCFTL

Published:2024-04-14 Issue: Volume: Page:33-43
ISSN:
Container-title:Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
language:
Short-container-title:

Author:

Stratan Cristina¹^ORCID,Dawes Joshua Heneage¹^ORCID,Bianculli Domenico¹^ORCID

Affiliation:

1. Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg, Luxembourg

Funder

Luxembourg National Research Fund

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3644033.3644375

Reference26 articles.

1. Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J Pace, and Gerardo Schneider. 2015. A specification language for static and runtime verification of data and control properties. In FM 2015: Formal Methods. Springer International Publishing, Cham, 108--125.

2. Howard Barringer, Ylies Falcone, Klaus Havelund, Giles Reger, and David Rydeheard. 2012. Quantified event automata: Towards expressive and efficient runtime monitors. In FM 2012: Formal Methods. Springer Berlin Heidelberg, Berlin, Heidelberg, 68--84.

3. Ezio Bartocci, Yliès Falcone, Adrian Francalanza, and Giles Reger. 2018. Introduction to Runtime Verification. Springer International Publishing, Cham, 1--33.

4. Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, and Dejan Ničković. 2019. Automatic failure explanation in CPS models. In International Conference on Software Engineering and Formal Methods. Springer, Cham, 69--86.

5. Runtime Verification for LTL and TLTL

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Checking Complex Source Code-Level Constraints using Runtime Verification;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10