Follow
Antoine El-Hokayem
Antoine El-Hokayem
VERIMAG
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
Monitoring decentralized specifications
A El-Hokayem, Y Falcone
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
462017
THEMIS: a tool for decentralized monitoring algorithms
A El-Hokayem, Y Falcone
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
242017
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
A El-Hokayem, Y Falcone
ACM Transactions on Software Engineering and Methodology (TOSEM) 29 (1), 1-57, 2020
232020
Decentralized enforcement of document lifecycle constraints
S Hallé, R Khoury, Q Betti, A El-Hokayem, Y Falcone
Information Systems 74, 117-135, 2018
202018
Bringing runtime verification home
A El-Hokayem, Y Falcone
International Conference on Runtime Verification, 222-240, 2018
142018
Can we monitor all multithreaded programs?
A El-Hokayem, Y Falcone
Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018
142018
Decentralized enforcement of artifact lifecycles
S Hallé, R Khoury, A El-Hokayem, Y Falcone
2016 IEEE 20th International Enterprise Distributed Object Computing …, 2016
102016
A temporal configuration logic for dynamic reconfigurable systems
A El-Hokayem, M Bozga, J Sifakis
Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1419-1428, 2021
92021
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems–Application to the Behavior Interaction Priority framework
A El-Hokayem, Y Falcone, M Jaber
Journal of logical and algebraic methods in programming 99, 143-177, 2018
82018
A layered implementation of DR-BIP supporting run-time monitoring and analysis
A El-Hokayem, S Bensalem, M Bozga, J Sifakis
Software Engineering and Formal Methods: 18th International Conference, SEFM …, 2020
72020
Modularizing crosscutting concerns in component-based systems
A El-Hokayem, Y Falcone, M Jaber
International Conference on Software Engineering and Formal Methods, 367-385, 2016
72016
Opportunistic Monitoring of Multithreaded Programs.
C Soueidi, A El-Hokayem, Y Falcone
FASE, 173-194, 2023
52023
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications
A El-Hokayem, Y Falcone
International Journal on Software Tools for Technology Transfer 24 (2), 159-181, 2022
32022
From global choreographies to verifiable efficient distributed implementations
M Jaber, Y Falcone, P Attie, AA Khalil, R Hallal, A El-Hokayem
Journal of Logical and Algebraic Methods in Programming 115, 100577, 2020
22020
Bringing runtime verification home-a case study on the hierarchical monitoring of smart homes
A El-Hokayem, Y Falcone
CoRR abs/1808.05487, 2018
22018
A framework for the specification and validation of dynamic reconfigurable systems
A El-Hokayem, M Bozga, J Sifakis
ACM SIGAPP Applied Computing Review 21 (2), 18-32, 2021
2021
Runtime Verification of Hierarchical Decentralized Specifications
A El Hokayem
Université Grenoble Alpes, 2018
2018
A general framework for the integration of crosscutting concerns in BIP
AP El Hokayem
Theses, Dissertations, and Projects, 2015
2015
THEMIS: A Tool for the Design, Development, and Analysis of Decentralized Monitoring Algorithms
A El-Hokayem, Y Falcone
Approches Formelles dans l’Assistance au Developpement de Logiciels, 41, 0
The system can't perform the operation now. Try again later.
Articles 1–19