Adaptive online first-order monitoring

DOI10.1007/978-3-030-31784-3_8MaRDI QIDQ3297590zbMATH OpenOpenAlexFDO

Authors Joshua Schneider, Frederik Brix, Srđan Krstić, Dmitriy Traytel, David 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)

Recommendations

• Monitoring of temporal first-order properties with aggregations
• Runtime monitoring of metric first-order temporal properties
• Scalable offline monitoring of temporal specifications
• Almost event-rate independent monitoring
• Parallel online learning of event definitions

Cites work

• Communication steps for parallel query processing
• Greedily computing associative aggregations on sliding windows
• Monitoring metric first-order temporal properties
• Scalable offline monitoring of temporal specifications
• Semantics and algorithms for parametric monitoring
• Synopses for massive data: samples, histograms, wavelets, sketches

Cited in

(4)

• Parallel online learning of event definitions
• Online monitoring with local smoothing methods and adaptive ridging
• Adaptivity in continuous massively parallel distance-based outlier detection
• Monitoring of temporal first-order properties with aggregations

Describes a project that uses

Uses Software

• MonPoly
• Naiad

This page was built for publication: Adaptive online first-order monitoring

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