RV2024: RUNTIME VERIFICATION 2024

This page contains an index consisting of author-provided keywords.

A
approximate monitoring	Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Asynchronous concurrent algorithms	Towards Efficient Runtime Verified Linearizable Algorithms
Automata	Adding State to Stream Runtime Verification
Autonomous driving	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
C
CKKS	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Complexity	The Complexity of Data-Free Nfer
cyber-physical systems	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
D
Data Visualization	RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
distributed monitoring	Distributed Monitoring of Timed Properties Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Distributed runtime verification	Towards Efficient Runtime Verified Linearizable Algorithms
dynamic logic	Efficient Offline Monitoring for Dynamic Metric Temporal Logic
Dynamic Rulebooks	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
F
Falsification	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Fault-tolerance	Towards Efficient Runtime Verified Linearizable Algorithms
Formal methods	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
fully homomorphic encryption	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
G
Generic re-programmable monitors	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
gradient-based scenario generation	Sampling-based and Gradient-based Efficient Scenario Generation
H
Hardware monitors	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
Human-robot interaction	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
I
Interval Logic	The Complexity of Data-Free Nfer
L
Linearizability	Towards Efficient Runtime Verified Linearizable Algorithms
LTL monitor construction	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
M
Measurement Noise	Stream-based Monitoring under Measurement Noise
metric temporal logic	Efficient Offline Monitoring for Dynamic Metric Temporal Logic
MFOTL	TimelyMon: A Streaming Parallel First-Order Monitor
Monads	Adding State to Stream Runtime Verification
monitoring	TimelyMon: A Streaming Parallel First-Order Monitor Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
N
Neural Network Controlled System	Case Study: Runtime Safety Verification of Neural Network Controlled System
Neural Networks	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
O
Object detection neural networks	Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
offline monitoring	Efficient Offline Monitoring for Dynamic Metric Temporal Logic
Out-of-distribution detection	Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
Out-of-Model-Scope detection	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
P
partial synchrony	Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Probabilistic Guarantees	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems
pSTL	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems
R
Rate adaptive pacemaker	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
real-time properties	Distributed Monitoring of Timed Properties
regular expressions	Efficient Offline Monitoring for Dynamic Metric Temporal Logic
Reinforncement learning	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
Robust Monitoring	Stream-based Monitoring under Measurement Noise
Runtime Control Verification	Case Study: Runtime Safety Verification of Neural Network Controlled System
Runtime enforcement	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
Runtime Monitoring	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Runtime Verification	RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring The Complexity of Data-Free Nfer
S
Safety Verification	Case Study: Runtime Safety Verification of Neural Network Controlled System
sampling-based scenario generation	Sampling-based and Gradient-based Efficient Scenario Generation
scenario generation	Sampling-based and Gradient-based Efficient Scenario Generation
signal temporal logic	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption Sampling-based and Gradient-based Efficient Scenario Generation Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Specification	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Stream processing	TimelyMon: A Streaming Parallel First-Order Monitor
Stream runtime verification	Adding State to Stream Runtime Verification
Stream-based Monitoring	RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring Stream-based Monitoring under Measurement Noise
T
Temporal logic	TimelyMon: A Streaming Parallel First-Order Monitor
Test Generation	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems
TFHE	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
timing imprecisions	Distributed Monitoring of Timed Properties
V
Verification	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems
Y
YOLO	Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study

Disclaimer | Powered by EasyChair Smart Program