Full list of publications

Book (as author)

  1. (In french)
    Automates à états finis et langages réguliers. Rappels des notions essentielles et plus de 170 exercices corrigés.
    Yliès Falcone and Jean-Claude Fernandez.
    Publisher version available at Dunod.

Book (as editor)

  1. Lectures on Runtime Verification. Introductory and Advanced Topics.
    Ezio Bartocci and Yliès Falcone.
    Publisher version at Springer.

Proceedings (as editor)

  1. Formal Methods in Outer Space – Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday.
    Ezio Bartocci, Yliès Falcone and Martin Leucker:
    Lecture Notes in Computer Science 13065, Springer 2021, ISBN 978-3-030-87347-9
    Publisher version at Springer.
  2. Proceedings of RV 2016: Sixteenth International Conference on Runtime Verification.
    Yliès Falcone, César Sánchez.
    Lecture Notes in Computer Science 10012, Springer 2016, ISBN 978-3-319-46981-2
    Publisher version at Springer.
  3. 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
    Lecture Notes in Computer Science 6418, Springer 2010, ISBN 978-3-642-16611-20.
    Publisher version at Springer.

Editorial Notes

  1. Preface to the special section on improving software quality through formal methods.
    Yliès Falcone, Leonardo Mariani.
    Softw. Qual. J. 28(2): 693-694 (2020)
  2. RV-TheToP : Runtime Verication from Theory to the Industry Practice (Track Introduction).
    Ezio Bartocci, Yliès Falcone.
    In ISoLA 2018 : International Symposium on Leveraging Formal Methods : 3-8.
  3. Introduction to the Special Issue on Runtime Verification.
    Yliès Falcone, César Sanchez.
    In FMSD: Formal Methods in System Design.
    Publisher version at Springer.
    Pre-print.
    This is the preface of a special issue on Runtime Verification with extended versions of the best papers of RV 2016.
  4. Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
    Ezio Bartocci, Yliès Falcone.
    In ISoLA (2) 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications – 7th International Symposium.
    Publisher version at Springer.
  5. Runtime Verification: the Application Perspective.
    Yliès Falcone, Lenore D. Zuck.
    In STTT: Software Tools for Technology Transfer.
    April 2015, Volume 17, Issue 2, pp 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.
  6. 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.
    Publisher version at Springer.

International Journal Publications

  1. A taxonomy for classifying runtime verification tools.
    Yliès Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel.
    In STTT: Software Tools Technology Transfer 23(2): 255-284 (2021)
  2. Bringing Runtime Verification Home – A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications
    Antoine El-Hokayem, Yliès Falcone
    In STTT: Software Tools Technology Transfer. To appear.
    Pre-print.
  3. Runtime enforcement of timed properties using games.
    Matthieu Renard, Antoine Rollet, Yliès Falcone.
    In FAOC: Formal Aspects Comput. 32(2-3): 315-360 (2020). DOI: 10.1007/s00165-020-00515-2
    Pre-print
  4. From global choreographies to verifiable efficient distributed implementations.
    Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal and Antoine El-Hokayem.
    In Journal of Algebraic Methods in Programming.
    Publisher version available at Science Direct. DOI: 10.1016/j.jlamp.2020.100577.
    Pre-print
  5. A survey of challenges for runtime verification from advanced application domains (beyond software).
    César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, Joao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss.
    In FMSD: Formal Methods in System Design.
    Publisher version available in open access on Springer Website. DOI: 10.1007/s10703-017-0280-0.
  6. On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
    Antoine El-Hokayem, Yliès Falcone.
    In: ACM Transactions on Software Engineering and Methodology, TOSEM.
    Publisher version available at ACM DL. DOI: 10.1145/3355181.
    Pre-print.
  7. Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework.
    Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber.
    In: Journal of Logical and Algebraic Methods in Programming.
    Publisher version available on Science Direct. DOI: 10.1016/j.jlamp.2018.05.005.
    Pre-print.
  8. Decentralized enforcement of document lifecycle constraints.
    Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone.
    In IS: Information Systems.
    Publisher version available on Science Direct. DOI: 10.1016/j.is.2017.08.002.
  9. Predictive runtime verification of timed properties.
    Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
    In JSS: Journal of Systems and Software.
    Publisher version available on Science Direct. DOI: 10.1016/j.jss.2017.06.060.
    Pre-print.
  10. From High-Level Modeling Towards Efficient and Trustworthy Circuits.
    Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone.
    In STTT:  Software Tools for Technology Transfer.
    Publisher version available on Springer Website. DOI: 10.1007/s10009-017-0462-5.
    Pre-print.
  11. Optimal Enforcement of (Timed) Properties with Uncontrollable Events.
    Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand.
    In MSCS: Mathematical Structures in Computer Science.
    Publisher version available on Cambridge University Press Website. DOI: 10.1017/S0960129517000123.
    Pre-print.
  12. Formal analysis and offline monitoring of electronic exams.
    Ali Kassem, Yliès Falcone, Pascal Lafourcade.
    In FMSD: Formal Methods in System Design.
    Publisher version available on Springer Website. DOI 10.1007/s10703-017-0280-0.
    Pre-print.
  13. 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, 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.
  14. Predictive runtime enforcement.
    Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, 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.
  15. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.
    Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga.
    In FAOC: Formal Aspects Of Computing.
    November 2017, Volume 29, Issue 6, pp 951–986. DOI 10.1007/s00165-017-0422-6.
    Publisher version at Springer.
    Pre-print.
  16. 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.
  17. 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 1, pp 109–158. DOI: 10.1007/s10703-016-0251-x.
    Publisher version at Springer.
    Pre-print.
  18. Decentralised LTL Monitoring.
    Andreas Bauer, Yliès Falcone.
    In FMSD: Formal Methods in System Design.
    , Volume 48, Issue 1, pp 46–93. DOI: 10.1007/s10703-016-0253-8.
    Pre-print.
  19. 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.
  20. 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.
  21. 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 2014, Volume 45, Issue 3, pp 381-422. DOI: 10.1007/s10703-014-0215-y.
    Publisher version at Springer.
    Pre-print.
  22. 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.
  23. 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 2015, Volume 14, Issue 1, pp 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.
  24. 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.
  25. 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.
  26. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities.
    Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc. Richier.
    In FMSD: Formal Methods in System Design.
    , Volume 38, Issue 3, pp 223–262. DOI: 10.1007/s10703-011-0114-4
    Publisher version at Springer.
    Pre-print    .

