Algebraic quantitative semantics for efficient online temporal monitoring

DOI10.1007/978-3-030-72016-2_18zbMath1467.68088OpenAlexW3137814233MaRDI QIDQ2044210

Agnishom Chattopadhyay, Konstantinos Mamouras, Zhifu Wang

Publication date: 4 August 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-72016-2_18

zbMATH Keywords

verificationonline monitoringquantitative semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• The Esterel synchronous programming language: Design, semantics, implementation
• Quantitative monitoring of STL with edit distance
• Time robustness in MTL and expressivity in hybrid system falsification
• Streamable regular transductions
• Robust online monitoring of signal temporal logic
• From MITL to Timed Automata
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• Automata-Based Stream Processing
• From Real-time Logic to Timed Automata
• Quantitative Regular Expressions for Arrhythmia Detection Algorithms
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Algebraic quantitative semantics for efficient online temporal monitoring