On first-order runtime enforcement of branching-time properties

DOI10.1007/S00236-023-00441-9MaRDI QIDQ6090988zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir

Publication date 21 November 2023

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-023-00441-9

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• On runtime enforcement via suppressions
• On bidirectional runtime enforcement
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Compositional runtime enforcement revisited

Cites work

• A calculus of mobile processes. I
• A complete axiomatisation for trace congruence of finite state behaviors
• A framework for parameterized monitorability
• A theory of monitors
• A theory of monitors (extended abstract)
• Algebraic laws for nondeterminism and concurrency
• Combining test case generation and runtime verification
• Computer Aided Verification
• Computer says no: verdict explainability for runtime monitors using a local proof system
• Consistently-detecting monitors
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Determinizing monitors for HML with recursion
• Elements of automata theory. Translated from the French by Reuben Thomas
• scientific article; zbMATH DE number 3660804 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1330129 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Monitorability for the Hennessy-Milner logic with recursion
• Monitoring for silent actions
• Monitoring networks through multiparty session types
• Monitors and blame assignment for higher-order session types
• On bidirectional runtime enforcement
• On runtime enforcement via suppressions
• Partial model checking using networks of labelled transition systems and Boolean equation systems
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Reactive Systems
• Results on the propositional \(\mu\)-calculus
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime enforcement of timed properties revisited
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Self-adaptation and secure information flow in multiparty communications
• Shield synthesis
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• Testing equivalence vs. runtime monitoring

Cited in

(4)

• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• Real-time policy enforcement with metric first-order temporal logic
• Centralized vs decentralized monitors for hyperproperties
• Centralized vs. decentralized monitors for hyperproperties

This page was built for publication: On first-order runtime enforcement of branching-time properties

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