Publications

Publications in reversed chronological order.

Some books I co-authored or co-edited:

Automates et Langages Réguliers Lectures on Runtime Verification Fornmal Methods in Outer Space

Below is a list of my publications in reverse chronological order.

2024

  1. Bounded-memory runtime enforcement with probabilistic and performance analysis
    Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, and Yliès Falcone
    Formal Methods Syst. Des., 2024
    DOI
  2. Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement
    Irman Faqrizal, Gwen Salaün, and Yliès Falcone
    ACM Trans. Auton. Adapt. Syst., 2024
    DOI
  3. Guided Evolution of IEC 61499 Applications
    Irman Faqrizal, Gwen Salaün, and Yliès Falcone
    In 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024, 2024
    DOI
  4. Probabilistic Runtime Enforcement of Executable BPMN Processes
    Yliès Falcone, Gwen Salaün, and Ahang Zuo
    In Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024
    DOI
  5. Adaptable Configuration of Decentralized Monitors
    Ennio Visconti, Ezio Bartocci, Yliès Falcone, and Laura Nenzi
    In Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings, 2024
    DOI
  6. Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts
    Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, and Yliès Falcone
    In IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024, 2024
    DOI
  7. Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics
    Yliès Falcone, Gwen Salaün, and Ahang Zuo
    In 24th IEEE International Conference on Software Quality, Reliability and Security, QRS 2024, Cambridge, United Kingdom, July 1-5, 2024, 2024
    DOI
  8. Sound Concurrent Traces for Online Monitoring Technical Report
    Chukri Soueidi, and Yliès Falcone
    CoRR, 2024
    DOI

2023

  1. Efficient and expressive bytecode-level instrumentation for Java programs
    Chukri Soueidi, Marius Monnier, and Yliès Falcone
    Int. J. Softw. Tools Technol. Transf., 2023
    DOI
  2. Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems
    Hamzah Al-Qadasi, Yliès Falcone, and Saddek Bensalem
    In IEEE International Conference On Artificial Intelligence Testing, AITest 2023, Athens, Greece, July 17-20, 2023, 2023
    DOI
  3. Monitoring Business Process Compliance Across Multiple Executions with Stream Processing
    Chukri Soueidi, Yliès Falcone, and Sylvain Hallé
    In Enterprise Design, Operations, and Computing. EDOC 2023 Workshops - IDAMS, iRESEARCH, MIDas4CS, SoEA4EE, EDOC Forum, Demonstrations Track and Doctoral Consortium, Groningen, The Netherlands, October 30 - November 3, 2023, Revised Selected Papers, 2023
    DOI
  4. Opportunistic Monitoring of Multithreaded Programs
    Chukri Soueidi, Antoine El-Hokayem, and Yliès Falcone
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
    DOI
  5. Leveraging Runtime Verification for the Monitoring of Digital Twins
    Sylvain Hallé, Chukri Soueidi, and Yliès Falcone
    In Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023, 2023
  6. Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing
    Chukri Soueidi, Yliès Falcone, and Sylvain Hallé
    In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
    DOI
  7. Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes
    Changshun Wu, Yliès Falcone, and Saddek Bensalem
    In Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, 2023
    DOI
  8. Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
    Chukri Soueidi, and Yliès Falcone
    In Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, 2023
    DOI
  9. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
    Chukri Soueidi, and Yliès Falcone
    In Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings, 2023
    DOI
  10. Sound Concurrent Traces for Online Monitoring
    Chukri Soueidi, and Yliès Falcone
    In Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings, 2023
    DOI
  11. DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes
    Hamzah Al-Qadasi, Yliès Falcone, and Saddek Bensalem
    In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, 2023
    DOI

