6 citations · 18 across the 17 of their papers we have counts for
14 papers · 1 filter
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…
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…