6 citations · 18 across the 17 of their papers we have counts for
20 papers
Sound Concurrent Traces for Online Monitoring Technical Report
Chukri Soueidi, Ylies Falcone
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either n…
Decentralized LTL Enforcement
Florian Gallay, Yliès Falcone
We consider the runtime enforcement of Linear-time Temporal Logic formulas on decentralized systems with no central observation point nor authority. A so-called enforcer is attache…
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
Chukri Soueidi, Marius Monnier, Ali Kassem +1
We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode-level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light…
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes
Changshun Wu, Yliès Falcone, Saddek Bensalem
Classification neural networks fail to detect inputs that do not fall inside the classes they have been trained for. Runtime monitoring techniques on the neuron activation pattern…
BISM: Bytecode-Level Instrumentation for Software Monitoring
Chukri Soueidi, Ali Kassem, Yliès Falcone
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentati…
Detecting Fault Injection Attacks with Runtime Verification
Ali Kassem, Yliès Falcone
Fault injections are increasingly used to attack/test secure applications. In this paper, we define formal models of runtime monitors that can detect fault injections that result i…
From Global Choreographies to Provably Correct and Efficient Distributed Implementations
Mohamad Jaber, Yliès Falcone, Paul Attie +2
We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the exe…
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1
Wolfgang Ahrendt, Cyrille Artho, Christian Colombo +9
This report presents the activities of the first working group of the COST Action ArVI, Runtime Verification beyond Monitoring. The report aims to provide an overview of some of th…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation
Antoine El-Hokayem, Yliès Falcone
We define two complementary approaches to monitor decentralized systems. The first relies on those with a centralized specification, i.e, when the specification is written for the…
Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications
Antoine El-Hokayem, Yliès Falcone
We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartme…
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
We define a method to modularize crosscutting concerns in Component-Based Systems (CBSs) expressed using the Behavior Interaction Priority (BIP) framework. Our method is inspired f…
Verifying Policy Enforcers
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani +1
Policy enforcers are sophisticated runtime components that can prevent failures by enforcing the correct behavior of the software. While a single enforcer can be easily designed fo…
Interactive Runtime Verification
Raphaël Jakse, Yliès Falcone, Jean-François Méhaut +1
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a sys…
Monitoring Distributed Component-Based Systems
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber +2
This paper addresses the online monitoring of distributed component-based systems with multi-party interactions against user-provided properties expressed in linear-temporal logic…
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem +1
This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent compo…
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 +2
Developing mobile applications remains difficult, time consuming, and error-prone, in spite of the number of existing platforms and tools. In this paper, we define MoDroid, a high-…
Runtime Enforcement for Component-Based Systems
Hadil Charafeddine, Khalil El-Harake, Yliès Falcone +1
Runtime enforcement is an increasingly popular and effective dynamic validation technique aiming to ensure the correct runtime behavior (w.r.t. a formal specification) of systems u…
Efficient and Generalized Decentralized Monitoring of Regular Languages
Tom Cornebize, Yliès Falcone
The main contribution of this paper is an efficient and generalized decentralized monitoring algorithm allowing to detect satisfaction or violation of any regular specification by…
Decentralised LTL Monitoring
Andreas Bauer, Yliès Falcone
Users wanting to monitor distributed or component-based systems often perceive them as monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to ma…