3 papers
cs.SE2018
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…
cs.SE2018
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…
cs.SE2018
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…