Author of the publication

Bounded-Memory Runtime Enforcement.

, , , and . SPIN, volume 13255 of Lecture Notes in Computer Science, page 114-133. Springer, (2022)

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.

 

Other publications of authors with the same name

Monitoring decentralized specifications., and . ISSTA, page 125-135. ACM, (2017)Decentralised LTL Monitoring., and . FM, volume 7436 of Lecture Notes in Computer Science, page 85-100. Springer, (2012)Runtime Enforcement with Reordering, Healing, and Suppression., and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 47-65. Springer, (2021)TiPEX: A Tool Chain for Timed Property Enforcement During eXecution., , , and . RV, volume 9333 of Lecture Notes in Computer Science, page 306-320. Springer, (2015)Probabilistic Analysis of Industrial IoT Applications., , and . IOT, page 41-48. ACM, (2022)Leveraging Runtime Verification for the Monitoring of Digital Twins., , and . FMDT@FM, volume 3507 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Enforcement and validation (at runtime) of various notions of opacity., and . Discrete Event Dynamic Systems, 25 (4): 531-570 (2015)Probabilistic Runtime Enforcement of Executable BPMN Processes., , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 56-76. Springer, (2024)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes., , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 77-93. Springer, (2023)THEMIS: a tool for decentralized monitoring algorithms., and . ISSTA, page 372-375. ACM, (2017)