Antoine El-Hokayem

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 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. ⟨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, 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