Selected Publications

  • 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)
    Pre-print
  • 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)
    Pre-print
  • 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)
    Pre-print
  • 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.
    Pre-print.
  • Introduction to runtime verification.
    Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger.
    In Lectures on Runtime Verification, 1-33.
    Preprint