Antoine El-Hokayem

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, 2017, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 〈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 2017, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. 〈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. Proceedings of the twentieth entreprise computing conference 〈http://edoc2016.univie.ac.at〉

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