Full list of publications

 

Proceedings (as editor)

  1. Proceedings of RV 2016: Sixteenth International Conference on Runtime Verification.
    Yliès Falcone, César Sánchez.
    Madrid, Spain, September 23-30, 2016.
    Publisher version at Springer.
  2. Proceedings of RV 2010: First International Conference on Runtime Verification.
    Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolay Tillmann
    St. Julians, Malta, November 1-4, 2010. Springer 2010.
    Publisher version at Springer.

International Journal Publications

  1. Optimal Enforcement of (Timed) Properties with Uncontrollable Events.
    Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron and Hervé Marchand.
    In MSCS: Mathematical Structures in Computer Science.
    To appear.
    Pre-print.
  2. Formal analysis and offline monitoring of electronic exams.
    Ali Kassem, Yliès Falcone and Pascal Lafourcade.
    In FMSD: Formal Methods in System Design.
    To appear. DOI 10.1007/s10703-017-0280-0.
    Pre-print.
  3. First International Competition on Runtime Verification
    Rules, Benchmarks, Tools, and Final Results of CRV 2014.
    Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, and Yi Zhang.
    In STTT: Software Tools for Technology Transfer.
    Open Access Publisher version available on Springer Website. DOI: 10.1007/s10009-017-0454-5.
    Pre-print.
  4. Predictive runtime enforcement.
    Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone and Hervé Marchand.
    In FMSD: Formal Methods in System Design.
    Available as Online First. DOI 10.1007/s10703-017-0271-1.
    Publisher version at Springer.
    Pre-print.
  5. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.
    Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, and Marius Bozga.
    In FAOC: Formal Aspects Of Computing.
    Available as Online First. DOI 10.1007/s00165-017-0422-6.
    Publisher version at Springer.
    Pre-print.
  6. A high-level modeling language for the efficient design, implementation, and testing of Android applications.
    Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji.
    In STTT: Software Tools for Technology Transfer
    Available as Online First. DOI 10.1007/s10009-016-0441-2
    Publisher version at Springer.
    Pre-print.
  7. Organising LTL monitors over distributed systems with a global clock.
    Christian Colombo, Yliès Falcone.
    In FMSD: Formal Methods in System Design.
    Volume 49, Issue 1pp 109–158. DOI: 10.1007/s10703-016-0251-x.
    Publisher version at Springer.
    Pre-print.
  8. Decentralised LTL Monitoring.
    Andreas Bauer, Yliès Falcone.
    In FMSD: Formal Methods in System Design.
    Volume 48, Issue 1pp 46–93. DOI: 10.1007/s10703-016-0253-8.
    Pre-print.
  9. Runtime enforcement of regular timed properties by suppressing and delaying events.
    Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
    In SCP: Science of Computer Programming.
    Volume 123, 1 July 2016, Pages 2–41. DOI: 10.1016/j.scico.2016.02.008
    Publisher version at Elsevier.
    Pre-print.
  10. Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery.
    Yliès Falcone, Mohamad Jaber
    In STTT: Software Tools for Technology Transfer.
    Available as Online First. DOI: 10.1007/s10009-016-0413-6.
    Publisher version at Springer.
    Pre-print.
  11. Runtime Verification: the Application Perspective.
    Yliès Falcone, Lenore D. Zuck.
    In STTT: Software Tools for Technology Transfer.
    April 2015Volume 17Issue 2pp 121-123. DOI: 10.1007/s10009-014-0360-z.
    Publisher version at Springer.
    This is the preface of a special issue on Runtime Verification, the application perspective in STTT.
  12. Runtime Enforcement of Timed Properties Revisited.
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, and Omer Nguena Timo.
    In FMSD: Formal Methods in System Design.
    December 2014Volume 45Issue 3pp 381-422. DOI: 10.1007/s10703-014-0215-y.
    Publisher version at Springer.
    Pre-print.
  13. Enforcement and Validation (at runtime) of Various Notions of Opacity.
    Yliès Falcone, Hervé Marchand.
    In DEDS: Discrete Event Dynamic Systems.
    December 2015, Volume 25, Issue 4, pp 531–570. DOI: 10.1007/s10626-014-0196-4
    Publisher version at Springer.
    Pre-print.
  14. Runtime Verification of Component-Based Systems in the BIP Framework.
    with Formally-Proved Sound and Complete Instrumentation.

    Yliès Falcone, Mohamad Jaber, Than-Hung Nguyen, Marius Bozga, Saddek Bensalem.
    In SOSYM: SOftware and SYstem Modeling.
    February 2015Volume 14Issue 1pp 173-199. DOI: 10.1007/s10270-013-0323-y
    Publisher version at Springer.
    Pre-Print.
    This is an invited paper by the Program Committee of SEFM 2011.
  15. What can you Verify and Enforce at Runtime?
    Yliès Falcone, Jean-Claude. Fernandez, Laurent Mounier.
    In STTT: Software Tools for Technology Transfer – Special issue on Runtime Verification.
    June 2012, Volume 14, Issue 3, pp 349-382. DOI: 10.1007/s10009-011-0196-8
    Publisher version at Springer.
    Pre-print.
    This is an invited paper for a special issue on Runtime Verification. I am the invited author.
  16. More Testable Properties.
    Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier.
    In STTT: Software Tools for Technology Transfer.
    August 2012, Volume 14, Issue 4, pp 407-437. DOI: 10.1007/s10009-011-0220-z
    Publisher version at Springer.
    Pre-print.
    Special issue invited by the Program Committee of ICTSS’10.
  17. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities.
    Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-uc. Richier.
    In FMSD: Formal Methods in System Design.
    Volume 38, Issue 3pp 223–262. DOI: 10.1007/s10703-011-0114-4
    Publisher version at Springer.
    Pre-print
    .

