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

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

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

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

Cited in

(6)

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

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)