A theory of monitors (extended abstract)
DOI10.1007/978-3-662-49630-5_9zbMATH Open1476.68172OpenAlexW2464216566MaRDI QIDQ2811337FDOQ2811337
Authors: Adrian Francalanza
Publication date: 10 June 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-49630-5_9
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Java-MaC: A run-time assurance approach for Java programs
- Title not available (Why is that?)
- A Distributed Pi-Calculus
- Testing equivalences for processes
- A brief account of runtime verification
- The \(\pi\)-calculus: A theory of mobile processes
- A theory of contracts for web services
- Comparing LTL semantics for runtime verification
- Title not available (Why is that?)
- Quantified event automata: towards expressive and efficient runtime monitors
- Distributed system contract monitoring
- Synthesising correct concurrent runtime monitors
- A theory for observational fault tolerance
- Mutually testing processes
Cited In (18)
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Monitoring for silent actions
- On runtime enforcement via suppressions
- Semantics and verification of monitors and systems of monitors and processes
- Theorising monitoring: algebraic models of web monitoring in organisations
- Monitorability for the Hennessy-Milner logic with recursion
- The not-so-secret-agent: professional monitors, hierarchies and implementation.
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- 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
- An Operational Guide to Monitorability
- On probabilistic monitorability
Uses Software
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)