Full list

• Runtime Verification of Component-Based Systems in the BIP Framework
  with Formally-Proved Sound and Complete Instrumentation.
  Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem.
  In SOSYM: SOftware and SYstem Modeling. To appear. Pre-Print.
  This is an invited paper by the Program Committee of SEFM 2011.
• 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.
  
• Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities.
  Y. Falcone, L. Mounier, J-C. Fernandez, J-L. Richier.
  In FMSD: Formal Methods in System Design.
  Volume 38, Number 3 (2011), 223-262
  Pre-print.

• A Tutorial on Runtime Verification.
  Y. Falcone, K. Havelund, and G. Reger.
  Book chapter for: Summer School Marktoberdorf 2012 – Engineering Dependable Software Systems.
  Editors: Manfred Broy and Doron Peled. IOS Press.
  This is an invited paper. Klaus Havelund is the invited author.
  To appear. Pre-print.

International Conferences and Workhops

• RV Droid: Runtime Verification and Enforcement for Android Applications.
  Y. Falcone, S. Currea, M. Jaber.
  In RV’12: International conference on Runtime Verification.
  To appear. Preprint.
• Runtime Enforcement of Timed Properties.
  S. Pinisetty, Y. Falcone, T. Jéron, H. Marchand, A. Rollet, and O. Nguena Timo.
  In RV’12: International conference on Runtime Verification.
  To appear. Pre-print.
• Runtime Verification: the Application Perspective.
  Y. Falcone, L. D. Zuck.
  In ISoLA’12: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
  To appear.
• Behavioral Specification based Runtime Monitors for OSGi Services.
  J. O. Blech, Y. Falcone, H. Ruess and B. Schaetz
  In ISoLA’12: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
  To appear.
• Weave Droid: Aspect-Oriented Programming on Android Devices.
  Y. Falcone, S. Currea.
  In ASE’12: 27th IEEE/ACM International Conference on Automated Software Engineering.
  Pre-print.
• Towards Certified Runtime Verification.
  J. O. Blech, Y. Falcone, and K Becker.
  In ICFEM’2012: 14th International Conference on Formal Engineering Methods.
  Pre-print.
• 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.

• On the Expressiveness of some Runtime Validation Techniques.
  Y. Falcone, J-C. Fernandez, L. Mounier.
  In HOWARD’60; Higher-Order Workshop on Analysis and Runtime Debugging (workshop organized by the University of Manchester for Howard Barringer’s 60th birthday).
  This is an invited paper. I am the invited author.
• Runtime Verification of Component-Based Systems.
  Y. Falcone, M. Jaber, Th-H. Nguyen, M. Bozga, S. Bensalem.
  In SEFM11: International Conference of Software Engineering and Formal Methods.
  Pre-print.

2010

• More Testable Properties.
  Y. Falcone, J-C. Fernandez, T. Jéron, H. Marchand, L. Mounier.
  In ICTSS’10: 22nd IFIP International Conference on Testing Software and Systems.
  This paper received the best paper award from IFIP.
  Pre-print
  An extended version of this paper is available as the journal publication of the same name in Software Tools for Technology Transfer.
• You should Better Enforce than Verify.
  Y. Falcone.
  Tutorial in RV’10: conference on Runtime Verification.
  Pre-print.

2009

• Runtime Verification of Safety-Progress Properties.
  Y. Falcone, J-C. Fernandez, L. Mounier.
  In RV’09: workshop on Runtime Verification.
  Pre-print.
• Enforcement Monitoring wrt. the Safety-Progress Classification of Properties.
  Y. Falcone, J-C. Fernandez, L. Mounier.
  In SAC’09: 24th Annual ACM Symposium on Applied Computing – Software Verification and Testing Track.
  Pre-print

2008

• Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
  Y. Falcone, J-C. Fernandez, L. Mounier.
  In ICISS’08: International Conference on Information Systems Security.
  Pre-print
• j-POST: a Java Toolchain for Property-Oriented Software Testing.
  Y. Falcone, L. Mounier, J-C. Fernandez, J-L. Richier.
  In MBT’08: Model-Based Testing.
  Pre-print

2007

• A Compositional Testing Framework Driven by Partial Specifications.
  Y. Falcone, J-C. Fernandez, L. Mounier, J-L. Richier.
  In TESTCOM/FATES’07: TESTing of COMmunicating Systems/Formal Approaches to TESting.
  Pre-print

2006

• A Test Calculus Framework Applied to Network Security Policies.
  Y. Falcone, J-C. Fernandez, L. Mounier, J-L. Richier.
  In FATES/RV’06: Formal Approaches to TESting/Runtime Verification.
  Pre-print

• Etude et mise en oeuvre de techniques de validation à l’exécution (in French).
  Y. Falcone. Ph.D. thesis. – thesis (print in color)- thesis (print in black and white)
  • Director: Jean-Claude Fernandez (University of Grenoble/Vérimag, France)
  • Advisors: Laurent Mounier (University of Grenoble/Vérimag, France), Jean-Luc Richier (CNRS/LIG, France)
  • Reviewer: Klaus Havelund (NASA JPL, Pasadena, USA)
  • Reviewer: Thierry Jéron (Inria, Rennes, France)
  • Examiner: Howard Barringer (University of Manchester, UK)
  • Examiner: Ahmed Bouajjani (University of Paris VII/LIAFA, France)
  • Examiner: Jean-François Méhaut (University of Grenoble/LIG, France)
• Un cadre formel pour le test de politiques de sécurité (in French).
  Y. Falcone. Master thesis.

• Combiner Test Actif et Surveillance pour la Sécurité. Y. Falcone. In MajecSTIC’07: MAnifestation des JEunes Chercheurs en Sciences et Technologies de l’Information et de la Communication
• Vers l’Intégration Automatique d’une Politique de Sécurité Or-BAC. Y. Falcone, M. Jaber. In the Poster Session of MajecSTIC’07: MAnifestation des JEunes Chercheurs en Sciences et Technologies de l’Information et de la Communication

• Decentralised LTL Monitoring. A. Bauer, Y. Falcone. CoRR abs/1111.5133

• Various Notions of Opacity Verified and Enforced at Runtime. Y. Falcone, H. Marchand. INRIA Research Report 7349
• More Testable Properties. Y. Falcone, J-C. Fernandez, T. Jéron, H. Marchand, L. Mounier. INRIA Research Report 7279
• What can you Verify and Enforce at Runtime ?. Y. Falcone, J-C. Fernandez, L. Mounier. Vérimag Technical Report TR-2010-5

2008

• Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.Y. Falcone, J-C. Fernandez, L. Mounier. Vérimag Technical Report TR-2008-7
• j-POST: a Java Toolchain for Property-Oriented Software Testing. Y. Falcone, L. Mounier, J-C. Fernandez, J-L. Richier. Vérimag Technical Report TR-2008-15

2007

• A Partial-specification Driven Compositional Testing Method. Y. Falcone, J-C. Fernandez, L. Mounier, J-L. Richier. Vérimag Technical Report TR-2007-4