Book Chapters

  1. A Tutorial on Runtime Verification.
    Yliès Falcone, Klaus Havelund, and Giles Reger.
    Book chapter for: Summer School Marktoberdorf 2012 – Engineering Dependable Software Systems.
    Editors: Manfred Broy and Doron Peled. IOS Press.
    Publisher version at IOS Press.
    Pre-print.
    This is an invited paper. Klaus Havelund is the invited author.

International Conference and Workshop Publications

2017

  1. Runtime Enforcement Using Büchi Games.
    Matthieu Renard, Antoine Rollet, Yliès Falcone.
    In SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software.
    To appear.

2016

  1. Decentralized Enforcement of Artifact Lifecycles.
    Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone.
    In EDOC 2016, the twentieth Entreprise Computing Conference.
    Pre-print.
    This paper received the Best Paper Award from EDOC 2016 PC.
  2. Modularizing Crosscutting Concerns in Component-Based Systems.
    Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber.
    In SEFM 2016, 14th International Conference on Software Engineering and Formal Methods.
    Pre-print.
  3. Third International Competition on Runtime Verification – CRV 2016.
    Giles Reger, Sylvain Hallé, Yliès Falcone
    In RV 2016: 16th international conference on Runtime Verification
    Pre-print.
  4. First International Summer School on Runtime Verification – As Part of the ArVi COST Action 1402.
    Christian Colombo, Yliès Falcone.
    In RV 2016: 16th international conference on Runtime Verification.
    Pre-print.
  5. Monitoring Multi-threaded Component-based Systems.
    Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz.
    In iFM 2016, the 12th international conference on integrated Formal Methods.
    Pre-print (conference version without proofs).
    See the associated technical report here.
  6. Predictive Runtime Enforcement.
    Srinivas Pinisetty, Viorel Priotessa, Stravos Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand.
    In SAC-SVT 2016, 31st ACM Symposium on Applied Computing.
    Pre-print.
  7. Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
    E. Bartocci, Y. Falcone.
    In ISoLA (2) 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications – 7th International Symposium.

2015

  1. Runtime Enforcement of (Timed) Properties with Uncontrollable Events.
    Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
    In ICTAC 2015, the 12th International Colloquium on Theoretical Aspects of Computing.
    Pre-print (conference version without proofs).
  2. Second International Competition on Runtime Verification.
    CRV 2015
    Yliès Falcone, Dejan Nickovic, Giles Reger, and Daniel Thoma
    In RV 2015, 15th International Conference on Runtime Verification.
    Pre-print.
  3. RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
    P. Daian, Y. Falcone, P. Meredith, T. Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, and G. Rosu
    In RV 2015, 15th International Conference on Runtime Verification.
    Pre-print.
  4. TiPEX: a tool chain for Timed Property Enforcement during eXecution.
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand.
    In RV 2015, 15th International Conference on Runtime Verification.
    Pre-print.
  5. Monitoring Electronic Exams.
    Ali Kassem, Yliès Falcone, Pascal Lafourcade
    In RV 2015, 15th International Conference on Runtime Verification.
    Pre-print.
  6. Runtime Enforcement for Component-Based Systems.
    Hadil Charafedine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
    In SAC-SVT 2015, the 30th ACM/SIGAPP Symposium On Applied Computing – Software Verification and Testing track, Salamanca, Spain.
    Pre-print.
  7. Runtime-behavior based malware classification using online machine learning.
    Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, Jean-Claude Fernandez.
    In WorldCIS 2015, World Congress on Internet Security
  8. Dynamic Detection and Mitigation of DMA Races in MPSoCs.
    S. Saidi, Y. Falcone.
    In DSD 2015, Euromicro Conference on Digital System Design.

