BISM: bytecode-level instrumentation for software monitoring C Soueidi, A Kassem, Y Falcone Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 13 | 2020 |
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 | 6 | 2023 |
Opportunistic Monitoring of Multithreaded Programs. C Soueidi, A El-Hokayem, Y Falcone FASE, 173-194, 2023 | 5 | 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 |
Leveraging Runtime Verification for the Monitoring of Digital Twins. S Hallé, C Soueidi, Y Falcone FMDT@ FM, 2023 | 3 | 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 | 1 | 2023 |
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases C Soueidi, Y Falcone International Conference on Runtime Verification, 403-427, 2023 | 1 | 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 | 1 | 2023 |
Ingénierie de l'instrumentation pour la vérification de l'exécution C Soueidi Université Grenoble Alpes, 2024 | | 2024 |
Engineering Instrumentation for Runtime Verification and Monitoring C Soueidi Université Grenoble Alpes [2020-....], 2024 | | 2024 |
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 |
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 |