Antoine El-Hokayem

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