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