2022

  1. Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications
    Antoine El-Hokayem, and Yliès Falcone
    Int. J. Softw. Tools Technol. Transf., 2022
    DOI
  2. DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks
    Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, and Saddek Bensalem
    In IEEE International Conference On Artificial Intelligence Testing, AITest 2022, Newark, CA, USA, August 15-18, 2022, 2022
    DOI
  3. WEASY: A Tool for Modelling Optimised BPMN Processes
    Angel Contreras, Yliès Falcone, Gwen Salaün, and Ahang Zuo
    In Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings, 2022
    DOI
  4. Probabilistic Model Checking of BPMN Processes at Runtime
    Yliès Falcone, Gwen Salaün, and Ahang Zuo
    In Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, 2022
    DOI
  5. Probabilistic Analysis of Industrial IoT Applications
    Irman Faqrizal, Gwen Salaün, and Yliès Falcone
    In Proceedings of the 12th International Conference on the Internet of Things, IoT 2022, Delft, The Netherlands, November 7-10, 2022, 2022
    DOI
  6. Runtime Verification of Kotlin Coroutines
    Denis Furian, Shaun Azzopardi, Yliès Falcone, and Gerardo Schneider
    In Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, 2022
    DOI
  7. Decent: A Benchmark for Decentralized Enforcement
    Florian Gallay, and Yliès Falcone
    In Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings, 2022
    DOI
  8. Capturing program models with BISM
    Chukri Soueidi, and Yliès Falcone
    In SAC ’22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, 2022
    DOI
  9. Runtime Enforcement for IEC 61499 Applications
    Yliès Falcone, Irman Faqrizal, and Gwen Salaün
    In Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, 2022
    DOI
  10. Bounded-Memory Runtime Enforcement
    Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, and Yliès Falcone
    In Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings, 2022
    DOI
  11. Decentralised Runtime Verification of Timed Regular Expressions
    Victor Roussanaly, and Yliès Falcone
    In 29th International Symposium on Temporal Representation and Reasoning, TIME 2022, November 7-9, 2022, Virtual Conference, 2022
    DOI
  12. Residual Runtime Verification via Reachability Analysis
    Chukri Soueidi, and Yliès Falcone
    In Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers, 2022
    DOI
  13. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
    Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, and Ahang Zuo
    In Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers, 2022
    DOI

2021

  1. A taxonomy for classifying runtime verification tools
    Yliès Falcone, Srdan Krstic, Giles Reger, and Dmitriy Traytel
    Int. J. Softw. Tools Technol. Transf., 2021
    DOI
  2. Semi-automated Modelling of Optimized BPMN Processes
    Yliès Falcone, Gwen Salaün, and Ahang Zuo
    In IEEE International Conference on Services Computing, SCC 2021, Chicago, IL, USA, September 5-10, 2021, 2021
    DOI
  3. Monitoring Distributed Component-Based Systems
    Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, and Marius Bozga
    In Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, 2021
    DOI
  4. Runtime Enforcement with Reordering, Healing, and Suppression
    Yliès Falcone, and Gwen Salaün
    In Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, 2021
    DOI
  5. On Decentralized Monitoring
    Yliès Falcone
    In Verification and Evaluation of Computer and Communication Systems - 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Revised Selected Papers, 2021
    DOI
  6. Decentralized LTL Enforcement
    Florian Gallay, and Yliès Falcone
    In Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021, 2021
    DOI
  7. Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    2021
    DOI
  8. Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
    Changshun Wu, Yliès Falcone, and Saddek Bensalem
    CoRR, 2021
  9. Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
    Chukri Soueidi, Marius Monnier, Ali Kassem, and Yliès Falcone
    CoRR, 2021

2020

  1. Runtime enforcement of timed properties using games
    Matthieu Renard, Antoine Rollet, and Yliès Falcone
    Formal Aspects Comput., 2020
    DOI
  2. 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
    J. Log. Algebraic Methods Program., 2020
    DOI
  3. Preface to the special section on improving software quality through formal methods
    Yliès Falcone, and Leonardo Mariani
    Softw. Qual. J., 2020
    DOI
  4. On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
    Antoine El-Hokayem, and Yliès Falcone
    ACM Trans. Softw. Eng. Methodol., 2020
    DOI
  5. BISM: Bytecode-Level Instrumentation for Software Monitoring
    Chukri Soueidi, Ali Kassem, and Yliès Falcone
    In Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings, 2020
    DOI
  6. BISM: Bytecode-Level Instrumentation for Software Monitoring
    Chukri Soueidi, Ali Kassem, and Yliès Falcone
    CoRR, 2020

