Recommendations
Cites work
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 48630 (Why is no real title available?)
- A Distributed Pi-Calculus
- A brief account of runtime verification
- A theory for observational fault tolerance
- A theory of contracts for web services
- Comparing LTL semantics for runtime verification
- Distributed system contract monitoring
- Java-MaC: A run-time assurance approach for Java programs
- Mutually testing processes
- Quantified event automata: towards expressive and efficient runtime monitors
- Synthesising correct concurrent runtime monitors
- Testing equivalences for processes
- The -calculus: A theory of mobile processes
Cited in
(19)- An Operational Guide to Monitorability
- On probabilistic monitorability
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Semantics and verification of monitors and systems of monitors and processes
- Monitoring for silent actions
- On runtime enforcement via suppressions
- Monitorability for the Hennessy-Milner logic with recursion
- Theorising monitoring: algebraic models of web monitoring in organisations
- The not-so-secret-agent: professional monitors, hierarchies and implementation.
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- The best a monitor can do
- Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops
- A theory of register monitors
- A theory of monitors
- On first-order runtime enforcement of branching-time properties
- Consistently-detecting monitors
- On the complexity of determinizing monitors
- Lang-n-Send Extended: Sending Regular Expressions to Monitors
- A versatile supervisor with one monitor based on macro-tokens
This page was built for publication: A theory of monitors (extended abstract)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811337)
