Antoine El-Hokayem

According to our database, Antoine El-Hokayem authored at least 16 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Opportunistic Monitoring of Multithreaded Programs.

Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications.

Antoine El-Hokayem, Yliès Falcone

Int. J. Softw. Tools Technol. Transf., 2022

2021

A temporal configuration logic for dynamic reconfigurable systems.

Antoine El-Hokayem, Marius Bozga, Joseph Sifakis

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.

Antoine El-Hokayem, Yliès Falcone

ACM Trans. Softw. Eng. Methodol., 2020

From global choreographies to verifiable efficient distributed implementations.

Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem

J. Log. Algebraic Methods Program., 2020

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis.

Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2018

Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques).

Antoine El-Hokayem

PhD thesis, 2018

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber

J. Log. Algebraic Methods Program., 2018

Decentralized enforcement of document lifecycle constraints.

Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone

Inf. Syst., 2018

Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes.

Antoine El-Hokayem, Yliès Falcone

CoRR, 2018

Bringing Runtime Verification Home.

Antoine El-Hokayem, Yliès Falcone

Proceedings of the Runtime Verification - 18th International Conference, 2018

Can We Monitor All Multithreaded Programs?

Antoine El-Hokayem, Yliès Falcone

Proceedings of the Runtime Verification - 18th International Conference, 2018

2017

THEMIS: a tool for decentralized monitoring algorithms.

Antoine El-Hokayem, Yliès Falcone

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Monitoring decentralized specifications.

Antoine El-Hokayem, Yliès Falcone

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Modularizing Crosscutting Concerns in Component-Based Systems.

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Decentralized Enforcement of Artifact Lifecycles.

Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016