2019

  1. 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, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, and Alexander Weiss
    Formal Methods Syst. Des., 2019
    DOI
  2. Correction to: 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, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, and Alexander Weiss
    Formal Methods Syst. Des., 2019
    DOI
  3. Optimal enforcement of (timed) properties with uncontrollable events
    Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, and Hervé Marchand
    Math. Struct. Comput. Sci., 2019
    DOI
  4. 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, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, and Yi Zhang
    Int. J. Softw. Tools Technol. Transf., 2019
    DOI
  5. From high-level modeling toward efficient and trustworthy circuits
    Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, and Yliès Falcone
    Int. J. Softw. Tools Technol. Transf., 2019
    DOI
  6. Detecting Fault Injection Attacks with Runtime Verification
    Ali Kassem, and Yliès Falcone
    In Proceedings of the 3rd ACM Workshop on Software Protection, SPRO@CCS 2019, London, Uk, November 15, 2019, 2019
    DOI
  7. On the Runtime Enforcement of Timed Properties
    Yliès Falcone, and Srinivas Pinisetty
    In Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, 2019
    DOI
  8. International Competition on Runtime Verification (CRV)
    Ezio Bartocci, Yliès Falcone, and Giles Reger
    In Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019
    DOI
  9. COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1
    Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, and Volker Stolz
    CoRR, 2019
  10. From Global Choreographies to Provably Correct and Efficient Distributed Implementations
    Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, and Rayan Hallal
    CoRR, 2019
  11. Detecting Fault Injection Attacks with Runtime Verification
    Ali Kassem, and Yliès Falcone
    CoRR, 2019

2018

  1. Introduction to the special issue on runtime verification
    Yliès Falcone, and César Sánchez
    Formal Methods Syst. Des., 2018
    DOI
  2. Decentralized enforcement of document lifecycle constraints
    Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, and Yliès Falcone
    Inf. Syst., 2018
    DOI
  3. Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework
    Antoine El-Hokayem, Yliès Falcone, and Mohamad Jaber
    J. Log. Algebraic Methods Program., 2018
    DOI
  4. 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, and Mostafa El-Katerji
    Int. J. Softw. Tools Technol. Transf., 2018
    DOI
  5. Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
    Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, and Yliès Falcone
    In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018
    DOI
  6. RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)
    Ezio Bartocci, and Yliès Falcone
    In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV, 2018
    DOI
  7. COST Action IC1402 Runtime Verification Beyond Monitoring
    Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, and Volker Stolz
    In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, 2018
    DOI
  8. Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections
    Yliès Falcone
    In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, 2018
    DOI
  9. Can We Monitor All Multithreaded Programs?
    Antoine El-Hokayem, and Yliès Falcone
    In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, 2018
    DOI
  10. Bringing Runtime Verification Home
    Antoine El-Hokayem, and Yliès Falcone
    In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, 2018
    DOI
  11. A Taxonomy for Classifying Runtime Verification Tools
    Yliès Falcone, Srdan Krstic, Giles Reger, and Dmitriy Traytel
    In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, 2018
    DOI
  12. Tracing Distributed Component-Based Systems, a Brief Overview
    Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, and Saddek Bensalem
    In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, 2018
    DOI
  13. Introduction to Runtime Verification
    Ezio Bartocci, Yliès Falcone, Adrian Francalanza, and Giles Reger
    In Lectures on Runtime Verification - Introductory and Advanced Topics, 2018
    DOI
  14. Runtime Failure Prevention and Reaction
    Yliès Falcone, Leonardo Mariani, Antoine Rollet, and Saikat Saha
    In Lectures on Runtime Verification - Introductory and Advanced Topics, 2018
    DOI
  15. Lectures on Runtime Verification - Introductory and Advanced Topics
    2018
    DOI
  16. Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework
    Antoine El-Hokayem, Yliès Falcone, and Mohamad Jaber
    CoRR, 2018
  17. On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation
    Antoine El-Hokayem, and Yliès Falcone
    CoRR, 2018
  18. Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes
    Antoine El-Hokayem, and Yliès Falcone
    CoRR, 2018
  19. 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, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, and Alexander Weiss
    CoRR, 2018

