| BISM: bytecode-level instrumentation for software monitoring C Soueidi, A Kassem, Y Falcone Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 11 | 2020 |
| Opportunistic Monitoring of Multithreaded Programs. C Soueidi, A El-Hokayem, Y Falcone FASE, 173-194, 2023 | 5 | 2023 |
| Efficient and expressive bytecode-level instrumentation for Java programs C Soueidi, M Monnier, Y Falcone International Journal on Software Tools for Technology Transfer 25 (4), 453-479, 2023 | 4 | 2023 |
| Residual runtime verification via reachability analysis C Soueidi, Y Falcone Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022 | 4 | 2022 |
| Capturing program models with BISM C Soueidi, Y Falcone Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1857-1861, 2022 | 4 | 2022 |
| Sound concurrent traces for online monitoring C Soueidi, Y Falcone International Symposium on Model Checking Software, 59-80, 2023 | 3 | 2023 |
| Sound Concurrent Traces for Online Monitoring Technical Report C Soueidi, Y Falcone arXiv preprint arXiv:2402.18391, 2024 | | 2024 |
| Monitoring Business Process Compliance Across Multiple Executions with Stream Processing C Soueidi, Y Falcone, S Hallé International Conference on Enterprise Design, Operations, and Computing …, 2023 | | 2023 |
| Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing C Soueidi, Y Falcone, S Hallé 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | | 2023 |
| Instrumentation for RV: From Basic Monitoring to Advanced Use Cases C Soueidi, Y Falcone International Conference on Runtime Verification, 403-427, 2023 | | 2023 |
| Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM C Soueidi, Y Falcone International Conference on Runtime Verification, 327-338, 2023 | | 2023 |
| Leveraging Runtime Verification for the Monitoring of Digital Twins S Hallé, C Soueidi, Y Falcone | | 2023 |
| Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins S Hallé, C Soueidi, Y Falcone, E Kamburjan, V Klungre, SL Tapia Tarifa, ... Research report http://urn. nb. no/URN: NBN: no-35645, 2023 | | 2023 |
| Behavioural modeling and abstraction of concurrent programs. CA Soueidi | | 2019 |
Yliès FalconeUniv. Grenoble Alpes and InriaVerified email at univ-grenoble-alpes.fr
