RV 2023: 23RD INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION

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

A
AI-based autonomous systems	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
algorithm	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
Algorithmic Fairness	Monitoring Algorithmic Fairness under Partial Observations
Anticipation	General Anticipatory Monitoring for Temporal Logics on Finite Traces
AOP	CCMOP: A Runtime Verification Tool for C/C++ Programs
Assumptions	General Anticipatory Monitoring for Temporal Logics on Finite Traces
asynchronous hyperproperties	Monitoring Hyperproperties With Prefix Transducers
automata	Monitoring Hyperproperties With Prefix Transducers
Autonomous Driving	Safety Monitoring for Pedestrian Detection in Adverse Conditions
Autonomous systems	Learning Monitor Ensembles for Operational Design Domains
B
Bayesian Neural Networks	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
C
C/C++	CCMOP: A Runtime Verification Tool for C/C++ Programs
change impact analysis	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Classification	Mining Specification Parameters for Multi-Class Classification
Compositional scenarios	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
computer vision	Pattern Matching for Perception Streams
concurrency	Monitoring Blackbox Implementations of Multiparty Session Protocols
Concurrent systems	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
Conformal Predictions	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
Cyber-Physical systems	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
D
Data types	Metric First-order Temporal Logic with Complex Data Types
deep neural networks	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
distributed monitoring	Monitoring Blackbox Implementations of Multiparty Session Protocols
Distributed systems	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
DSL	Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
E
Ensemble methods	Learning Monitor Ensembles for Operational Design Domains
Expressiveness and abstraction	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
F
Finite Logics	General Anticipatory Monitoring for Temporal Logics on Finite Traces
formal languages	Monitoring Hyperproperties With Prefix Transducers
G
Gaussian Processes	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
global types	Monitoring Blackbox Implementations of Multiparty Session Protocols
H
hyperproperties	Monitoring Hyperproperties With Prefix Transducers
I
Industrial Application	AMT: a Runtime Verification Tool of Video Streams
Instrumentation	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases CCMOP: A Runtime Verification Tool for C/C++ Programs Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
Instrumentation Parameters	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
Instrumentation Requirements	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
J
javamop	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
JSON	Metric First-order Temporal Logic with Complex Data Types
L
Linear Temporal Logic	Monitorability for Runtime Verification AMT: a Runtime Verification Tool of Video Streams
Logic Specifications for Images and Videos	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
M
Machine Learning	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
message-passing	Monitoring Blackbox Implementations of Multiparty Session Protocols
Monitorability	Monitorability for Runtime Verification Runtime Verification Prediction for Traces with Data
Monitoring	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations Metric First-order Temporal Logic with Complex Data Types AMT: a Runtime Verification Tool of Video Streams
multiparty session types	Monitoring Blackbox Implementations of Multiparty Session Protocols
N
network monitoring	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations
O
Online detection	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Operational design domains	Learning Monitor Ensembles for Operational Design Domains
overview	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
P
PAC Estimation	Monitoring Algorithmic Fairness under Partial Observations
Parametric Verification	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
parametrized monitoring	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations
Partial synchrony	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Partially Observed Markov Chains	Monitoring Algorithmic Fairness under Partial Observations
pattern matching	Pattern Matching for Perception Streams
Pedestrian Detection	Safety Monitoring for Pedestrian Detection in Adverse Conditions
Predicate detection	Decentralized Predicate Detection over Partially Synchronous Continuous-Time Signals
Predictive Monitoring	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees
prefix expressions	Monitoring Hyperproperties With Prefix Transducers
Programming Languages	Flexible Runtime Security Enforcement with Tagged C
R
Recurrent Monitoring	General Anticipatory Monitoring for Temporal Logics on Finite Traces
Recursion	Metric First-order Temporal Logic with Complex Data Types
regression testing	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
regular expressions	Pattern Matching for Perception Streams
retroactive parametrization	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations
Runtime Assurance	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
runtime monitoring	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods) Pattern Matching for Perception Streams Monitoring Hyperproperties With Prefix Transducers
Runtime predication	Runtime Verification Prediction for Traces with Data
Runtime Verification	Monitorability for Runtime Verification eMOP: A Maven Plugin for Evolution-Aware Runtime Verification A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations CCMOP: A Runtime Verification Tool for C/C++ Programs Runtime Verification Prediction for Traces with Data Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM AMT: a Runtime Verification Tool of Video Streams
S
Scalability	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Security	Flexible Runtime Security Enforcement with Tagged C
Signal Temporal Logic	Mining Specification Parameters for Multi-Class Classification
Simulation-based analysis	Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications
Single-threaded programs	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
Smoothed Model Checking	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
software testing	eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
spatial logic	Pattern Matching for Perception Streams
specification	Runtime Monitoring DNN-based Perception (via the Lens of Formal Methods)
Specification mining	Mining Specification Parameters for Multi-Class Classification
Statistical Model Checking	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Stochastic Models	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Stochastic Variational Inference	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking
Stream Runtime Verification	A Stream Runtime Verification Tool with Nested and Retroactive Parametrizations General Anticipatory Monitoring for Temporal Logics on Finite Traces
Systems with Learning-Enabled Components	Runtime Monitoring of Accidents in Driving Recordings with Multi-Type Logic in Empirical Models
T
Tagged Architectures	Flexible Runtime Security Enforcement with Tagged C
Temporal logic	Safety Monitoring for Pedestrian Detection in Adverse Conditions Metric First-order Temporal Logic with Complex Data Types
Temporal logic with data	Runtime Verification Prediction for Traces with Data
Traces	Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
transducers	Monitoring Hyperproperties With Prefix Transducers
U
Uncertainty	General Anticipatory Monitoring for Temporal Logics on Finite Traces
V
Video Streaming	AMT: a Runtime Verification Tool of Video Streams

Disclaimer | Powered by EasyChair Smart Program