Selected Publications

  • Decentralised LTL Monitoring.
    A. Bauer, Y. Falcone.
    In FM’2012: 18th international symposium on Formal Methods.
    Pre-print.
    This paper received the Best Paper Award from FM’2012 PC.
  • Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.
    H. Barringer, Y. Falcone, K. Havelund, G. Reger, D. Rydeheard.
    In FM’2012: 18th international symposium on Formal Methods.
    Pre-Print.
  • You should Better Enforce than Verify.
     Y. Falcone.
    Tutorial in RV’10: conference on Runtime Verification
    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.
  • More Testable Properties.
    Y. Falcone, J-C. Fernandez, T. Jéron, H. Marchand, L. Mounier.
    In STTT: Software Tools for Technology Transfer – Extension of the ICTSS paper.
    August 2012, Volume 14, Issue 4, pp 407-437.
    This is a paper invited by the Program Committee of ICTSS’10.
    Pre-print.