Book Chapters

  1. Runtime Failure Prevention and Reaction.
    Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha:
    In Lectures on Runtime Verification 2018: 103-134.
    Publisher version at Springer.
    Pre-print.
  2. Introduction to Runtime Verification.
    Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger:
    In Lectures on Runtime Verification 2018: 1-33.
    Publisher version at Springer.
    Pre-print.
  3. 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 (book for the workshop organized by the University of Manchester for Howard Barringer’s 60th birthday).
    This is an invited paper. I am the invited author.
  4. A Tutorial on Runtime Verification.
    Yliès Falcone, Klaus Havelund, 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

2022

  1. Probabilistic Model Checking of BPMN Processes at Runtime.
    Yliès Falcone, Gwen Salaün, and Ahang Zuo.
    In iFM 2022, 17th international conference on Integrated Formal Methods.
  2. Capturing program models with BISM.
    Chukri Soueidi, Yliès Falcone
    In SAC-SVT 2022: 37th ACM/SIGAPP Symposium on Applied Computing.
  3. Bounded-Memory Runtime Enforcement.
    In SPIN 2022: 28th SPIN event.
    Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone.
  4. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.
    WRLA@ETAPS 2022: 14th International Workshop on Rewriting Logic and Its Applications.
    Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo

2021

  1. Monitoring Distributed Component-Based Systems.
    Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, and Marius Bozga.
    In FACS 2021, 17th international conference on Component-Based Software.
    Pre-print
  2. Runtime Enforcement with Reordering, Healing, and Suppression.
    Yliès Falcone and Gwen Salaûn.
    In SEFM’21, 19th International Conference on Software Engineering and Formal Methods.
    Pre-print.
  3. Decentralized LTL Enforcement.
    Florian Gallay and Yliès Falcone.
    In GandALF 2021, 12th International Symposium on Games, Automata, Logics, and Formal Verification.
    Pre-print

2020

  1. BISM: Bytecode-Level Instrumentation for Software Monitoring.
    Chukri Soueidi, Ali Kassem, Yliès Falcone.
    In RV 2020, 20th International Conference on Runtime Verification.
    Pre-print

2019

  1. Detecting Fault Injection Attacks with Runtime Verification.
    Ali Kassem, Yliès Falcone.
    In SPRO 2019, 3rd International Workshop on Software PROtection.
    Pre-print.
  2. International Competition on Runtime Verification (CRV).
    Ezio Bartocci, Yliès Falcone, Giles Reger.
    In TACAS 2019, Tools and Algorithms for the Construction and Analysis of Systems – 25 Years of TACAS: TOOLympics.
    Pre-print.