2014

  1. Blocking Advertisements on Android Devices Using Monitoring Techniques.
    Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, Meriem Mamlouk
    In ISoLA (2) 2014: 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications.
    Pre-print.
    This is an invited paper. I am the invited author.
  2. First International Competition on Software for Runtime Verification.
    Ezzio Bartocci, Borzoo Bonakdarpour, Yliès Falcone.
    In RV 2014: 14th International Conference on Runtime Verification.
    Pre-print.
  3. Organising LTL Monitors over Distributed Systems with a Global Clock.
    Christian Colombo, Yliès Falcone.
    In RV 2014: 14th International Conference on Runtime Verification.
    Pre-print.
  4. Efficient and Generalized Decentralized Monitoring of Regular Languages.
    Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez.
    In FORTE 2014: 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems.
    Pre-print.
  5. Runtime Enforcement of Parametric Timed Properties with Practical Applications.
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand.
    In WODES 2014: the 12th IFAC – IEEE International Workshop on Discrete Event Systems
    Pre-print.
  6. Runtime Enforcement of Regular Timed Properties.
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand.
    In SAC 2014: the 29th Symposium On Applied Computing.
    Pre-print.
  7. On the Expressiveness of some Runtime Validation Techniques.
    Yliès Falcone, Jean-Claude Fernandez, Laurent 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.

2013

  1.  Single-Trace Fault Localization in Embedded Software
    Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone and Lydie du Bousquet.
    In ISSRE 2013: 24th IEEE International Symposium on Software Reliability Engineering.
    Pre-print.
  2. Runtime Enforcement of K-step Opacity.
    Yliès Falcone, Hervé Marchand.
    In CDC 2013: 52nd IEEE Conference on Decision and Control.
    Pre-print.
  3. Compressing Microcontroller Execution Traces to Assist System Analysis.
    Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone and Lydie du Bousquet.
    In IESS 2013: International Embedded Systems Symposium.
    Pre-print

2012

  1. RV Droid: Runtime Verification and Enforcement for Android Applications.
    Yliès Falcone, Sebastian Currea, Mohamad Jaber.
    In RV’12: International conference on Runtime Verification.
    Pre-print.
  2. Runtime Enforcement of Timed Properties.
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, and Omer Nguena Timo.
    In RV’12: International conference on Runtime Verification.
    Pre-print.
  3. Runtime Verification: the Application Perspective.
    Yliès Falcone, Lenore D. Zuck.
    In ISoLA’12: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
    To appear.
  4. Behavioral Specification based Runtime Monitors for OSGi Services.
    Jan-Olaf Blech, Yliès Falcone, Harald Ruess and Bernhard Schaetz
    In ISoLA’12: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation.
    This is an invited paper. J. O. Blech is the invited author.
  5. Weave Droid: Aspect-Oriented Programming on Android Devices.
    Yliès Falcone, Sebastian Currea.
    In ASE’12: 27th IEEE/ACM International Conference on Automated Software Engineering.
    Pre-print.
  6. Towards Certified Runtime Verification.
    Jan-Olaf Blech, Yliès Falcone, and Klaus Becker.
    In ICFEM 2012: 14th International Conference on Formal Engineering Methods.
    Pre-print.
  7. Decentralised LTL Monitoring.
    Andreas Bauer, Yliès Falcone.
    In FM 2012: 18th international symposium on Formal Methods.
    Pre-print
    .
    This paper received the Best Paper Award from FM’2012 PC. 
  8. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.
    Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David Rydeheard.
    In FM 2012: 18th international symposium on Formal Methods.
    Pre-Print
    .
2011
  1. Runtime Verification of Component-Based Systems.
    Yliès Falcone, Mohamad Jaber, Than-Hung Nguyen, Marius Bozga, Saddek Bensalem.
    In SEFM 2011: International Conference of Software Engineering and Formal Methods.
    Pre-print.

2010

  1. More Testable Properties.
    Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier.
    In ICTSS 2010: 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 with the same name in Software Tools for Technology Transfer.
  2. You should Better Enforce than Verify.
    Yliès Falcone.
    Tutorial in RV 2010: First International Conference on Runtime Verification.
    Pre-print.
  3. Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
    Y. Falcone, M. Jaber
    Software Engineering Research and Practice 2010: 495-499

2009

  1. Runtime Verification of Safety-Progress Properties.
    Y. Falcone, J-C. Fernandez, L. Mounier.
    In RV’09: 9th international workshop on Runtime Verification.
    Pre-print.
  2. 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

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

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

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

Thesis (in French)

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

National Conferences and Workhops

  • 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

Reports

2014

2011

2010
  • 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
 Posted by at 10:37 AM

Sorry, the comment form is closed at this time.