This team member has not filled his personal page yet.
Publications
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
- 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
-
- 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
-
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
-