Return to Team members

Antoine El-Hokayem

This team member has not filled his personal page yet.

Publications

Publications HAL de 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
https://hal.inria.fr/hal-01796786/file/jlamp-ElHokayem-Falcone-Jaber.pdf BibTex

Conference papers

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
https://hal.inria.fr/hal-01882414/file/rv18-tutorial.pdf BibTex
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
https://hal.inria.fr/hal-01882411/file/rv18-2.pdf 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
https://hal.archives-ouvertes.fr/hal-01653879/file/paper.pdf BibTex

Conference papers

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
https://hal.archives-ouvertes.fr/hal-01653727/file/themis-demo.pdf BibTex
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
https://hal.archives-ouvertes.fr/hal-01653725/file/themis.pdf 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
https://hal.inria.fr/hal-01365315/file/edoc16.pdf 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
https://hal.inria.fr/hal-01305083/file/sefm16.pdf BibTex

Leave a Reply

Your email address will not be published.