2017

  1. 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
    Formal Aspects Comput., 2017
    DOI
  2. Formal analysis and offline monitoring of electronic exams
    Ali Kassem, Yliès Falcone, and Pascal Lafourcade
    Formal Methods Syst. Des., 2017
    DOI
  3. Predictive runtime enforcement
    Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, and Hervé Marchand
    Formal Methods Syst. Des., 2017
    DOI
  4. Predictive runtime verification of timed properties
    Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, and Viorel Preoteasa
    J. Syst. Softw., 2017
    DOI
  5. Fully automated runtime enforcement of component-based systems with formal and sound recovery
    Yliès Falcone, and Mohamad Jaber
    Int. J. Softw. Tools Technol. Transf., 2017
    DOI
  6. User-based Load Balancer in HBase
    Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, and Yliès Falcone
    In CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science, Porto, Portugal, April 24-26, 2017, 2017
  7. Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification
    Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, and Kevin Pouget
    In 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017, 2017
    DOI
  8. Monitoring decentralized specifications
    Antoine El-Hokayem, and Yliès Falcone
    In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, 2017
    DOI
  9. THEMIS: a tool for decentralized monitoring algorithms
    Antoine El-Hokayem, and Yliès Falcone
    In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, 2017
    DOI
  10. GREP: Games for the Runtime Enforcement of Properties
    Matthieu Renard, Antoine Rollet, and Yliès Falcone
    In Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, 2017
    DOI
  11. Verifying Policy Enforcers
    Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yliès Falcone
    In Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, 2017
    DOI
  12. Runtime enforcement using Büchi games
    Matthieu Renard, Antoine Rollet, and Yliès Falcone
    In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017, 2017
    DOI
  13. Monitoring Distributed Component-Based Systems
    Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, and Marius Bozga
    CoRR, 2017
  14. Interactive Runtime Verification
    Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, and Kevin Pouget
    CoRR, 2017
  15. Verifying Policy Enforcers
    Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, and Yliès Falcone
    CoRR, 2017

2016

  1. Decentralised LTL monitoring
    Andreas Bauer, and Yliès Falcone
    Formal Methods Syst. Des., 2016
    DOI
  2. Organising LTL monitors over distributed systems with a global clock
    Christian Colombo, and Yliès Falcone
    Formal Methods Syst. Des., 2016
    DOI
  3. Runtime enforcement of regular timed properties by suppressing and delaying events
    Yliès Falcone, Thierry Jéron, Hervé Marchand, and Srinivas Pinisetty
    Sci. Comput. Program., 2016
    DOI
  4. Decentralized Enforcement of Artifact Lifecycles
    Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, and Yliès Falcone
    In 20th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2016, Vienna, Austria, September 5-9, 2016, 2016
    DOI
  5. Monitoring Multi-threaded Component-Based Systems
    Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, and Jacques Combaz
    In Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, 2016
    DOI
  6. Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)
    Ezio Bartocci, and Yliès Falcone
    In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, 2016
    DOI
  7. First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402
    Christian Colombo, and Yliès Falcone
    In Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, 2016
    DOI
  8. Third International Competition on Runtime Verification - CRV 2016
    Giles Reger, Sylvain Hallé, and Yliès Falcone
    In Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, 2016
    DOI
  9. Predictive runtime enforcement
    Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, and Hervé Marchand
    In Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, 2016
    DOI
  10. Modularizing Crosscutting Concerns in Component-Based Systems
    Antoine El-Hokayem, Yliès Falcone, and Mohamad Jaber
    In Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings, 2016
    DOI
  11. Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
    2016
    DOI
  12. Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems
    Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, and Marius Bozga
    CoRR, 2016

