Runtime enforcement with event reordering

DOI10.1007/978-3-031-77019-7_22MaRDI QIDQ6979808zbMATH OpenFDO

Authors Ankit Pradhan, C. G. Mitun Akil, Srinivas Pinisetty

Publication date 23 May 2025

Full work available at URL https://doi.org/10.1007/978-3-031-77019-7_22

zbMATH Keywords

radix treereorderingruntime enforcementsmart switch

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Bounded-memory runtime enforcement with probabilistic and performance analysis
• Compositional runtime enforcement revisited
• Predictive runtime enforcement
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime enforcement of timed properties revisited
• Runtime enforcement with reordering, healing, and suppression
• Runtime verification of temporal properties over out-of-order data streams
• Runtime Verification over Out-of-order Streams
• Shield synthesis: runtime enforcement for reactive systems

This page was built for publication: Runtime enforcement with event reordering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6979808)