Almost event-rate independent monitoring
From MaRDI portal
Publication:2008287
DOI10.1007/S10703-018-00328-3zbMATH Open1425.68249OpenAlexW2913504600WikidataQ128443469 ScholiaQ128443469MaRDI QIDQ2008287FDOQ2008287
Authors: Bhargav Nagaraja Bhatt, Srđan Krstić, Dmitriy Traytel, David Basin 
Publication date: 25 November 2019
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/20.500.11850/380024
Recommendations
- Some Recent Results on Monitoring the Rate of a Rare Event
- Almost event-rate independent monitoring of metric temporal logic
- scientific article; zbMATH DE number 7650833
- Estimation and efficiency with recurrent event data under informative monitoring
- On probabilistic monitorability
- Distribution-free monitoring of univariate processes
- Bayesian Monitoring of Event Rates with Censored Data
- Parameter estimation for correlated recurrent events under informative monitoring
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Cites Work
- Derivatives of Regular Expressions
- Partial derivatives of regular expressions and finite automaton constructions
- Propositional dynamic logic of regular programs
- On the expressiveness of TPTL and MTL
- Temporal logic can be more expressive
- Title not available (Why is that?)
- Regular Linear Temporal Logic
- Timed regular expressions
- Mathematical Foundations of Computer Science 2005
- From Church and Prior to PSL
- Formal Modeling and Analysis of Timed Systems
- Algorithms for monitoring real-time properties
- Parametric linear dynamic logic
- Monitoring metric first-order temporal properties
- Runtime monitoring of metric first-order temporal properties
- Dynamic linear time temporal logic
- Regular linear temporal logic with past
- On regular temporal logics with past
- Online timed pattern matching using derivatives
- Timed pattern matching
- Symbolic algorithms for language equivalence and Kleene algebra with tests
- Almost event-rate independent monitoring of metric temporal logic
- Trace-length independent runtime monitoring of quantitative policies in LTL
Cited In (11)
- A combined control scheme for monitoring the frequency and size of an attribute event
- Trace-length independent runtime monitoring of quantitative policies in LTL
- Almost event-rate independent monitoring of metric temporal logic
- Some Recent Results on Monitoring the Rate of a Rare Event
- From Nondeterministic to Multi-Head Deterministic Finite-State Transducers
- Title not available (Why is that?)
- Multi-head Monitoring of Metric Dynamic Logic
- A formally verified, optimized monitor for metric first-order dynamic logic
- Explainable online monitoring of metric temporal logic
- Multi-head monitoring of metric temporal logic
- Adaptive online first-order monitoring
Uses Software
This page was built for publication: Almost event-rate independent monitoring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2008287)
