Antoine El-Hokayem

2019

Journal articles

titre

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

auteur

Antoine El-Hokayem, Yliès Falcone

article

ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩

Accès au texte intégral et bibtex

2018

Journal articles

titre

Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems – Application to the Behavior Interaction Priority Framework

auteur

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber

article

Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩

Accès au texte intégral et bibtex

Conference papers

titre

Bringing Runtime Verification Home

auteur

Antoine El-Hokayem, Yliès Falcone

article

RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17

Accès au texte intégral et bibtex

titre

Can We Monitor All Multithreaded Programs?

auteur

Antoine El-Hokayem, Yliès Falcone

article

RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24

Accès au texte intégral et bibtex

2017

Journal articles

titre

Decentralized enforcement of document lifecycle constraints

auteur

Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone

article

Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩

Accès au texte intégral et bibtex

Conference papers

titre

Monitoring Decentralized Specifications

auteur

Antoine El-Hokayem, Yliès Falcone

article

ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩

Accès au texte intégral et bibtex

titre

THEMIS: A Tool for Decentralized Monitoring Algorithms

auteur

Antoine El-Hokayem, Yliès Falcone

article

ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩

Accès au texte intégral et bibtex

2016

Conference papers

titre

Decentralized Enforcement of Artifact Lifecycles

auteur

Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Ylìès Falcone

article

EDOC 2016, Sep 2016, Vienne, Austria

Accès au texte intégral et bibtex

titre

Modularizing Crosscutting Concerns in Component-Based Systems

auteur

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber

article

14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria

Accès au texte intégral et bibtex