Compositional runtime enforcement revisited

DOI10.1007/s10703-022-00401-yzbMath1522.68342OpenAlexW4307572474MaRDI QIDQ6108437

Partha Roop, Ankit Pradhan, Stavros Tripakis, Srinivas Pinisetty

Publication date: 29 June 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-022-00401-y

zbMATH Keywords

compositionalityruntime monitoringruntime enforcementmonitor synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Runtime enforcement of timed properties revisited
• Monitoring networks through multiparty session types
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Synthesising correct concurrent runtime monitors
• Shield synthesis
• Predictive runtime enforcement
• Shield Synthesis:

This page was built for publication: Compositional runtime enforcement revisited