Almost event-rate independent monitoring
type: Item
instance of: scholarly article
title: Almost event-rate independent monitoring
zbMATH Open document ID: 1425.68249
author: Bhargav Nagaraja Bhatt
author: Srđan Krstić
author: Dmitriy Traytel
author: David Basin
published in: Formal Methods in System Design
publication date: 2019-11-25T00:00:00Z
full work available at URL: http://hdl.handle.net/20.500.11850/380024
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 7135843
zbMATH Keywords: runtime verification
zbMATH Keywords: monitoring
zbMATH Keywords: temporal logic
zbMATH Keywords: regular expressions
describes a project that uses: GNU parallel
describes a project that uses: aerial
describes a project that uses: DejaVu
describes a project that uses: MonPoly
describes a project that uses: LOLA
describes a project that uses: Montre
MaRDI profile type: Publication
OpenAlex ID: W2913504600
cites work: Partial derivatives of regular expressions and finite automaton constructions
cites work: Timed regular expressions
cites work: Almost Event-Rate Independent Monitoring of Metric Temporal Logic
cites work: Algorithms for monitoring real-time properties
cites work: Q3165946
cites work: Monitoring metric first-order temporal properties
cites work: On the expressiveness of TPTL and MTL
cites work: Derivatives of Regular Expressions
cites work: On regular temporal logics with past
cites work: Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
cites work: Parametric linear dynamic logic
cites work: Propositional dynamic logic of regular programs
cites work: Q4472252
cites work: Dynamic linear time temporal logic
cites work: Mathematical Foundations of Computer Science 2005
cites work: Regular Linear Temporal Logic
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Symbolic algorithms for language equivalence and Kleene algebra with tests
cites work: Regular Linear Temporal Logic with Past
cites work: Timed Pattern Matching
cites work: Online timed pattern matching using derivatives
cites work: From Church and Prior to PSL
cites work: Temporal logic can be more expressive
Wikidata QID: Q128443469
DOI: 10.1007/S10703-018-00328-3
Recommended article: Some Recent Results on Monitoring the Rate of a Rare Event
Recommended article: Almost Event-Rate Independent Monitoring of Metric Temporal Logic
Recommended article: Q5874206
Recommended article: Estimation and efficiency with recurrent event data under informative monitoring
Recommended article: On probabilistic monitorability
Recommended article: Distribution-free monitoring of univariate processes
Recommended article: Bayesian Monitoring of Event Rates with Censored Data
Recommended article: Parameter estimation for correlated recurrent events under informative monitoring
description: scientific article; zbMATH DE number 7135843