| 2024 | ETFA | Guided Evolution of IEC 61499 Applications. | Irman Faqrizal, Gwen Salan, Ylis Falcone |
| 2024 | FASE | Probabilistic Runtime Enforcement of Executable BPMN Processes. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2024 | FORTE | Adaptable Configuration of Decentralized Monitors. | Ennio Visconti, Ezio Bartocci, Ylis Falcone, Laura Nenzi |
| 2024 | ICST | Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. | Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Ylis Falcone |
| 2024 | QRS | Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2023 | EDOC | Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. | Chukri Soueidi, Ylis Falcone, Sylvain Hall |
| 2023 | FASE | Opportunistic Monitoring of Multithreaded Programs. | Chukri Soueidi, Antoine El-Hokayem, Ylis Falcone |
| 2023 | FM | Leveraging Runtime Verification for the Monitoring of Digital Twins. | Sylvain Hall, Chukri Soueidi, Ylis Falcone |
| 2023 | ISSRE | Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. | Chukri Soueidi, Ylis Falcone, Sylvain Hall |
| 2023 | RV | Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. | Chukri Soueidi, Ylis Falcone |
| 2023 | RV | Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. | Chukri Soueidi, Ylis Falcone |
| 2023 | RV | Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. | Changshun Wu, Ylis Falcone, Saddek Bensalem |
| 2023 | VECoS | DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. | Hamzah Al-Qadasi, Ylis Falcone, Saddek Bensalem |
| 2022 | IFM | Probabilistic Model Checking of BPMN Processes at Runtime. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2022 | SAC | Capturing program models with BISM. | Chukri Soueidi, Ylis Falcone |
| 2022 | RV | Runtime Verification of Kotlin Coroutines. | Denis Furian, Shaun Azzopardi, Ylis Falcone, Gerardo Schneider |
| 2022 | RV | Decent: A Benchmark for Decentralized Enforcement. | Florian Gallay, Ylis Falcone |
| 2022 | SEFM | Runtime Enforcement for IEC 61499 Applications. | Ylis Falcone, Irman Faqrizal, Gwen Salan |
| 2022 | TIME | Decentralised Runtime Verification of Timed Regular Expressions. | Victor Roussanaly, Ylis Falcone |
| 2021 | SEFM | Runtime Enforcement with Reordering, Healing, and Suppression. | Ylis Falcone, Gwen Salan |
| 2021 | VECoS | On Decentralized Monitoring. | Ylis Falcone |
| 2020 | RV | BISM: Bytecode-Level Instrumentation for Software Monitoring. | Chukri Soueidi, Ali Kassem, Ylis Falcone |
| 2019 | CCS | Detecting Fault Injection Attacks with Runtime Verification. | Ali Kassem, Ylis Falcone |
| 2019 | RV | On the Runtime Enforcement of Timed Properties. | Ylis Falcone, Srinivas Pinisetty |
| 2019 | TACAS | International Competition on Runtime Verification (CRV). | Ezio Bartocci, Ylis Falcone, Giles Reger |
| 2018 | IFM | Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. | Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Ylis Falcone |
| 2018 | ISoLA | RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). | Ezio Bartocci, Ylis Falcone |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2018 | RV | Can We Monitor All Multithreaded Programs? | Antoine El-Hokayem, Ylis Falcone |
| 2018 | RV | Bringing Runtime Verification Home. | Antoine El-Hokayem, Ylis Falcone |
| 2018 | RV | Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. | Ylis Falcone |
| 2018 | RV | A Taxonomy for Classifying Runtime Verification Tools. | Ylis Falcone, Srdan Krstic, Giles Reger, Dmitriy Traytel |
| 2018 | RV | Tracing Distributed Component-Based Systems, a Brief Overview. | Ylis Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem |
| 2017 | CLOSER | User-based Load Balancer in HBase. | Ahmad Ghandour, Mariam Moukalled, Mohamad Jaber, Ylis Falcone |
| 2017 | ISSRE | Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. | Raphal Jakse, Ylis Falcone, Jean-Franois Mhaut, Kevin Pouget |
| 2017 | ISSTA | Monitoring decentralized specifications. | Antoine El-Hokayem, Ylis Falcone |
| 2017 | ISSTA | THEMIS: a tool for decentralized monitoring algorithms. | Antoine El-Hokayem, Ylis Falcone |
| 2017 | RV | Verifying Policy Enforcers. | Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Ylis Falcone |
| 2016 | EDOC | Decentralized Enforcement of Artifact Lifecycles. | Sylvain Hall, Raphal Khoury, Antoine El-Hokayem, Ylis Falcone |
| 2016 | IFM | Monitoring Multi-threaded Component-Based Systems. | Hosein Nazarpour, Ylis Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2016 | ISoLA | Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). | Ezio Bartocci, Ylis Falcone |
| 2016 | SAC | Predictive runtime enforcement. | Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jron, Ylis Falcone, Herv Marchand |
| 2016 | RV | First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. | Christian Colombo, Ylis Falcone |
| 2016 | RV | Third International Competition on Runtime Verification - CRV 2016. | Giles Reger, Sylvain Hall, Ylis Falcone |
| 2016 | SEFM | Modularizing Crosscutting Concerns in Component-Based Systems. | Antoine El-Hokayem, Ylis Falcone, Mohamad Jaber |
| 2015 | DSD | Dynamic Detection and Mitigation of DMA Races in MPSoCs. | Selma Saidi, Ylis Falcone |
| 2015 | ICTAC | Enforcement of (Timed) Properties with Uncontrollable Events. | Matthieu Renard, Ylis Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jron, Herv Marchand |
| 2015 | SAC | Runtime enforcement for component-based systems. | Hadil Charafeddine, Khalil El-Harake, Ylis Falcone, Mohamad Jaber |
| 2015 | RV | RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. | Philip Daian, Ylis Falcone, Patrick O'Neil Meredith, Traian-Florin Serbanuta, Shinichi Shiraishi, Akihito Iwai, Grigore Rosu |
| 2015 | RV | Second International Competition on Runtime Verification CRV 2015. | Ylis Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma |
| 2015 | RV | Monitoring Electronic Exams. | Ali Kassem, Ylis Falcone, Pascal Lafourcade |
| 2015 | RV | TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2014 | FORTE | Efficient and Generalized Decentralized Monitoring of Regular Languages. | Ylis Falcone, Tom Cornebize, Jean-Claude Fernandez |
| 2014 | ISoLA | Blocking Advertisements on Android Devices Using Monitoring Techniques. | Khalil El-Harake, Ylis Falcone, Wassim Jerad, Matthieu Langet, Mariem Mamlouk |
| 2014 | SAC | Runtime enforcement of regular timed properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand |
| 2014 | RV | First International Competition on Software for Runtime Verification. | Ezio Bartocci, Borzoo Bonakdarpour, Ylis Falcone |
| 2014 | RV | Organising LTL Monitors over Distributed Systems with a Global Clock. | Christian Colombo, Ylis Falcone |
| 2013 | ISSRE | Fault localization in embedded software based on a single cyclic trace. | Azzeddine Amiar, Mickal Delahaye, Ylis Falcone, Lydie du Bousquet |
| 2012 | FM | Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. | Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard |
| 2012 | FM | Decentralised LTL Monitoring. | Andreas Klaus Bauer, Ylis Falcone |
| 2012 | ICFEM | Towards Certified Runtime Verification. | Jan Olaf Blech, Ylis Falcone, Klaus Becker |
| 2012 | ISoLA | Behavioral Specification Based Runtime Monitors for OSGi Services. | Jan Olaf Blech, Ylis Falcone, Harald Rue, Bernhard Schtz |
| 2012 | ISoLA | Runtime Verification: The Application Perspective. | Ylis Falcone, Lenore D. Zuck |
| 2012 | RV | Runtime Verification and Enforcement for Android Applications with RV-Droid. | Ylis Falcone, Sebastian Currea, Mohamad Jaber |
| 2012 | RV | Runtime Enforcement of Timed Properties. | Srinivas Pinisetty, Ylis Falcone, Thierry Jron, Herv Marchand, Antoine Rollet, Omer Landry Nguena-Timo |
| 2011 | SEFM | Runtime Verification of Component-Based Systems. | Ylis Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
| 2010 | RV | You Should Better Enforce Than Verify. | Ylis Falcone |
| 2009 | SAC | Enforcement monitoring wrt. the safety-progress classification of properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2009 | RV | Runtime Verification of Safety-Progress Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2008 | ICISS | Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |