On first-order runtime enforcement of branching-time properties
From MaRDI portal
Publication:6090988
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
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