Antoine El-Hokayem

ORCID

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 17

Top Venues

CoRR

J. Log. Algebraic Methods Program.

SEFM

ISSTA

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone
Opportunistic Monitoring of Multithreaded Programs. FASE (2023)
Antoine El-Hokayem, Yliès Falcone
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Antoine El-Hokayem, Marius Bozga, Joseph Sifakis
A temporal configuration logic for dynamic reconfigurable systems. SAC (2021)
Antoine El-Hokayem, Yliès Falcone
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Trans. Softw. Eng. Methodol. 29 (1) (2020)
Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
From global choreographies to verifiable efficient distributed implementations. J. Log. Algebraic Methods Program. 115 (2020)
Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM (2020)
Antoine El-Hokayem, Yliès Falcone
Can We Monitor All Multithreaded Programs? RV (2018)
Antoine El-Hokayem, Yliès Falcone
On the Monitoring of Decentralized Specifications Semantics, Properties, Analysis, and Simulation. CoRR (2018)
Antoine El-Hokayem, Yliès Falcone
Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes. CoRR (2018)
Antoine El-Hokayem, Yliès Falcone
Bringing Runtime Verification Home. RV (2018)
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework. CoRR (2018)
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. J. Log. Algebraic Methods Program. 99 (2018)
Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
Decentralized enforcement of document lifecycle constraints. Inf. Syst. 74 (Part) (2018)
Antoine El-Hokayem, Yliès Falcone
THEMIS: a tool for decentralized monitoring algorithms. ISSTA (2017)
Antoine El-Hokayem, Yliès Falcone
Monitoring decentralized specifications. ISSTA (2017)
Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone
Decentralized Enforcement of Artifact Lifecycles. EDOC (2016)
Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
Modularizing Crosscutting Concerns in Component-Based Systems. SEFM (2016)

Antoine El-Hokayem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Antoine El-Hokayem