| Monitoring decentralized specifications A El-Hokayem, Y Falcone Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 31 | 2017 |
| THEMIS: a tool for decentralized monitoring algorithms A El-Hokayem, Y Falcone Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017 | 17 | 2017 |
| Decentralized enforcement of document lifecycle constraints S Hallé, R Khoury, Q Betti, A El-Hokayem, Y Falcone Information Systems 74, 117-135, 2018 | 12 | 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 |
| Bringing runtime verification home A El-Hokayem, Y Falcone International Conference on Runtime Verification, 222-240, 2018 | 9 | 2018 |
| 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 | 8 | 2016 |
| 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 | 6 | 2018 |
| Can We Monitor All Multithreaded Programs? A El-Hokayem, Y Falcone International Conference on Runtime Verification, 64-89, 2018 | 5 | 2018 |
| 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 | 1 | 2020 |
| 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 | 1 | 2020 |
| 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 | 1 | 2018 |
| 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 | | |
Yliès FalconeUniv. Grenoble Alpes, InriaVerified email at univ-grenoble-alpes.fr
