Uncertainty in runtime verification: a survey

DOI10.1016/J.COSREV.2023.100594MaRDI QIDQ6580686zbMATH OpenFDO

Authors Rania Taleb, S. Hallé, Raphaël Khoury

Publication date 29 July 2024

Published in Computer Science Review (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.COSREV.2023.100594

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Runtime verification past experiences and future projections
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A brief account of runtime verification
• Runtime verification logics. A language design perspective
• Symbolic runtime verification for monitoring under uncertainties and assumptions

Cites work

• scientific article; zbMATH DE number 910719 (Why is no real title available?)
• scientific article; zbMATH DE number 7354705 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A brief account of runtime verification
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A survey on temporal logics for specifying and verifying real-time systems
• A theory of timed automata
• Automata-theoretic techniques for modal logics of programs
• ConSpec - A formal language for policy specification
• Encyclopedia of cryptography and security.
• Encyclopedia of machine learning and data mining. In 2 volumes
• Incremental reasoning in probabilistic signal temporal logic
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Model Checking Software
• Monitoring for silent actions
• Monitoring metric first-order temporal properties
• Probabilistic automata
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Quantitative simulation games
• Runtime Verification with Imperfect Information Through Indistinguishability Relations
• Runtime verification logics. A language design perspective
• Runtime verification of temporal properties over out-of-order data streams
• Runtime verification past experiences and future projections
• Symbolic runtime verification for monitoring under uncertainties and assumptions
• Synthesis of Reactive(1) designs
• TeSSLa: temporal stream-based specification language
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Uncertainty in runtime verification: a survey

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