AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Antoine El-Hokayem

Antoine El-Hokayem

Université Grenoble Alpes - Saint-Martin-d'Hères / France
Others
AD Scientific Index ID: 4566237
Grenoble Alpes University
person_outline Antoine El-Hokayem's MOST POPULAR ARTICLES
1-) Monitoring decentralized specifications Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
2-) On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation ACM Transactions on Software Engineering and Methodology (TOSEM) 29 (1), 1-57, 2020
3-) THEMIS: a tool for decentralized monitoring algorithms Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
4-) Decentralized enforcement of document lifecycle constraints Information Systems 74, 117-135, 2018
5-) Can we monitor all multithreaded programs? International Conference on Runtime Verification, 64-89, 2018