2015

  1. Enforcement and validation (at runtime) of various notions of opacity
    Yliès Falcone, and Hervé Marchand
    Discret. Event Dyn. Syst., 2015
    DOI
  2. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
    Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, and Saddek Bensalem
    Softw. Syst. Model., 2015
    DOI
  3. Runtime verification: the application perspective
    Yliès Falcone, and Lenore D. Zuck
    Int. J. Softw. Tools Technol. Transf., 2015
    DOI
  4. Dynamic Detection and Mitigation of DMA Races in MPSoCs
    Selma Saidi, and Yliès Falcone
    In 2015 Euromicro Conference on Digital System Design, DSD 2015, Madeira, Portugal, August 26-28, 2015, 2015
    DOI
  5. Enforcement of (Timed) Properties with Uncontrollable Events
    Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, and Hervé Marchand
    In Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015
    DOI
  6. Monitoring Electronic Exams
    Ali Kassem, Yliès Falcone, and Pascal Lafourcade
    In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, 2015
    DOI
  7. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, and Hervé Marchand
    In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, 2015
    DOI
  8. RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
    Philip Daian, Yliès Falcone, Patrick O’Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, and Grigore Rosu
    In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, 2015
    DOI
  9. Second International Competition on Runtime Verification CRV 2015
    Yliès Falcone, Dejan Nickovic, Giles Reger, and Daniel Thoma
    In Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, 2015
    DOI
  10. Runtime enforcement for component-based systems
    Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, and Mohamad Jaber
    In Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015, 2015
    DOI
  11. Runtime-behavior based malware classification using online machine learning
    Abdurrahman Pektas, Tankut Acarman, Yliès Falcone, and Jean-Claude Fernandez
    In 2015 World Congress on Internet Security, WorldCIS 2015, Dublin, Ireland, October 19-21, 2015, 2015
    DOI
  12. A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications
    John Abou-Jaoudeh, Kinan Dak-Al-Bab, Mostafa El-Katerji, Yliès Falcone, and Mohamad Jaber
    CoRR, 2015

2014

  1. Runtime enforcement of timed properties revisited
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, and Omer Nguena-Timo
    Formal Methods Syst. Des., 2014
    DOI
  2. Efficient and Generalized Decentralized Monitoring of Regular Languages
    Yliès Falcone, Tom Cornebize, and Jean-Claude Fernandez
    In Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, 2014
    DOI
  3. Blocking Advertisements on Android Devices Using Monitoring Techniques
    Khalil El-Harake, Yliès Falcone, Wassim Jerad, Matthieu Langet, and Mariem Mamlouk
    In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II, 2014
    DOI
  4. First International Competition on Software for Runtime Verification
    Ezio Bartocci, Borzoo Bonakdarpour, and Yliès Falcone
    In Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, 2014
    DOI
  5. Organising LTL Monitors over Distributed Systems with a Global Clock
    Christian Colombo, and Yliès Falcone
    In Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, 2014
    DOI
  6. Runtime enforcement of regular timed properties
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, and Hervé Marchand
    In Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, 2014
    DOI
  7. Runtime Enforcement of Parametric Timed Properties with Practical Applications
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, and Hervé Marchand
    In 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014, 2014
    DOI
  8. On the Expressiveness of some Runtime Validation Techniques
    Yliès Falcone, Jean-Claude Fernandez, and Laurent Mounier
    In HOWARD-60: A Festschrift on the Occasion of Howard Barringer’s 60th Birthday, 2014
    DOI
  9. Efficient and Generalized Decentralized Monitoring of Regular Languages
    Tom Cornebize, and Yliès Falcone
    CoRR, 2014
  10. Runtime Enforcement for Component-Based Systems
    Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, and Mohamad Jaber
    CoRR, 2014

2013

  1. Runtime enforcement of K-step opacity
    Yliès Falcone, and Hervé Marchand
    In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, Florence, Italy, December 10-13, 2013, 2013
    DOI
  2. Compressing Microcontroller Execution Traces to Assist System Analysis
    Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, and Lydie Bousquet
    In Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings, 2013
    DOI
  3. Fault localization in embedded software based on a single cyclic trace
    Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, and Lydie Bousquet
    In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013, 2013
    DOI
  4. A Tutorial on Runtime Verification
    Yliès Falcone, Klaus Havelund, and Giles Reger
    In Engineering Dependable Software Systems, 2013
    DOI

