A Test Calculus Framework Applied to Network Security Policies. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier; Jean-Luc Richier (FATES/RV, 2006)

A Compositional Testing Framework Driven by Partial Specifications. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier; Jean-Luc Richier (TestCom/FATES, 2007)

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (ICISS, 2008)

j-POST: a Java Toolchain for Property-Oriented Software Testing. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (MBT@ETAPS, 2008)

Runtime Verification of Safety-Progress Properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (RV, 2009)

Enforcement monitoring wrt. the safety-progress classification of properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (SAC, 2009)

Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques). - Yliès Falcone (2009)

You Should Better Enforce Than Verify. - Yliès Falcone (RV, 2010)

Towards Automatic Integration of Or-BAC Security Policies Using Aspects. - Yliès Falcone; Mohamad Jaber 001 (Software Engineering Research and Practice, 2010)

Runtime Verification of Component-Based Systems. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (SEFM, 2011)

Runtime enforcement monitors: composition, synthesis, and enforcement abilities. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (Formal Methods Syst. Des., 2011)

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. - Howard Barringer; Yliès Falcone; Klaus Havelund; Giles Reger; David E. Rydeheard (FM, 2012)

Towards Certified Runtime Verification. - Jan Olaf Blech; Yliès Falcone; Klaus Becker 001 (ICFEM, 2012)

Behavioral Specification Based Runtime Monitors for OSGi Services. - Jan Olaf Blech; Yliès Falcone; Harald Rueß; Bernhard Schätz (ISoLA (1), 2012)

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. - Yliès Falcone; Sebastian Currea (ASE, 2012)

Runtime Verification and Enforcement for Android Applications with RV-Droid. - Yliès Falcone; Sebastian Currea; Mohamad Jaber 001 (RV, 2012)

Runtime Enforcement of Timed Properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Landry Nguena-Timo (RV, 2012)

More testable properties. - Yliès Falcone; Jean-Claude Fernandez; Thierry Jéron; Hervé Marchand; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

What can you verify and enforce at runtime? - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

Runtime enforcement of K-step opacity. - Yliès Falcone; Hervé Marchand (CDC, 2013)

Compressing Microcontroller Execution Traces to Assist System Analysis. - Azzeddine Amiar; Mickaël Delahaye; Yliès Falcone; Lydie du Bousquet (IESS, 2013)

Fault localization in embedded software based on a single cyclic trace. - Azzeddine Amiar; Mickaël Delahaye; Yliès Falcone; Lydie du Bousquet (ISSRE, 2013)

A Tutorial on Runtime Verification. - Yliès Falcone; Klaus Havelund; Giles Reger (Engineering Dependable Software Systems, 2013)

On the Expressiveness of some Runtime Validation Techniques. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (HOWARD-60, 2014)

Efficient and Generalized Decentralized Monitoring of Regular Languages. - Yliès Falcone; Tom Cornebize; Jean-Claude Fernandez (FORTE, 2014)

Blocking Advertisements on Android Devices Using Monitoring Techniques. - Khalil El-Harake; Yliès Falcone; Wassim Jerad; Matthieu Langet; Mariem Mamlouk (ISoLA (2), 2014)

First International Competition on Software for Runtime Verification. - Ezio Bartocci; Borzoo Bonakdarpour; Yliès Falcone (RV, 2014)

Runtime enforcement of regular timed properties. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (SAC, 2014)

Runtime Enforcement of Parametric Timed Properties with Practical Applications. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (WODES, 2014)

Efficient and Generalized Decentralized Monitoring of Regular Languages. - Tom Cornebize; Yliès Falcone (CoRR, 2014)

Runtime enforcement of timed properties revisited. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand; Antoine Rollet; Omer Nguena-Timo (Formal Methods Syst. Des., 2014)

Dynamic Detection and Mitigation of DMA Races in MPSoCs. - Selma Saidi; Yliès Falcone (DSD, 2015)

Enforcement of (Timed) Properties with Uncontrollable Events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Srinivas Pinisetty; Thierry Jéron; Hervé Marchand (ICTAC, 2015)

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; Grigore Rosu (RV, 2015)

Second International Competition on Runtime Verification CRV 2015. - Yliès Falcone; Dejan Nickovic; Giles Reger; Daniel Thoma (RV, 2015)

