A compositional framework for algebraic quantitative online monitoring over continuous-time signals
- 1 August 2023
- journal article
- research article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 25 (4) , 557-573
Abstract
No abstract availableKeywords
This publication has 43 references indexed in Scilit:
- Robustness of temporal logic specifications for continuous-time signalsTheoretical Computer Science, 2009
- Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation, 2009
- On the Merits of Temporal Testers2008
- On Synthesizing Controllers from Bounded-Response Properties2007
- No pane, no gainACM SIGMOD Record, 2005
- Real Time Temporal Logic: Past, Present, Future2005
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- Synchronous programming with events and relations: the SIGNAL language and its semanticsScience of Computer Programming, 1991