RV 2022: RUNTIME VERIFICATION 2022

A
Ahmed, Aritra	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
Azim, Akramul	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
Azzopardi, Shaun	Runtime Verification of Kotlin Coroutines Tainting in Smart Contracts: Combining Static and Runtime Verification [Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
B
Baumeister, Jan	[Short] Real-time Visualization of Stream-based Monitoring Data
Bresolin, Davide	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
C
Capretto, Margarita	Transaction Monitoring of Smart Contracts
Ceresa, Martín	Transaction Monitoring of Smart Contracts
Chang, Yee-Kang	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
Collins, Pieter	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
D
Damare, Amol	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Dams, Dennis	[Short, ¶] A Python Library for Trace Analysis
Dwyer, Matthew	[¶] Optimal Finite-State Monitoring of Partial Traces
E
Ellul, Joshua	Tainting in Smart Contracts: Combining Static and Runtime Verification [Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
F
Falcone, Yliès	Runtime Verification of Kotlin Coroutines [Short, ¶] Decent: A Benchmark for Decentralized Enforcement
Falzon, Ryan	Tainting in Smart Contracts: Combining Static and Runtime Verification [Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Filliatre, Jean-Christophe	[¶] Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Finkbeiner, Bernd	[Short] Real-time Visualization of Stream-based Monitoring Data
Fragoso Santos, José	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects
Furian, Denis	Runtime Verification of Kotlin Coroutines
G
Gallay, Florian	[Short, ¶] Decent: A Benchmark for Decentralized Enforcement
Geretti, Luca	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
Gopinath, Divya	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Gumhold, Stefan	[Short] Real-time Visualization of Stream-based Monitoring Data
Gupta, Gaurav	[¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
H
Hasan Khan, Md Nahid Ebna	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
Havelund, Klaus	[Short, ¶] A Python Library for Trace Analysis
Henzinger, Thomas A.	[¶] Abstract Monitors for Quantitative Specifications
Huerta Y Munive, Jonathan	Relaxing safety for metric first-order temporal logic via dynamic free variables
J
Janota, Mikolas	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects
K
Kallwies, Hannes	[Short] TeSSLa – An Ecosystem For Runtime Verification Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
Katsaros, Panagiotis	[Short,¶] Runtime verification for FMI-based co-simulation
Kauffman, Sean	[Short, ¶] A Python Library for Trace Analysis
Kekatos, Nikolaos	[Short,¶] Runtime verification for FMI-based co-simulation
Kushwaha, Peeyush	[¶] Optimal Finite-State Monitoring of Partial Traces
L
Leucker, Martin	[Short] TeSSLa – An Ecosystem For Runtime Verification Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
Liscano, Ramiro	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
M
Marques, Filipe	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects
Mazzocchi, Nicolas	[¶] Abstract Monitors for Quantitative Specifications
Morgado, António	[Tool,¶] TestSelector: Automatic Test Suite Selection for Student Projects
P
Pace, Gordon	Tainting in Smart Contracts: Combining Static and Runtime Verification [Short,¶] AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
Pasareanu, Corina S.	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Pascutto, Clément	[¶] Optimizing Prestate Copies in Runtime Verification of Function Postconditions
Pinisetty, Srinivas	[¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
Purandare, Rahul	[¶] Optimal Finite-State Monitoring of Partial Traces
R
Robertson, Joseph	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
Roy, Shouvik	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
S
Sanchez, Cesar	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions Transaction Monitoring of Smart Contracts
Saraç, N. Ege	[¶] Abstract Monitors for Quantitative Specifications
Scheffel, Torben	Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
Schledjewski, Malte	[Short] Real-time Visualization of Stream-based Monitoring Data
Schmitz, Malte	[Short] TeSSLa – An Ecosystem For Runtime Verification
Schneider, Gerardo	Runtime Verification of Kotlin Coroutines
Schneider, Joshua	Randomized First-Order Monitoring With Hashing
Schulz, Albert	[Short] TeSSLa – An Ecosystem For Runtime Verification
Shankar, Saumya	[¶] Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring
Smolka, Scott	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Stoffers, Martin	[Short] Towards Specificationless Monitoring of Provenance-Emitting Systems
Stoller, Scott	[¶] A Barrier Certificate-based Simplex Architecture with Application to Microgrids
Sun, Youcheng	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
Sundaresan, Vijay	[Short,¶] Lock Contention Classification for Java Intrinsic Locks
T
Temperekidis, Anastasios	[Short,¶] Runtime verification for FMI-based co-simulation
Thoma, Daniel	[Short] TeSSLa – An Ecosystem For Runtime Verification
U
Usman, Muhammad	[¶] Rule-based Runtime Mitigation against Poison Attacks on Neural Networks
V
Villa, Tiziano	[Short,¶] Automating numerical parameters along the evolution of a nonlinear system
W
Weinert, Alexander	[Short] Towards Specificationless Monitoring of Provenance-Emitting Systems
Weiss, Alexander	[Short] TeSSLa – An Ecosystem For Runtime Verification

Disclaimer | Powered by EasyChair Smart Program