Monitoring Electronic Exams. - Ali Kassem 001; Yliès Falcone; Pascal Lafourcade 001 (RV, 2015)

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. - Srinivas Pinisetty; Yliès Falcone; Thierry Jéron; Hervé Marchand (RV, 2015)

Runtime enforcement for component-based systems. - Hadil Charafeddine; Khalil El-Harake; Yliès Falcone; Mohamad Jaber 001 (SAC, 2015)

Runtime-behavior based malware classification using online machine learning. - Abdurrahman Pektas; Tankut Acarman; Yliès Falcone; Jean-Claude Fernandez (WorldCIS, 2015)

Enforcement and validation (at runtime) of various notions of opacity. - Yliès Falcone; Hervé Marchand (Discret. Event Dyn. Syst., 2015)

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (Softw. Syst. Model., 2015)

Runtime verification: the application perspective. - Yliès Falcone; Lenore D. Zuck (Int. J. Softw. Tools Technol. Transf., 2015)

Decentralized Enforcement of Artifact Lifecycles. - Sylvain Hallé; Raphaël Khoury; Antoine El-Hokayem; Yliès Falcone (EDOC, 2016)

Monitoring Multi-threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga; Jacques Combaz (IFM, 2016)

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). - Ezio Bartocci; Yliès Falcone (ISoLA (2), 2016)

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402. - Christian Colombo 001; Yliès Falcone (RV, 2016)

Third International Competition on Runtime Verification - CRV 2016. - Giles Reger; Sylvain Hallé; Yliès Falcone (RV, 2016)

Modularizing Crosscutting Concerns in Component-Based Systems. - Antoine El-Hokayem; Yliès Falcone; Mohamad Jaber 001 (SEFM, 2016)

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga (CoRR, 2016)

Decentralised LTL monitoring. - Andreas Bauer 002; Yliès Falcone (Formal Methods Syst. Des., 2016)

Organising LTL monitors over distributed systems with a global clock. - Christian Colombo 001; Yliès Falcone (Formal Methods Syst. Des., 2016)

Runtime enforcement of regular timed properties by suppressing and delaying events. - Yliès Falcone; Thierry Jéron; Hervé Marchand; Srinivas Pinisetty (Sci. Comput. Program., 2016)

User-based Load Balancer in HBase. - Ahmad Ghandour; Mariam Moukalled; Mohamad Jaber 001; Yliès Falcone (CLOSER, 2017)

Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. - Raphaël Jakse; Yliès Falcone; Jean-François Méhaut; Kevin Pouget (ISSRE, 2017)

Monitoring decentralized specifications. - Antoine El-Hokayem; Yliès Falcone (ISSTA, 2017)

THEMIS: a tool for decentralized monitoring algorithms. - Antoine El-Hokayem; Yliès Falcone (ISSTA, 2017)

GREP: Games for the Runtime Enforcement of Properties. - Matthieu Renard; Antoine Rollet; Yliès Falcone (ICTSS, 2017)

Verifying Policy Enforcers. - Oliviero Riganelli; Daniela Micucci; Leonardo Mariani; Yliès Falcone (RV, 2017)

Runtime enforcement using Büchi games. - Matthieu Renard; Antoine Rollet; Yliès Falcone (SPIN, 2017)

Interactive Runtime Verification. - Raphaël Jakse; Yliès Falcone; Jean-François Méhaut; Kevin Pouget (CoRR, 2017)

Monitoring Distributed Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Mohamad Jaber 001; Saddek Bensalem; Marius Bozga (CoRR, 2017)

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 (Formal Aspects Comput., 2017)

Formal analysis and offline monitoring of electronic exams. - Ali Kassem 001; Yliès Falcone; Pascal Lafourcade 001 (Formal Methods Syst. Des., 2017)

Predictive runtime enforcement. - Srinivas Pinisetty; Viorel Preoteasa; Stavros Tripakis; Thierry Jéron; Yliès Falcone; Hervé Marchand (Formal Methods Syst. Des., 2017)

Predictive runtime verification of timed properties. - Srinivas Pinisetty; Thierry Jéron; Stavros Tripakis; Yliès Falcone; Hervé Marchand; Viorel Preoteasa (J. Syst. Softw., 2017)

Fully automated runtime enforcement of component-based systems with formal and sound recovery. - Yliès Falcone; Mohamad Jaber 001 (Int. J. Softw. Tools Technol. Transf., 2017)

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. - Salwa Kobeissi; Adnan Utayim; Mohamad Jaber 001; Yliès Falcone (IFM, 2018)

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). - Ezio Bartocci; Yliès Falcone (ISoLA (4), 2018)

