Scalable offline monitoring of temporal specifications

DOI10.1007/S10703-016-0242-YMaRDI QIDQ681469zbMATH OpenOpenAlexFDO

Authors Germano Caronni, Sarah Ereth, Matúš Harvan, Felix Klaedtke, Heiko Mantel, David Basin

Publication date 12 February 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-016-0242-y

zbMATH Keywords

MapReducemonitoringtemporal logicverification

Mathematics Subject Classification ID

Logic in computer science (03B70) Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Monitoring timed properties (revisited)
• Runtime monitoring of metric first-order temporal properties
• Monitoring parametric temporal logic
• Monitoring temporal logic with clock variables
• Algebraic quantitative semantics for efficient online temporal monitoring

Cites work

• A First-Order Policy Language for History-Based Transaction Monitoring
• A mathematical introduction to logic.
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Monitoring metric first-order temporal properties
• Scalable offline monitoring of temporal specifications
• Semantics and algorithms for parametric monitoring
• Techniques and applications of computation slicing
• Verification, Model Checking, and Abstract Interpretation

Cited in

(13)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A theory of monitors
• Formal analysis and offline monitoring of electronic exams
• Monitoring metric first-order temporal properties
• Adaptive online first-order monitoring
• Specifying timed patterns using temporal logic
• scientific article; zbMATH DE number 7056237 (Why is no real title available?)
• Symbolic monitoring against specifications parametric in time and data
• Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption
• Scalable offline monitoring of temporal specifications
• Monitoring of temporal first-order properties with aggregations
• Runtime verification with minimal intrusion through parallelism
• Theoretical foundations of handling large substitution sets in temporal integrity monitoring

Describes a project that uses

Uses Software

• MonPoly
• MurmurHash
• MapReduce

This page was built for publication: Scalable offline monitoring of temporal specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q681469)