BISM: Bytecode-Level Instrumentation for Software Monitoring. - Chukri Soueidi; Ali Kassem 004; Yliès Falcone (RV, 2020)

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. - Chukri Soueidi; Marius Monnier; Ali Kassem 004; Yliès Falcone (CoRR, 2021)

Capturing program models with BISM. - Chukri Soueidi; Yliès Falcone (SAC, 2022)

Residual Runtime Verification via Reachability Analysis. - Chukri Soueidi; Yliès Falcone (VSTTE, 2022)

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. - Chukri Soueidi; Yliès Falcone; Sylvain Hallé (EDOC Workshops, 2023)

Opportunistic Monitoring of Multithreaded Programs. - Chukri Soueidi; Antoine El-Hokayem; Yliès Falcone (FASE, 2023)

Leveraging Runtime Verification for the Monitoring of Digital Twins. - Sylvain Hallé; Chukri Soueidi; Yliès Falcone (FMDT@FM, 2023)

Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. - Chukri Soueidi; Yliès Falcone; Sylvain Hallé (ISSRE, 2023)

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. - Chukri Soueidi; Yliès Falcone (RV, 2023)

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. - Chukri Soueidi; Yliès Falcone (RV, 2023)

Sound Concurrent Traces for Online Monitoring. - Chukri Soueidi; Yliès Falcone (SPIN, 2023)

Efficient and expressive bytecode-level instrumentation for Java programs. - Chukri Soueidi; Marius Monnier; Yliès Falcone (Int. J. Softw. Tools Technol. Transf., 2023)

Sound Concurrent Traces for Online Monitoring Technical Report. - Chukri Soueidi; Yliès Falcone (CoRR, 2024)

Engineering Instrumentation for Runtime Verification and Monitoring. (Ingénierie de l'instrumentation pour la vérification de l'exécution). - Chukri Soueidi (2024)