2012

  1. What can you verify and enforce at runtime?
    Yliès Falcone, Jean-Claude Fernandez, and Laurent Mounier
    Int. J. Softw. Tools Technol. Transf., 2012
    DOI
  2. More testable properties
    Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, and Laurent Mounier
    Int. J. Softw. Tools Technol. Transf., 2012
    DOI
  3. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
    Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, and David E. Rydeheard
    In FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, 2012
    DOI
  4. Decentralised LTL Monitoring
    Andreas Klaus Bauer, and Yliès Falcone
    In FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, 2012
    DOI
  5. Towards Certified Runtime Verification
    Jan Olaf Blech, Yliès Falcone, and Klaus Becker
    In Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, 2012
    DOI
  6. Runtime Verification: The Application Perspective
    Yliès Falcone, and Lenore D. Zuck
    In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012
    DOI
  7. Behavioral Specification Based Runtime Monitors for OSGi Services
    Jan Olaf Blech, Yliès Falcone, Harald Rueß, and Bernhard Schätz
    In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, 2012
    DOI
  8. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud
    Yliès Falcone, and Sebastian Currea
    In IEEE/ACM International Conference on Automated Software Engineering, ASE’12, Essen, Germany, September 3-7, 2012, 2012
    DOI
  9. Runtime Verification and Enforcement for Android Applications with RV-Droid
    Yliès Falcone, Sebastian Currea, and Mohamad Jaber
    In Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, 2012
    DOI
  10. Runtime Enforcement of Timed Properties
    Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, and Omer Landry Nguena-Timo
    In Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers, 2012
    DOI

2011

  1. Runtime enforcement monitors: composition, synthesis, and enforcement abilities
    Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, and Jean-Luc Richier
    Formal Methods Syst. Des., 2011
    DOI
  2. Runtime Verification of Component-Based Systems
    Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, and Saddek Bensalem
    In Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, 2011
    DOI
  3. Decentralised LTL Monitoring
    Andreas Bauer, and Yliès Falcone
    CoRR, 2011

2010

  1. More Testable Properties
    Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, and Laurent Mounier
    In Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, 2010
    DOI
  2. You Should Better Enforce Than Verify
    Yliès Falcone
    In Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, 2010
    DOI
  3. Towards Automatic Integration of Or-BAC Security Policies Using Aspects
    Yliès Falcone, and Mohamad Jaber
    In Proceedings of the 2010 International Conference on Software Engineering Research & Practice, SERP 2010, July 12-15, 2010, Las Vegas, Nevada, USA, 2 Volumes, 2010
  4. Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
    2010
    DOI

2009

  1. Etude et mise en \oeuvre de techniques de validation à l’exécution. (Study and implementation of runtime validation techniques)
    Yliès Falcone
    Joseph Fourier University, Grenoble, France, 2009
  2. Runtime Verification of Safety-Progress Properties
    Yliès Falcone, Jean-Claude Fernandez, and Laurent Mounier
    In Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, 2009
    DOI
  3. Enforcement monitoring wrt. the safety-progress classification of properties
    Yliès Falcone, Jean-Claude Fernandez, and Laurent Mounier
    In Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, 2009
    DOI

2008

  1. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
    Yliès Falcone, Jean-Claude Fernandez, and Laurent Mounier
    In Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings, 2008
    DOI
  2. j-POST: a Java Toolchain for Property-Oriented Software Testing
    Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, and Jean-Luc Richier
    In Proceedings of the Fourth Workshop on Model Based Testing, MBT@ETAPS 2008, Budapest, Hungary, March 30, 2008, 2008
    DOI

2007

  1. A Compositional Testing Framework Driven by Partial Specifications
    Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, and Jean-Luc Richier
    In Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings, 2007
    DOI

2006

  1. A Test Calculus Framework Applied to Network Security Policies
    Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, and Jean-Luc Richier
    In Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, 2006
    DOI