Monitoring of temporal first-order properties with aggregations

DOI10.1007/s10703-015-0222-7zbMath1323.68362OpenAlexW1988961870MaRDI QIDQ888414

Eugen Zălinescu, Srdjan Marinovic, Felix Klaedtke, David A. Basin

Publication date: 30 October 2015

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

Full work available at URL: http://doc.rero.ch/record/331126/files/10703_2015_Article_222.pdf

zbMATH Keywords

temporal logicmonitoringruntime verificationaggregation operatorssystem compliance

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Foundations of fine-grained explainability ⋮ Monitoring of temporal first-order properties with aggregations ⋮ From LTL to rLTL monitoring: improved monitorability through robust semantics ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ A formally verified, optimized monitor for metric first-order dynamic logic

Uses Software

• PostgreSQL
• SOLOIST
• MonPoly
• LOLA

Cites Work

• Unnamed Item
• Unnamed Item
• Collecting statistics over runtime executions
• Monitoring of temporal first-order properties with aggregations
• Partial logics reconsidered: A conservative approach
• Algorithms for monitoring real-time properties
• A First-Order Policy Language for History-Based Transaction Monitoring
• Querying ATSQL databases with temporal logic
• Logics with aggregate operators
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Monitoring of temporal first-order properties with aggregations