RV 2023: 23RD INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION

A
Abbas, Houssam	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Aguilar, Edgar	Mining Specification Parameters for Multi-Class Classification
Akshay, S.	Learning Monitor Ensembles for Operational Design Domains
An, Ziyan	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
Anderson, Jacob	Pattern Matching for Perception Streams
Anderson, Sean	Flexible Runtime Security Enforcement with Tagged C
B
Balakrishnan, Anand	Safety Monitoring for Pedestrian Detection in Adverse Conditions
Bartocci, Ezio	Mining Specification Parameters for Multi-Class Classification
Bensalem, Saddek.	Monitoring of Learning-Enabled Components
Besnard, Valentin	AMT: a Runtime Verification Tool of Video Streams
Bivolarov, Stoyan	AMT: a Runtime Verification Tool of Video Streams
Bonakdarpour, Borzoo	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Bortolussi, Luca	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
C
Cairoli, Francesca	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Carbone, Ginevra	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Carleton, Benjamin	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Chakraborty, Supratik	Learning Monitor Ensembles for Operational Design Domains
Chalupa, Marek	Monitoring Hyperproperties With Prefix Transducers
Chen, Zhenbang	CCMOP: A Runtime Verification Tool for C/C++ Programs
Cheng, Chih-Hong	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
Cornard, Guillaume	AMT: a Runtime Verification Tool of Video Streams
D
Deshmukh, Jyotirmoy	Safety Monitoring for Pedestrian Detection in Adverse Conditions
Dobre, Rares A.	Monitoring Blackbox Implementations of Multiparty Session Protocols
F
Fainekos, Georgios	Pattern Matching for Perception Streams
Falcone, Yliès	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
Fremont, Daniel	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
G
Ghosal, Shuvam	Safety Monitoring for Pedestrian Detection in Adverse Conditions
Gorostiaga, Felipe	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations
H
Havelund, Klaus	Monitorability for Runtime Verification
Henzinger, Thomas	Monitoring Hyperproperties With Prefix Transducers
Henzinger, Thomas A.	Monitoring Algorithmic Fairness under Partial Observations
Hoxha, Bardh	Pattern Matching for Perception Streams
Huet, Mathieu	AMT: a Runtime Verification Tool of Video Streams
J
Jiang, Pengyue	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Johnson, Taylor	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
Joshi, Aniruddha	Learning Monitor Ensembles for Operational Design Domains
K
Kallwies, Hannes	General Anticipatory Monitoring for Temporal Logics on Finite Traces
Koll, Charles	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Krstic, Srdjan	Metric First-order Temporal Logic with Complex Data Types
Kueffner, Konstantin	Monitoring Algorithmic Fairness under Partial Observations
L
Legunsen, Owolabi	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Leucker, Martin	General Anticipatory Monitoring for Temporal Logics on Finite Traces
Lima Graf, Jeniffer	Metric First-order Temporal Logic with Complex Data Types
Luttenberger, Michael	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
M
Ma, Meiyi	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
Mallick, Swapnil	Safety Monitoring for Pedestrian Detection in Adverse Conditions
Mallik, Kaushik	Monitoring Algorithmic Fairness under Partial Observations
Marques, Valeria	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Mateis, Cristinel	Mining Specification Parameters for Multi-Class Classification
Momtaz, Anik	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
N
Naaktgebooren, Allison	Flexible Runtime Security Enforcement with Tagged C
Nesterini, Eleonora	Mining Specification Parameters for Multi-Class Classification
Nickovic, Dejan	Mining Specification Parameters for Multi-Class Classification
O
Okamoto, Hideki	Pattern Matching for Perception Streams
Omer, Moran	Runtime Verification Prediction for Traces with Data
P
Paoletti, Nicola	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
Pasareanu, Corina	Compositional Verification and Run-time Monitoring for Learning-Enabled Autonomous Systems
Pedregal, Paloma	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations
Peled, Doron	Monitorability for Runtime Verification Runtime Verification Prediction for Traces with Data
Prokhorov, Danil	Pattern Matching for Perception Streams
Pulcini, Paolo	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Pérez, Jorge A.	Monitoring Blackbox Implementations of Multiparty Session Protocols
S
Saadi, Nourredine	AMT: a Runtime Verification Tool of Video Streams
Sanchez, Cesar	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations General Anticipatory Monitoring for Temporal Logics on Finite Traces
Schneider, Joshua	Metric First-order Temporal Logic with Complex Data Types
Seshia, Sanjit A.	Learning Monitor Ensembles for Operational Design Domains Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
Shah, Shetal	Learning Monitor Ensembles for Operational Design Domains
Soueidi, Chukri	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
Sprinkle, Jonathan	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
T
Tolmach, Andrew	Flexible Runtime Security Enforcement with Tagged C
Torfah, Hazem	Learning Monitor Ensembles for Operational Design Domains Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
V
van den Heuvel, Bas	Monitoring Blackbox Implementations of Multiparty Session Protocols
W
Wang, Xia	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
X
Xing, Yongchao	CCMOP: A Runtime Verification Tool for C/C++ Programs
Xu, Shibo	CCMOP: A Runtime Verification Tool for C/C++ Programs
Y
Yalcinkaya, Beyazit	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
Yan, Rongjie	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
Yorihiro, Ayaka	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Z
Zhang, Yufeng	CCMOP: A Runtime Verification Tool for C/C++ Programs

Disclaimer | Powered by EasyChair Smart Program