2018

  1. A Taxonomy for Classifying Runtime Verification Tools.
    Yliès Falcone, Srdan Krstic, Giles Reger, and Dmitriy Traytel.
    In RV 2018, the 18th International Conference on Runtime Verification.
    Pre-print
  2. Bringing Runtime Verification Home.
    Antoine El-Hokayem, Yliès Falcone.
    In RV 2018, the 18th International Conference on Runtime Verification.
    Pre-print.
  3. Tracing Distributed Component-Based Systems, a Brief Overview.
    Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem.
    In RV 2018, the 18th International Conference on Runtime Verification.
    Pre-print
  4. Second School on Runtime Verification, as part of the ArVi COST Action 1402 – Overview and Reflections.
    Yliès Falcone.
    In RV 2018, the 18th International Conference on Runtime Verification.
    Pre-print
  5. Can We Monitor All Multithreaded Programs?
    Antoine El-Hokayem, Yliès Falcone.
    In RV 2018, the 18th International Conference on Runtime Verification.
    Pre-print
  6. COST Action IC1402 Runtime Verification beyondMonitoring.
    Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sanchez, Gerardo Schneider, Volker Stolz.
    In RV 2018, the 18th International Conference on Runtime Verification.
    Pre-print
  7. Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.
    Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone.
    In IFM 2018, the 14th International Conference on integrated Formal Methods.
    Pre-print.

2017

  1. Interactive Runtime Verification – when Interactive Debugging Meets Runtime Verification.
    Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget.
    In ISSRE 2017, the 28th International Symposium on Software Reliability Engineering.
    Pre-print.
  2. GREP: Games for the Runtime Enforcement of Properties.
    Matthieu Renard, Antoine Rollet, Yliès Falcone.
    In ICTSS 2017, the 29th IFIP International Conference on Testing Software and Systems.
    Pre-print.
  3. Verifying Policy Enforcers.
    Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone.
    In RV 2017, the 17th International Conference on Runtime Verification.
    Pre-print.
  4. THEMIS: A Tool for Decentralized Monitoring Algorithms.
    Antoine El-Hokayem, Yliès Falcone.
    In ISSTA 2017, the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis.
    Tool demonstration paper.
    Pre-print.
  5. Monitoring Decentralized Specifications.
    Antoine El-Hokayem, Yliès Falcone.
    In ISSTA 2017, the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis.
    Pre-print.
  6. 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.
    Pre-print.
  7. User-Based Load Balancer in HBase.
    Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Yliès Falcone.
    In CLOSER 2017, the 7th International Conference on Cloud Computing and Information Science.
    Pre-print.

2016

  1. Decentralized Enforcement of Artifact Lifecycles.
    Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone.
    In EDOC 2016, the 20th 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.

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, Daniel Thoma
    In RV 2015, 15th International Conference on Runtime Verification.
    Pre-print.
  3. RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
    Philip Daian, Yliès Falcone, Patrick Meredith, Train Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, and Grigore 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.
    Selma Saidi, Yliès 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.

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. 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.
  4. 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.
  5. 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.
  6. 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. 
  7. 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.
    Yliès Falcone, Mohamad Jaber
    Software Engineering Research and Practice 2010: 495-499

2009

  1. Runtime Verification of Safety-Progress Properties.
    Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
    In RV’09: 9th international workshop on Runtime Verification.
    Pre-print.
  2. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties.
    Yliès Falcone, Jean-Claude Fernandez, Laurent 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.
    Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
    In ICISS’08: International Conference on Information Systems Security.
    Pre-print
  2. j-POST: a Java Toolchain for Property-Oriented Software Testing.
    Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier.
    In MBT’08: Model-Based Testing.
    Pre-print

2007

  1. A Compositional Testing Framework Driven by Partial Specifications.
    Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc 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.
    Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc 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).
    Yliès Falcone. Ph.D. thesis – thesis (print in color)– thesis (print in black and white)

    • Director: Jean-Claude Fernandez (University of Grenoble/Verimag, France)
    • Advisors: Laurent Mounier (University of Grenoble/Verimag, 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).
    Yliès Falcone. Master thesis.

National Conferences and Workhops

  • Imposition de propriétés temporisées à l’exécution.
    Yliès Falcone
    In ETR’17: Ecole d’Eté Temps Réel (French summer school).
    Pre-print.
  • Combiner Test Actif et Surveillance pour la Sécurité.
    Yliès 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.
    Yliès Falcone, Mohamad Jaber.
    In the Poster Session of MajecSTIC’07: MAnifestation des JEunes Chercheurs en Sciences et Technologies de l’Information et de la Communication