Monitoring for silent actions
DOI10.4230/LIPICS.FSTTCS.2017.7zbMATH Open1491.68104OpenAlexW2787966173MaRDI QIDQ5136296FDOQ5136296
Luca Aceto, Anna Ingolfsdottir, Antonis Achilleos, Adrian Francalanza
Publication date: 25 November 2020
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2018/8402/pdf/LIPIcs-FSTTCS-2017-7.pdf/
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- A brief account of runtime verification
- Reactive Systems
- Results on the propositional \(\mu\)-calculus
- Monitoring networks through multiparty session types
- Title not available (Why is that?)
- Failure-aware Runtime Verification of Distributed Systems
- An efficiency preorder for processes
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Synthesising correct concurrent runtime monitors
- On the complexity of determinizing monitors
- A Theory of Monitors
- Monitorability for the Hennessy-Milner logic with recursion
- Consistently-detecting monitors
Cited In (8)
- Uncertainty in runtime verification: a survey
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
- A theory of monitors
- On first-order runtime enforcement of branching-time properties
- Title not available (Why is that?)
- An Operational Guide to Monitorability
- On probabilistic monitorability
This page was built for publication: Monitoring for silent actions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5136296)
