Antoine El-Hokayem
Antoine El-Hokayem
VERIMAG
E-mail confirmado em univ-grenoble-alpes.fr - Página inicial
Título
Citado por
Citado por
Ano
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
162017
Decentralized enforcement of document lifecycle constraints
S Hallé, R Khoury, Q Betti, A El-Hokayem, Y Falcone
Information Systems 74, 117-135, 2018
122018
Bringing runtime verification home
A El-Hokayem, Y Falcone
International Conference on Runtime Verification, 222-240, 2018
102018
Decentralized enforcement of artifact lifecycles
S Hallé, R Khoury, A El-Hokayem, Y Falcone
2016 IEEE 20th International Enterprise Distributed Object Computing …, 2016
92016
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
Can We Monitor All Multithreaded Programs?
A El-Hokayem, Y Falcone
International Conference on Runtime Verification, 64-89, 2018
62018
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
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
32020
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
Bringing Runtime Verification Home-A case study on the Hierarchical Monitoring of Smart Homes
A El-Hokayem, Y Falcone
CoRR abs/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
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–15