Almost event-rate independent monitoring
From MaRDI portal
Publication:2008287
DOI10.1007/s10703-018-00328-3zbMath1425.68249OpenAlexW2913504600WikidataQ128443469 ScholiaQ128443469MaRDI QIDQ2008287
Srđan Krstić, Bhargav Nagaraja Bhatt, Dmitriy Traytel, David A. 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
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (4)
Unnamed Item ⋮ Multi-head Monitoring of Metric Temporal Logic ⋮ From Nondeterministic to Multi-Head Deterministic Finite-State Transducers ⋮ A formally verified, optimized monitor for metric first-order dynamic logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Parametric linear dynamic logic
- Partial derivatives of regular expressions and finite automaton constructions
- On regular temporal logics with past
- Propositional dynamic logic of regular programs
- Dynamic linear time temporal logic
- Algorithms for monitoring real-time properties
- On the expressiveness of TPTL and MTL
- Online timed pattern matching using derivatives
- Monitoring Metric First-Order Temporal Properties
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
- Timed regular expressions
- Almost Event-Rate Independent Monitoring of Metric Temporal Logic
- Temporal logic can be more expressive
- From Church and Prior to PSL
- Regular Linear Temporal Logic
- Regular Linear Temporal Logic with Past
- Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
- Mathematical Foundations of Computer Science 2005
- Timed Pattern Matching
- Derivatives of Regular Expressions
- Formal Modeling and Analysis of Timed Systems
This page was built for publication: Almost event-rate independent monitoring
