On first-order runtime enforcement of branching-time properties

DOI10.1007/s00236-023-00441-9OpenAlexW4385901057MaRDI QIDQ6090988

Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir, Luca Aceto

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Self-adaptation and secure information flow in multiparty communications
• Runtime enforcement of timed properties revisited
• Maximally permissive controlled system synthesis for non-determinism and modal logic
• Monitoring networks through multiparty session types
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Combining test case generation and runtime verification
• Results on the propositional \(\mu\)-calculus
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• A calculus of mobile processes. I
• A framework for parameterized monitorability
• Shield synthesis
• Computer says no: verdict explainability for runtime monitors using a local proof system
• A theory of monitors
• On bidirectional runtime enforcement
• Determinizing monitors for HML with recursion
• Monitorability for the Hennessy-Milner logic with recursion
• A Theory of Monitors
• Monitors and blame assignment for higher-order session types
• Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
• Introduction to Bisimulation and Coinduction
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• Algebraic laws for nondeterminism and concurrency
• Consistently-detecting monitors
• Monitoring for Silent Actions
• Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
• Reactive Systems
• Streaming transducers for algorithmic verification of single-pass list-processing programs
• Computer Aided Verification
• A complete axiomatisation for trace congruence of finite state behaviors
• Testing equivalence vs. runtime monitoring

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