Chukri Soueidi

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