Trace-length independent runtime monitoring of quantitative policies in LTL
From MaRDI portal
Publication:5206953
DOI10.1007/978-3-319-19249-9_15zbMATH Open1427.68167OpenAlexW2189638487MaRDI QIDQ5206953FDOQ5206953
Authors: Xiaoning du, Yang Liu, Alwen Tiu
Publication date: 19 December 2019
Published in: FM 2015: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19249-9_15
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Constraint LTL satisfiability checking without automata
- A First-Order Policy Language for History-Based Transaction Monitoring
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Collecting statistics over runtime executions
- Title not available (Why is that?)
- Rule systems for run-time monitoring: from EAGLE to RULER
- Counting CTL
Cited In (6)
- Matching Trace Patterns with Regular Policies
- Almost event-rate independent monitoring
- Assumption-based runtime verification
- Almost Event-Rate Independent Monitoring of Metric Temporal Logic
- From LTL to rLTL monitoring: improved monitorability through robust semantics
- Extended Nested Dual System Groups, Revisited
This page was built for publication: Trace-length independent runtime monitoring of quantitative policies in LTL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5206953)