Monitoring parametric temporal logic

DOI10.1007/978-3-642-54013-4_20MaRDI QIDQ2938076zbMATH OpenOpenAlexFDO

Authors Peter Faymonville, Bernd Finkbeiner, Doron Peled

Publication date 13 January 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54013-4_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1405643
• Parametric temporal logic for “model measuring”
• First-order temporal logic monitoring with BDDs
• Quantified event automata: towards expressive and efficient runtime monitors
• Runtime monitoring of metric first-order temporal properties

Cited in

(15)

• Trace-length independent runtime monitoring of quantitative policies in LTL
• Monitoring timed properties (revisited)
• Collecting statistics over runtime executions
• Symbolic monitoring against specifications parametric in time and data
• A framework for parameterized monitorability
• Compositional branching-time measurements
• Semantics and algorithms for parametric monitoring
• Parametric temporal logic for “model measuring”
• First-order temporal logic monitoring with BDDs
• Template languages for fault monitoring of timed discrete event processes
• scientific article; zbMATH DE number 1405643 (Why is no real title available?)
• Robust online monitoring of signal temporal logic
• Quantified event automata: towards expressive and efficient runtime monitors
• Scalable offline monitoring of temporal specifications
• Parametric runtime verification is NP-complete and coNP-complete

This page was built for publication: Monitoring parametric temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2938076)