Chukri Soueidi

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Incremental Algorithms

Complex Event Processing

Monitoring System

Top Venues

Publications

Chukri Soueidi, Yliès Falcone
Sound Concurrent Traces for Online Monitoring Technical Report. CoRR (2024)
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. EDOC Workshops (2023)
Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone
Opportunistic Monitoring of Multithreaded Programs. FASE (2023)
Chukri Soueidi, Yliès Falcone
Sound Concurrent Traces for Online Monitoring. SPIN (2023)
Chukri Soueidi, Yliès Falcone
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV (2023)
Chukri Soueidi, Yliès Falcone
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV (2023)
Chukri Soueidi, Yliès Falcone, Sylvain Hallé
Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. ISSRE (2023)
Chukri Soueidi, Marius Monnier, Yliès Falcone
Efficient and expressive bytecode-level instrumentation for Java programs. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Sylvain Hallé, Chukri Soueidi, Yliès Falcone
Leveraging Runtime Verification for the Monitoring of Digital Twins. FMDT@FM (2023)
Chukri Soueidi, Yliès Falcone
Residual Runtime Verification via Reachability Analysis. VSTTE (2022)
Chukri Soueidi, Yliès Falcone
Capturing program models with BISM. SAC (2022)
Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. CoRR (2021)
Chukri Soueidi, Ali Kassem, Yliès Falcone
BISM: Bytecode-Level Instrumentation for Software Monitoring. RV (2020)
Chukri Soueidi, Ali Kassem, Yliès Falcone
BISM: Bytecode-Level Instrumentation for Software Monitoring. CoRR (2020)