Skip to main content
- A taxonomy for classifying runtime verification tools.
Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel.
International Journal of Software Tools Technology Transfer 23(2): 255-284 (2021)
- On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
Antoine El-Hokayem, Yliès Falcone
In ACM Transaction on Software Engineering Methodoly 29(1): 1:1-1:57 (2020)
- Runtime enforcement of regular timed properties by suppressing and delaying events.
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty.
Science of Computer Programming 123: 2-41 (2016)
- What can you Verify and Enforce at Runtime?
Y. Falcone, J-C. Fernandez, L. Mounier.
In STTT: Software Tools for Technology Transfer – Special issue on Runtime Verification.
June 2012, Volume 14, Issue 3, pp 349-382.
This is an invited paper. I am the invited author.
- Introduction to runtime verification.
Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger.
In Lectures on Runtime Verification, 1-33.