Seguir
Chukri Soueidi
Chukri Soueidi
Université Grenoble Alpes
Dirección de correo verificada de univ-grenoble-alpes.fr
Título
Citado por
Citado por
Año
BISM: bytecode-level instrumentation for software monitoring
C Soueidi, A Kassem, Y Falcone
Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020
112020
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
42023
Opportunistic Monitoring of Multithreaded Programs.
C Soueidi, A El-Hokayem, Y Falcone
FASE, 173-194, 2023
42023
Residual runtime verification via reachability analysis
C Soueidi, Y Falcone
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022
42022
Capturing program models with BISM
C Soueidi, Y Falcone
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1857-1861, 2022
42022
Sound concurrent traces for online monitoring
C Soueidi, Y Falcone
International Symposium on Model Checking Software, 59-80, 2023
32023
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
FMDT@ FM, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–14