Uncertainty in runtime verification: a survey
From MaRDI portal
Publication:6580686
DOI10.1016/j.cosrev.2023.100594zbMATH Open1543.68232MaRDI QIDQ6580686
Raphaël Khoury, Rania Taleb, Sylvain Hallé
Publication date: 29 July 2024
Published in: Computer Science Review (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis of Reactive(1) designs
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Proof systems for satisfiability in Hennessy-Milner logic with recursion
- Automata-theoretic techniques for modal logics of programs
- A theory of timed automata
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Runtime verification past experiences and future projections
- Runtime verification of temporal properties over out-of-order data streams
- Incremental reasoning in probabilistic signal temporal logic
- A brief account of runtime verification
- A survey on temporal logics for specifying and verifying real-time systems
- ConSpec - A formal language for policy specification
- Monitoring metric first-order temporal properties
- Encyclopedia of Cryptography and Security
- Quantitative Simulation Games
- Encyclopedia of Machine Learning and Data Mining
- Monitoring for Silent Actions
- Runtime Verification Logics A Language Design Perspective
- Model Checking Software
- Probabilistic automata
- Tools and Algorithms for the Construction and Analysis of Systems
- Verification, Model Checking, and Abstract Interpretation
- Runtime Verification with Imperfect Information Through Indistinguishability Relations
- Symbolic runtime verification for monitoring under uncertainties and assumptions
- TeSSLa: temporal stream-based specification language
This page was built for publication: Uncertainty in runtime verification: a survey
