Trace-length independent runtime monitoring of quantitative policies in LTL

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

• 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

Mathematics Subject Classification ID

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)