- 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.