COST Action IC1402 Runtime Verification Beyond Monitoring. - Christian Colombo 001; Yliès Falcone; Martin Leucker; Giles Reger; César Sánchez 001; Gerardo Schneider; Volker Stolz (RV, 2018)

Can We Monitor All Multithreaded Programs? - Antoine El-Hokayem; Yliès Falcone (RV, 2018)

Bringing Runtime Verification Home. - Antoine El-Hokayem; Yliès Falcone (RV, 2018)

Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections. - Yliès Falcone (RV, 2018)

Tracing Distributed Component-Based Systems, a Brief Overview. - Yliès Falcone; Hosein Nazarpour; Mohamad Jaber 001; Marius Bozga; Saddek Bensalem (RV, 2018)

Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes. - Antoine El-Hokayem; Yliès Falcone (CoRR, 2018)

Introduction to the special issue on runtime verification. - Yliès Falcone; César Sánchez 001 (Formal Methods Syst. Des., 2018)

Decentralized enforcement of document lifecycle constraints. - Sylvain Hallé; Raphaël Khoury; Quentin Betti; Antoine El-Hokayem; Yliès Falcone (Inf. Syst., 2018)

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 001 (J. Log. Algebraic Methods Program., 2018)

A high-level modeling language for the efficient design, implementation, and testing of Android applications. - Mohamad Jaber 001; Yliès Falcone; Kinan Dak-Al-Bab; John Abou-Jaoudeh; Mostafa El-Katerji (Int. J. Softw. Tools Technol. Transf., 2018)

Introduction to Runtime Verification. - Ezio Bartocci; Yliès Falcone; Adrian Francalanza; Giles Reger (Lectures on Runtime Verification, 2018)

Runtime Failure Prevention and Reaction. - Yliès Falcone; Leonardo Mariani; Antoine Rollet; Saikat Saha (Lectures on Runtime Verification, 2018)

Detecting Fault Injection Attacks with Runtime Verification. - Ali Kassem 004; Yliès Falcone (SPRO@CCS, 2019)

On the Runtime Enforcement of Timed Properties. - Yliès Falcone; Srinivas Pinisetty (RV, 2019)

