( en | de | ru )

 

Disambiguation of "Soueidi, Chukri"

Author of the publication

copydeleteadd this publication to your clipboard
BISM: Bytecode-Level Instrumentation for Software Monitoring.

, , and . RV, volume 12399 of Lecture Notes in Computer Science, page 323-335. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hassan Chükri

Mehmed Chükri

 

Other publications of authors with the same name

Leveraging Runtime Verification for the Monitoring of Digital Twins., , and . FMDT@FM, volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Capturing program models with BISM., and . SAC, page 1857-1861. ACM, (2022)Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM., and . RV, volume 14245 of Lecture Notes in Computer Science, page 327-338. Springer, (2023)Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing., , and . ISSRE, page 742-751. IEEE, (2023)Monitoring Business Process Compliance Across Multiple Executions with Stream Processing., , and . EDOC Workshops, volume 498 of Lecture Notes in Business Information Processing, page 247-264. Springer, (2023)Efficient and Expressive Bytecode-Level Instrumentation for Java Programs., , , and . CoRR, (2021)Instrumentation for RV: From Basic Monitoring to Advanced Use Cases., and . RV, volume 14245 of Lecture Notes in Computer Science, page 403-427. Springer, (2023)Residual Runtime Verification via Reachability Analysis., and . VSTTE, volume 13800 of Lecture Notes in Computer Science, page 148-166. Springer, (2022)Sound Concurrent Traces for Online Monitoring., and . SPIN, volume 13872 of Lecture Notes in Computer Science, page 59-80. Springer, (2023)Opportunistic Monitoring of Multithreaded Programs., , and . FASE, volume 13991 of Lecture Notes in Computer Science, page 173-194. Springer, (2023)