Scalable offline monitoring of temporal specifications
type: Item
instance of: scholarly article
title: Scalable offline monitoring of temporal specifications
zbMATH Open document ID: 1380.68268
author: Germano Caronni
author: Sarah Ereth
author: Matúš Harvan
author: Felix Klaedtke
author: Heiko Mantel
author: David Basin
published in: Formal Methods in System Design
publication date: 2018-02-12T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 6837201
zbMATH Keywords: verification
zbMATH Keywords: monitoring
zbMATH Keywords: temporal logic
zbMATH Keywords: MapReduce
describes a project that uses: MonPoly
describes a project that uses: MurmurHash
describes a project that uses: MapReduce
MaRDI profile type: Publication
full work available at URL: s10703-016-0242-y
OpenAlex ID: W2296683979
cites work: Q5322945
cites work: Verification, Model Checking, and Abstract Interpretation
cites work: Monitoring metric first-order temporal properties
cites work: A First-Order Policy Language for History-Based Transaction Monitoring
cites work: A mathematical introduction to logic.
cites work: Semantics and algorithms for parametric monitoring
cites work: Techniques and applications of computation slicing
DOI: 10.1007/S10703-016-0242-Y
Recommended article: Monitoring timed properties (revisited)
Recommended article: Q3165946
Recommended article: Monitoring Parametric Temporal Logic
Recommended article: Monitoring temporal logic with clock variables
Recommended article: Algebraic quantitative semantics for efficient online temporal monitoring
description: scientific article; zbMATH DE number 6837201