A theory of monitors
From MaRDI portal
Publication:2051767
Recommendations
Cites work
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC
- A brief account of runtime verification
- A Distributed Pi-Calculus
- A formally verified, optimized monitor for metric first-order dynamic logic
- A framework for parameterized monitorability
- A theory for observational fault tolerance
- A theory of monitors (extended abstract)
- A theory of register monitors
- An LTL proof system for runtime verification
- Computer Aided Verification
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Consistently-detecting monitors
- Decentralized asynchronous crash-resilient runtime verification
- Determinizing monitors for HML with recursion
- Distributed systems for system architects
- Efficient parallel path checking for linear-time temporal logic with past and bounds
- Erlang programming.
- scientific article; zbMATH DE number 1728246 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- Java-MaC: A run-time assurance approach for Java programs
- Models, Languages, and Tools for Concurrent and Distributed Programming
- 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
- Mutually testing processes
- On runtime enforcement via suppressions
- On the complexity of determinizing monitors
- Predictive runtime enforcement
- Quantified event automata: towards expressive and efficient runtime monitors
- Quantitative monitor automata
- Reactive Systems
- Reasoning about infinite computations
- Runtime verification based on register automata
- Runtime verification with minimal intrusion through parallelism
- Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
- Scalable offline monitoring of temporal specifications
- Session-typed concurrent contracts
- Synthesising correct concurrent runtime monitors
- Testing equivalences for processes
- The -calculus: A theory of mobile processes
Cited in
(19)- Processes against tests: on defining contextual equivalences
- On bidirectional runtime enforcement
- Axiomatizing recursion-free, regular monitors
- Selective monitoring
- A process calculus approach to detection and mitigation of PLC malware
- A theory of monitors (extended abstract)
- A versatile supervisor with one monitor based on macro-tokens
- Selective monitoring
- Consistently-detecting monitors
- Monitoring for silent actions
- A theory of register monitors
- Theorising monitoring: algebraic models of web monitoring in organisations
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
- Verification, Model Checking, and Abstract Interpretation
- On first-order runtime enforcement of branching-time properties
- On probabilistic monitorability
- Centralized vs decentralized monitors for hyperproperties
- Centralized vs. decentralized monitors for hyperproperties
- Synthesising correct concurrent runtime monitors
This page was built for publication: A theory of monitors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2051767)
