Adaptive Online First-Order Monitoring

DOI10.1007/978-3-030-31784-3_8zbMath1437.68120OpenAlexW2981557805MaRDI QIDQ3297590

Srđan Krstić, Frederik Brix, Dmitriy Traytel, Joshua Schneider, David A. Basin

Publication date: 20 July 2020

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-31784-3_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Online algorithms; streaming algorithms (68W27)

Uses Software

• Naiad
• MonPoly

Cites Work

• Greedily computing associative aggregations on sliding windows
• Scalable offline monitoring of temporal specifications
• Monitoring Metric First-Order Temporal Properties
• Semantics and Algorithms for Parametric Monitoring
• Synopses for Massive Data: Samples, Histograms, Wavelets, Sketches
• Communication Steps for Parallel Query Processing

This page was built for publication: Adaptive Online First-Order Monitoring