Consistently-detecting monitors

DOI10.4230/LIPICS.CONCUR.2017.8MaRDI QIDQ5111620zbMATH OpenOpenAlexFDO

Authors Adrian Francalanza

Publication date 27 May 2020

Full work available at URL https://doi.org/10.4230/LIPIcs.CONCUR.2017.8

zbMATH Keywords

compositional reasoningcontrollabilitydeterministic behaviourruntime monitoringsymbolic analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A theory of monitors
• A theory of monitors (extended abstract)
• On the complexity of determinizing monitors
• A theory of register monitors
• Determinizing monitors for HML with recursion

Cites work

• A theory of communicating processes with value passing
• A theory of monitors (extended abstract)
• Comparing LTL semantics for runtime verification
• Computer Aided Verification
• Confluence for process verification
• Contract-based discovery of Web services modulo simple orchestrators
• Decentralized asynchronous crash-resilient runtime verification
• Enforcing non-safety security policies with program monitors
• General Algorithms for Testing the Ambiguity of Finite Automata
• scientific article; zbMATH DE number 5595162 (Why is no real title available?)
• scientific article; zbMATH DE number 3978429 (Why is no real title available?)
• scientific article; zbMATH DE number 1086679 (Why is no real title available?)
• Introduction to bisimulation and coinduction
• Minimizing the number of opinions for fault-tolerant distributed decision using well-quasi orderings
• Monitorability for the Hennessy-Milner logic with recursion
• Monitoring networks through multiparty session types
• Monitors and blame assignment for higher-order session types
• On freeze LTL with ordered attributes
• On the complexity of determinizing monitors
• Quantified event automata: towards expressive and efficient runtime monitors
• Reactive Systems
• Reasoning about infinite computations
• Results on the propositional \(\mu\)-calculus
• Runtime verification with minimal intrusion through parallelism
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Stochastic Controllability of Systems with Multiple Delays in Control
• Symbolic bisimulations
• Synthesising correct concurrent runtime monitors
• Testing equivalence as a bisimulation equivalence
• The algorithmics of bisimilarity

Cited in

(15)

• Computer says no: verdict explainability for runtime monitors using a local proof system
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A theory of monitors
• On bidirectional runtime enforcement
• Determinizing monitors for HML with recursion
• A theory of monitors (extended abstract)
• On runtime enforcement via suppressions
• Monitoring for silent actions
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• On first-order runtime enforcement of branching-time properties
• On probabilistic monitorability
• An Operational Guide to Monitorability
• The best a monitor can do
• Centralized vs decentralized monitors for hyperproperties
• Centralized vs. decentralized monitors for hyperproperties

Describes a project that uses

Uses Software

• Java-MOP

This page was built for publication: Consistently-detecting monitors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111620)