RV2024: RUNTIME VERIFICATION 2024

A
Allen, Nathan	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
B
Banno, Ryotaro	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Baumeister, Jan	RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
Benny, Amrutha	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
Bensalem, Saddek	Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
Bian, Song	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Bonakdarpour, Borzoo	Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Budnik, Christof	Sampling-based and Gradient-based Efficient Scenario Generation
C
Caldeira, Manuel	Adding State to Stream Runtime Verification
Castañeda Rojano, Armando	Towards Efficient Runtime Verified Linearizable Algorithms
Castro Gonçalves Silva, Rafael	TimelyMon: A Streaming Parallel First-Order Monitor
Chandran, Sandeep	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
Chang, Kevin Kai-Chun	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Chao, Huang	Case Study: Runtime Safety Verification of Neural Network Controlled System
D
Deshmukh, Jyotirmoy	Sampling-based and Gradient-based Efficient Scenario Generation
F
Finkbeiner, Bernd	Stream-based Monitoring under Measurement Noise RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
Fränzle, Martin	Stream-based Monitoring under Measurement Noise
G
Guldstrand Larsen, Kim	The Complexity of Data-Free Nfer
H
Hashemi, Navid	Sampling-based and Gradient-based Efficient Scenario Generation
Hashemi, Vahid	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
He, Weicheng	Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
Henry, Léo	Distributed Monitoring of Timed Properties
J
Jéron, Thierry	Distributed Monitoring of Timed Properties
K
Kalayappan, Rajshekar	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
Kallwies, Hannes	Adding State to Stream Runtime Verification
Kauffman, Sean	The Complexity of Data-Free Nfer
Kautenburger, Jan	RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
Khandait, Tanmay	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems
Kim, Edward	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Kohn, Florian	Stream-based Monitoring under Measurement Noise
Kretinsky, Jan	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Kröger, Paul	Stream-based Monitoring under Measurement Noise
Kudalkar, Vidisha	Sampling-based and Gradient-based Efficient Scenario Generation
Kurur, Piyush	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
L
Leucker, Martin	Adding State to Stream Runtime Verification
M
Mallick, Swapnil	Sampling-based and Gradient-based Efficient Scenario Generation
Mamouras, Konstantinos	Efficient Offline Monitoring for Dynamic Metric Temporal Logic
Markey, Nicolas	Distributed Monitoring of Timed Properties
Matsumoto, Naoki	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Matsuoka, Kotaro	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Momtaz, Anik	Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Mukhopadhyay, Shilpa	Sampling-based and Gradient-based Efficient Scenario Generation
N
Nagaraja, Parinitha	Sampling-based and Gradient-based Efficient Scenario Generation
Ničković, Dejan	Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
P
Pedrielli, Giulia	HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems
Phawade, Ramchandra	faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties
Pinisetty, Srinivas	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
R
Reese, Lennard	TimelyMon: A Streaming Parallel First-Order Monitor
Rieder, Sabine	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Rodríguez Jiménez, Gilde Valeria	Towards Efficient Runtime Verified Linearizable Algorithms
Roop, Partha	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
Roussanaly, Victor	Distributed Monitoring of Timed Properties
Rubeck, Clara	RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
S
Sangiovanni-Vincentelli, Alberto	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Saraç, N. Ege	Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy
Schön, Torsten	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Seshia, Sanjit A.	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Suenaga, Kohei	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Suwa, Takashi	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
T
Thoma, Daniel	Adding State to Stream Runtime Verification
Traytel, Dmitriy	TimelyMon: A Streaming Parallel First-Order Monitor
V
Vorhoff, Jan	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces
Vuppala, Sai Rohan Harshavardhan	A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study
W
Waga, Masaki	Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
Wang, Yixuan	Case Study: Runtime Safety Verification of Neural Network Controlled System
Wu, Changshun	Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study
X
Xu, Kaifei	Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS
Y
Yang, Frank	Case Study: Runtime Safety Verification of Neural Network Controlled System
Z
Zhan, Simon	Case Study: Runtime Safety Verification of Neural Network Controlled System
Zhu, Qi	Case Study: Runtime Safety Verification of Neural Network Controlled System
Zimmermann, Martin	The Complexity of Data-Free Nfer

Disclaimer | Powered by EasyChair Smart Program