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
312017
THEMIS: a tool for decentralized monitoring algorithms
A El-Hokayem, Y Falcone
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
172017
Decentralized enforcement of document lifecycle constraints
S Hallé, R Khoury, Q Betti, A El-Hokayem, Y Falcone
Information Systems 74, 117-135, 2018
122018
Decentralized enforcement of artifact lifecycles
S Hallé, R Khoury, A El-Hokayem, Y Falcone
2016 IEEE 20th International Enterprise Distributed Object Computing …, 2016
102016
Bringing runtime verification home
A El-Hokayem, Y Falcone
International Conference on Runtime Verification, 222-240, 2018
92018
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
82016
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
62018
Can We Monitor All Multithreaded Programs?
A El-Hokayem, Y Falcone
International Conference on Runtime Verification, 64-89, 2018
52018
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
12020
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
12020
Bringing Runtime Verification Home-A case study on the Hierarchical Monitoring of Smart Homes
A El-Hokayem, Y Falcone
arXiv preprint arXiv:1808.05487, 2018
12018
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis
A El-Hokayem, S Bensalem, M Bozga, J Sifakis
International Conference on Software Engineering and Formal Methods, 284-302, 2020
2020
Runtime Verification of Hierarchical Decentralized Specifications
A El Hokayem
2018
Bringing Runtime Verification Home--A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications
A El-Hokayem, Y Falcone
arXiv, arXiv: 1808.05487, 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–16