Monitoring decentralized specifications A El-Hokayem, Y Falcone Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 46 | 2017 |
THEMIS: a tool for decentralized monitoring algorithms A El-Hokayem, Y Falcone Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 24 | 2017 |
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 | 23 | 2020 |
Decentralized enforcement of document lifecycle constraints S Hallé, R Khoury, Q Betti, A El-Hokayem, Y Falcone Information Systems 74, 117-135, 2018 | 21 | 2018 |
Bringing runtime verification home A El-Hokayem, Y Falcone International Conference on Runtime Verification, 222-240, 2018 | 14 | 2018 |
Can we monitor all multithreaded programs? A El-Hokayem, Y Falcone Runtime Verification: 18th International Conference, RV 2018, Limassol …, 2018 | 14 | 2018 |
Decentralized enforcement of artifact lifecycles S Hallé, R Khoury, A El-Hokayem, Y Falcone 2016 IEEE 20th International Enterprise Distributed Object Computing …, 2016 | 10 | 2016 |
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 | 9 | 2021 |
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 | 8 | 2018 |
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 | 7 | 2020 |
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 | 7 | 2016 |
Opportunistic Monitoring of Multithreaded Programs. C Soueidi, A El-Hokayem, Y Falcone FASE, 173-194, 2023 | 5 | 2023 |
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 | 3 | 2022 |
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 | 2 | 2020 |
Bringing runtime verification home-a case study on the hierarchical monitoring of smart homes A El-Hokayem, Y Falcone CoRR abs/1808.05487, 2018 | 2 | 2018 |
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 | | |