A theory of monitors
From MaRDI portal
Publication:2051767
DOI10.1016/j.ic.2021.104704zbMath1475.68206OpenAlexW3127398300MaRDI QIDQ2051767
Publication date: 25 November 2021
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2021.104704
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ ElixirST: a session-based type system for elixir modules ⋮ On first-order runtime enforcement of branching-time properties ⋮ On probabilistic monitorability ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ Processes against tests: on defining contextual equivalences ⋮ On bidirectional runtime enforcement
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Monitoring networks through multiparty session types
- Scalable offline monitoring of temporal specifications
- Synthesising correct concurrent runtime monitors
- Runtime verification with minimal intrusion through parallelism
- Reasoning about infinite computations
- Testing equivalences for processes
- A framework for parameterized monitorability
- Quantitative monitor automata
- Java-MaC: A run-time assurance approach for Java programs
- Computer says no: verdict explainability for runtime monitors using a local proof system
- A formally verified, optimized monitor for metric first-order dynamic logic
- Determinizing monitors for HML with recursion
- A brief account of runtime verification
- On the complexity of determinizing monitors
- Monitorability for the Hennessy-Milner logic with recursion
- Predictive runtime enforcement
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC
- A theory for observational fault tolerance
- A Theory of Monitors
- Monitors and blame assignment for higher-order session types
- A Distributed Pi-Calculus
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Consistently-detecting monitors
- Monitoring for Silent Actions
- A Theory of Register Monitors
- An LTL Proof System for Runtime Verification
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
- Models, Languages, and Tools for Concurrent and Distributed Programming
- Mutually Testing Processes
- Reactive Systems
- Runtime Verification Based on Register Automata
- Computer Aided Verification
- Session-typed concurrent contracts
