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

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

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)

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

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)