This team member has not filled his personal page yet.
Publications
2023
Conference papers
- titre
- Opportunistic Monitoring of Multithreaded Programs
- auteur
- Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone
- article
- FASE 2023 – 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.173-194, ⟨10.1007/978-3-031-30826-0_10⟩
- Accès au texte intégral et bibtex
2021
Journal articles
- titre
- A framework for the specification and validation of dynamic reconfigurable systems
- auteur
- Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
- article
- ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2021, 21 (2), pp.18-32. ⟨10.1145/3477127.3477129⟩
- Accès au bibtex
Conference papers
- titre
- A temporal configuration logic for dynamic reconfigurable systems
- auteur
- Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
- article
- SAC ’21: The 36th ACM/SIGAPP Symposium on Applied Computing, Mar 2021, Virtual Event, Republic of Korea, South Korea. pp.1419-1428, ⟨10.1145/3412841.3442017⟩
- Accès au texte intégral et bibtex
2020
Journal articles
- titre
- From global choreographies to verifiable efficient distributed implementations
- auteur
- Mohamad Jaber, Yliès Falcone, Paul Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
- article
- Journal of Logical and Algebraic Methods in Programming, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
- auteur
- Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
- article
- International Conference on Software Engineering and Formal Methods, SEFM 2020, Sep 2020, Amsterdam, Netherlands. pp.284-302, ⟨10.1007/978-3-030-58768-0_16⟩
- Accès au texte intégral et bibtex
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, 2019, pp.1-57
- 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, 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, 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, Yliè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