Monitoring of temporal first-order properties with aggregations
type: Item
instance of: scholarly article
title: Monitoring of temporal first-order properties with aggregations
zbMATH Open document ID: 1323.68362
author: Felix Klaedtke
author: Srdjan Marinovic
author: Eugen Zălinescu
author: David Basin
published in: Formal Methods in System Design
publication date: 2015-10-30T00:00:00Z
full work available at URL: 10703 2015 Article 222.pdf
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6502571
zbMATH Keywords: runtime verification
zbMATH Keywords: monitoring
zbMATH Keywords: system compliance
zbMATH Keywords: temporal logic
zbMATH Keywords: aggregation operators
describes a project that uses: PostgreSQL
describes a project that uses: MonPoly
describes a project that uses: SOLOIST
describes a project that uses: LOLA
MaRDI profile type: Publication
OpenAlex ID: W1988961870
cites work: Q4864249
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Partial logics reconsidered: A conservative approach
cites work: Q3165946
cites work: Algorithms for monitoring real-time properties
cites work: A First-Order Policy Language for History-Based Transaction Monitoring
cites work: Querying ATSQL databases with temporal logic
cites work: Collecting statistics over runtime executions
cites work: Logics with aggregate operators
DOI: 10.1007/S10703-015-0222-7
description: scientific article; zbMATH DE number 6502571