Uncertainty in runtime verification: a survey

DOI10.1016/J.COSREV.2023.100594zbMATH Open1543.68232MaRDI QIDQ6580686FDOQ6580686

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

Publication date: 29 July 2024

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

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)

Cites Work

ConSpec - A formal language for policy specification
Model Checking Software
Tools and Algorithms for the Construction and Analysis of Systems
A theory of timed automata
Probabilistic automata
Title not available (Why is that?)
Title not available (Why is that?)
A brief account of runtime verification
Runtime Verification Logics A Language Design Perspective
Verification, Model Checking, and Abstract Interpretation
Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
Synthesis of Reactive(1) designs
Encyclopedia of Cryptography and Security
Automata-theoretic techniques for modal logics of programs
Title not available (Why is that?)
Monitoring metric first-order temporal properties
Proof systems for satisfiability in Hennessy-Milner logic with recursion
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
Runtime verification of temporal properties over out-of-order data streams
Runtime verification past experiences and future projections
Monitoring for Silent Actions
Encyclopedia of Machine Learning and Data Mining
Incremental reasoning in probabilistic signal temporal logic
TeSSLa: temporal stream-based specification language
Symbolic runtime verification for monitoring under uncertainties and assumptions
Quantitative Simulation Games
Runtime Verification with Imperfect Information Through Indistinguishability Relations

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)