( en | de | ru )

 

Disambiguation of "El-Hokayem, Antoine"

Author of the publication

copydeleteadd this publication to your clipboard
THEMIS: a tool for decentralized monitoring algorithms.

, and . ISSTA, page 372-375. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Antoine Jammal

Jacques Antoine

Antoine Kahn

Antoine Derighetti

Rainer Antoine

 

Other publications of authors with the same name

Monitoring decentralized specifications., and . ISSTA, page 125-135. ACM, (2017)A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis., , , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 284-302. Springer, (2020)A temporal configuration logic for dynamic reconfigurable systems., , and . SAC, page 1419-1428. ACM, (2021)Bringing Runtime Verification Home., and . RV, volume 11237 of Lecture Notes in Computer Science, page 222-240. Springer, (2018)Opportunistic Monitoring of Multithreaded Programs., , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 173-194. Springer, (2023)Can We Monitor All Multithreaded Programs?, and . RV, volume 11237 of Lecture Notes in Computer Science, page 64-89. Springer, (2018)Runtime Verification of Hierarchical Decentralized Specifications. (Vérification à l'exécution de spécifications décentralisées hiérarchiques).. Grenoble Alpes University, France, (2018)THEMIS: a tool for decentralized monitoring algorithms., and . ISSTA, page 372-375. ACM, (2017)Decentralized Enforcement of Artifact Lifecycles., , , and . EDOC, page 1-10. IEEE Computer Society, (2016)