RV 2022: RUNTIME VERIFICATION 2022

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

A
Abstract monitor	[¶] Abstract Monitors for Quantitative Specifications
Anticipation	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
Approximate monitoring	[¶] Abstract Monitors for Quantitative Specifications
Aspect-Oriented Programming	[Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Assumptions	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
Automata construction	[Short, ¶] A Python Library for Trace Analysis
B
Backdoor attacks	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Barrier Certificates	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Benchmark	[Short, ¶] Decent: A Benchmark for Decentralized Enforcement
blockchains	Transaction Monitoring of Smart Contracts
C
Co-simulation	[Short,¶] Runtime verification for FMI-based co-simulation
code coverage measures	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects
constraint-based test suite selection	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects
coroutines	Runtime Verification of Kotlin Coroutines
D
Data Visualization	[Short] Real-time Visualization of Stream-based Monitoring Data
Decentralized Systems	[Short, ¶] Decent: A Benchmark for Decentralized Enforcement
Deep Learning	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids [¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
F
Faster R-CNN	[¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
Fault Classification	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
finite-state properties	[¶] Optimal Finite-State Monitoring of Partial Traces
First-order LTL	[Short,¶] Runtime verification for FMI-based co-simulation
FMI	[Short,¶] Runtime verification for FMI-based co-simulation
Formal Methods	Transaction Monitoring of Smart Contracts [¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
Forward Switching Logic	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
H
Hashing	Randomized First-Order Monitoring With Hashing
I
Instrumentation	[Short] TeSSLa – An Ecosystem For Runtime Verification
K
Kotlin	Runtime Verification of Kotlin Coroutines
L
Laparoscopic Surgery	[¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
Lock Contention	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
LTL	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions [Short, ¶] Decent: A Benchmark for Decentralized Enforcement
M
Memory Management	[¶] Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Microgrid Control	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Monitor resources	[¶] Abstract Monitors for Quantitative Specifications
Monitor Synthesis	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions [Short] TeSSLa – An Ecosystem For Runtime Verification
monitoring	Transaction Monitoring of Smart Contracts
N
Neural Networks	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Nonlinear dynamical systems	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
O
OCaml	[¶] Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Online monitoring	Randomized First-Order Monitoring With Hashing
optimization	[¶] Optimal Finite-State Monitoring of Partial Traces
Optimized Code Generation	[¶] Optimizing Prestate Copies in Runtime Verification of Function Postconditions
P
Parameter tuning	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
Python	[Short, ¶] A Python Library for Trace Analysis
Q
Quantitative monitoring	[¶] Abstract Monitors for Quantitative Specifications
R
Reachability analysis	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
relational algebra	Relaxing safety for metric first-order temporal logic via dynamic free variables
residual analysis	Tainting in Smart Contracts: Combining Static and Runtime Verification
Rule-based programming	[Short, ¶] A Python Library for Trace Analysis
Run-time Performance Analysis	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
Runtime Assertion Checking	[¶] Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Runtime Assurance	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Runtime detection and correction	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Runtime Enforcement	[Short, ¶] Decent: A Benchmark for Decentralized Enforcement
runtime monitoring	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects [Short] Towards Specificationless Monitoring of Provenance-Emitting Systems
runtime verification	Runtime Verification of Kotlin Coroutines Transaction Monitoring of Smart Contracts Tainting in Smart Contracts: Combining Static and Runtime Verification [¶] Optimal Finite-State Monitoring of Partial Traces Relaxing safety for metric first-order temporal logic via dynamic free variables [Short,¶] Runtime verification for FMI-based co-simulation [Short, ¶] A Python Library for Trace Analysis [Short] Real-time Visualization of Stream-based Monitoring Data [Short, ¶] Decent: A Benchmark for Decentralized Enforcement [Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Runtime Verification Toolchain	[Short] TeSSLa – An Ecosystem For Runtime Verification
S
safety relaxation	Relaxing safety for metric first-order temporal logic via dynamic free variables
Safety verification	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
Simplex Architecture	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Smart Contracts	Transaction Monitoring of Smart Contracts [Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Spectral Graph Analysis	[Short] Towards Specificationless Monitoring of Provenance-Emitting Systems
static analysis	Tainting in Smart Contracts: Combining Static and Runtime Verification
Stream Runtime Verification	[Short] TeSSLa – An Ecosystem For Runtime Verification
Stream-based Monitoring	[Short] Real-time Visualization of Stream-based Monitoring Data
Surgical Tool Detection	[¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
T
taint analysis	Tainting in Smart Contracts: Combining Static and Runtime Verification
Temporal-relational algebra	Randomized First-Order Monitoring With Hashing
U
Uncertainty	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
W
W3C Provenance	[Short] Towards Specificationless Monitoring of Provenance-Emitting Systems

Disclaimer | Powered by EasyChair Smart Program