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

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

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)

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)

Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes. - Antoine El-Hokayem; Yliès Falcone (CoRR, 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)

Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques). - Antoine El-Hokayem (2018)

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. - Antoine El-Hokayem; Saddek Bensalem; Marius Bozga; Joseph Sifakis (SEFM, 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)

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

A temporal configuration logic for dynamic reconfigurable systems. - Antoine El-Hokayem; Marius Bozga; Joseph Sifakis (SAC, 2021)

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)

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