International Competition on Runtime Verification (CRV). - Ezio Bartocci; Yliès Falcone; Giles Reger (TACAS (3), 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

From Global Choreographies to Provably Correct and Efficient Distributed Implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Optimal enforcement of (timed) properties with uncontrollable events. - Matthieu Renard; Yliès Falcone; Antoine Rollet; Thierry Jéron; Hervé Marchand (Math. Struct. Comput. Sci., 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

From high-level modeling toward efficient and trustworthy circuits. - Fadi A. Zaraket; Mohamad Jaber 001; Mohamad Noureddine; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2019)

BISM: Bytecode-Level Instrumentation for Software Monitoring. - Chukri Soueidi; Ali Kassem 004; Yliès Falcone (RV, 2020)

Runtime enforcement of timed properties using games. - Matthieu Renard; Antoine Rollet; Yliès Falcone (Formal Aspects Comput., 2020)

From global choreographies to verifiable efficient distributed implementations. - Mohamad Jaber 001; Yliès Falcone; Paul C. Attie; Al-Abbass Khalil; Rayan Hallal; Antoine El-Hokayem (J. Log. Algebraic Methods Program., 2020)

Preface to the special section on improving software quality through formal methods. - Yliès Falcone; Leonardo Mariani (Softw. Qual. J., 2020)

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. - Antoine El-Hokayem; Yliès Falcone (ACM Trans. Softw. Eng. Methodol., 2020)

Semi-automated Modelling of Optimized BPMN Processes. - Yliès Falcone; Gwen Salaün; Ahang Zuo (SCC, 2021)

Monitoring Distributed Component-Based Systems. - Yliès Falcone; Hosein Nazarpour; Saddek Bensalem; Marius Bozga (FACS, 2021)

Runtime Enforcement with Reordering, Healing, and Suppression. - Yliès Falcone; Gwen Salaün (SEFM, 2021)

On Decentralized Monitoring. - Yliès Falcone (VECoS, 2021)

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. - Chukri Soueidi; Marius Monnier; Ali Kassem 004; Yliès Falcone (CoRR, 2021)

Decentralized LTL Enforcement. - Florian Gallay; Yliès Falcone (GandALF, 2021)

A taxonomy for classifying runtime verification tools. - Yliès Falcone; Srdan Krstic; Giles Reger; Dmitriy Traytel (Int. J. Softw. Tools Technol. Transf., 2021)

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. - Hamzah Al-Qadasi; Changshun Wu; Yliès Falcone; Saddek Bensalem (AITest, 2022)

WEASY: A Tool for Modelling Optimised BPMN Processes. - Angel Contreras; Yliès Falcone; Gwen Salaün; Ahang Zuo (FACS, 2022)

Probabilistic Model Checking of BPMN Processes at Runtime. - Yliès Falcone; Gwen Salaün; Ahang Zuo (IFM, 2022)

Probabilistic Analysis of Industrial IoT Applications. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (IOT, 2022)

Runtime Verification of Kotlin Coroutines. - Denis Furian; Shaun Azzopardi; Yliès Falcone; Gerardo Schneider (RV, 2022)

Decent: A Benchmark for Decentralized Enforcement. - Florian Gallay; Yliès Falcone (RV, 2022)

Capturing program models with BISM. - Chukri Soueidi; Yliès Falcone (SAC, 2022)

Runtime Enforcement for IEC 61499 Applications. - Yliès Falcone; Irman Faqrizal; Gwen Salaün (SEFM, 2022)

Bounded-Memory Runtime Enforcement. - Saumya Shankar; Antoine Rollet; Srinivas Pinisetty; Yliès Falcone (SPIN, 2022)

Decentralised Runtime Verification of Timed Regular Expressions. - Victor Roussanaly; Yliès Falcone (TIME, 2022)

Residual Runtime Verification via Reachability Analysis. - Chukri Soueidi; Yliès Falcone (VSTTE, 2022)

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. - Francisco Durán 001; Yliès Falcone; Camilo Rocha; Gwen Salaün; Ahang Zuo (WRLA@ETAPS, 2022)

Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. - Antoine El-Hokayem; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2022)

Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. - Hamzah Al-Qadasi; Yliès Falcone; Saddek Bensalem (AITest, 2023)

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. - Chukri Soueidi; Yliès Falcone; Sylvain Hallé (EDOC Workshops, 2023)

Opportunistic Monitoring of Multithreaded Programs. - Chukri Soueidi; Antoine El-Hokayem; Yliès Falcone (FASE, 2023)

Leveraging Runtime Verification for the Monitoring of Digital Twins. - Sylvain Hallé; Chukri Soueidi; Yliès Falcone (FMDT@FM, 2023)

Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. - Chukri Soueidi; Yliès Falcone; Sylvain Hallé (ISSRE, 2023)

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. - Chukri Soueidi; Yliès Falcone (RV, 2023)

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. - Chukri Soueidi; Yliès Falcone (RV, 2023)

Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. - Changshun Wu; Yliès Falcone; Saddek Bensalem (RV, 2023)

Sound Concurrent Traces for Online Monitoring. - Chukri Soueidi; Yliès Falcone (SPIN, 2023)

DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. - Hamzah Al-Qadasi; Yliès Falcone; Saddek Bensalem (AISoLA, 2023)

Efficient and expressive bytecode-level instrumentation for Java programs. - Chukri Soueidi; Marius Monnier; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2023)

Guided Evolution of IEC 61499 Applications. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (ETFA, 2024)

Probabilistic Runtime Enforcement of Executable BPMN Processes. - Yliès Falcone; Gwen Salaün; Ahang Zuo (FASE, 2024)

Adaptable Configuration of Decentralized Monitors. - Ennio Visconti; Ezio Bartocci; Yliès Falcone; Laura Nenzi (FORTE, 2024)

Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts. - Enzo Nicourt; Benjamin Kushigian; Chandrakana Nandi; Yliès Falcone (ICST, 2024)

Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. - Yliès Falcone; Gwen Salaün; Ahang Zuo (QRS, 2024)

Sound Concurrent Traces for Online Monitoring Technical Report. - Chukri Soueidi; Yliès Falcone (CoRR, 2024)

Bounded-memory runtime enforcement with probabilistic and performance analysis. - Saumya Shankar; Ankit Pradhan; Srinivas Pinisetty; Antoine Rollet; Yliès Falcone (Formal Methods Syst. Des., 2024)

Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (ACM Trans. Auton. Adapt. Syst., 2024)