Antoine El-Hokayem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2016–2023
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FASE | Opportunistic Monitoring of Multithreaded Programs. | Chukri Soueidi, Antoine El-Hokayem, Ylis Falcone |
| 2021 | SAC | A temporal configuration logic for dynamic reconfigurable systems. | Antoine El-Hokayem, Marius Bozga, Joseph Sifakis |
| 2020 | SEFM | A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2018 | RV | Can We Monitor All Multithreaded Programs? | Antoine El-Hokayem, Ylis Falcone |
| 2018 | RV | Bringing Runtime Verification Home. | Antoine El-Hokayem, Ylis Falcone |
| 2017 | ISSTA | Monitoring decentralized specifications. | Antoine El-Hokayem, Ylis Falcone |
| 2017 | ISSTA | THEMIS: a tool for decentralized monitoring algorithms. | Antoine El-Hokayem, Ylis Falcone |
| 2016 | EDOC | Decentralized Enforcement of Artifact Lifecycles. | Sylvain Hall, Raphal Khoury, Antoine El-Hokayem, Ylis Falcone |
| 2016 | SEFM | Modularizing Crosscutting Concerns in Component-Based Systems. | Antoine El-Hokayem, Ylis Falcone, Mohamad Jaber |