Chukri Soueidi

According to our database, Chukri Soueidi authored at least 13 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Sound Concurrent Traces for Online Monitoring Technical Report.

Chukri Soueidi, Yliès Falcone

CoRR, 2024

2023

Efficient and expressive bytecode-level instrumentation for Java programs.

Chukri Soueidi, Marius Monnier, Yliès Falcone

Int. J. Softw. Tools Technol. Transf., August, 2023

Sound Concurrent Traces for Online Monitoring.

Chukri Soueidi, Yliès Falcone

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases.

Chukri Soueidi, Yliès Falcone

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM.

Chukri Soueidi, Yliès Falcone

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing.

Chukri Soueidi, Yliès Falcone, Sylvain Hallé

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Leveraging Runtime Verification for the Monitoring of Digital Twins.

Sylvain Hallé, Chukri Soueidi, Yliès Falcone

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

Opportunistic Monitoring of Multithreaded Programs.

Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing.

Chukri Soueidi, Yliès Falcone, Sylvain Hallé

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

2022

Residual Runtime Verification via Reachability Analysis.

Chukri Soueidi, Yliès Falcone

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Capturing program models with BISM.

Chukri Soueidi, Yliès Falcone

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs.

Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone

CoRR, 2021

2020

BISM: Bytecode-Level Instrumentation for Software Monitoring.

Chukri Soueidi, Ali Kassem, Yliès Falcone

Proceedings of the Runtime Verification - 20th International Conference, 2020