A formally verified, optimized monitor for metric first-order dynamic logic
type: Item
instance of: scholarly article
title: A formally verified, optimized monitor for metric first-order dynamic logic
DOI: 10.1007/978-3-030-51074-9_25
author: Thibault Dardinier
author: Lukas Heimes
author: Srđan Krstić
author: Martin Raszyk
author: Joshua Schneider
author: Dmitriy Traytel
author: David Basin
publication date: 2022-11-09T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7614527
describes a project that uses: Archive Formal Proofs
describes a project that uses: MonPoly
describes a project that uses: ModelPlex
describes a project that uses: aerial
MaRDI profile type: Publication
full work available at URL: 978-3-030-51074-9 25
OpenAlex ID: W3039218154
cites work: Regular Programming for Quantitative Properties of Data Streams
cites work: Partial derivatives of regular expressions and finite automaton constructions
cites work: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
cites work: Monitoring of temporal first-order properties with aggregations
cites work: Monitoring metric first-order temporal properties
cites work: Greedily computing associative aggregations on sliding windows
cites work: Almost event-rate independent monitoring
cites work: The ins and outs of first-order runtime verification
cites work: Communication Steps for Parallel Query Processing
cites work: A Coq formalisation of SQL's execution engines
cites work: Derivatives of Regular Expressions
cites work: Efficient Runtime Verification of First-Order Temporal Properties
cites work: Q4472252
cites work: Q5875431
cites work: Refinement to imperative HOL
cites work: Light-Weight Containers for Isabelle: Efficient, Extensible, Nestable
cites work: Toward a verified relational database management system
cites work: ModelPlex: verified runtime validation of verified cyber-physical system models
cites work: Worst-case Optimal Join Algorithms
cites work: Multi-head Monitoring of Metric Temporal Logic
description: scientific article; zbMATH DE number 7614527