Trace-length independent runtime monitoring of quantitative policies in LTL

DOI10.1007/978-3-319-19249-9_15MaRDI QIDQ5206953zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Almost event-rate independent monitoring
• Runtime monitoring of metric first-order temporal properties
• Monitoring metric first-order temporal properties
• Monitoring parametric temporal logic
• Comparing LTL semantics for runtime verification

Cites work

• scientific article; zbMATH DE number 2080059 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• A First-Order Policy Language for History-Based Transaction Monitoring
• Collecting statistics over runtime executions
• Constraint LTL satisfiability checking without automata
• Counting CTL
• Rule systems for run-time monitoring: from EAGLE to RULER
• Verification, Model Checking, and Abstract Interpretation

Cited in

(6)

• Matching Trace Patterns with Regular Policies
• Almost event-rate independent monitoring of metric temporal logic
• Extended Nested Dual System Groups, Revisited
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• Almost event-rate independent monitoring
• Assumption-based runtime verification

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)