![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
RV 2022: Tbilisi, Georgia
- Thao Dang
, Volker Stolz
:
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. Lecture Notes in Computer Science 13498, Springer 2022, ISBN 978-3-031-17195-6
Full Papers
- Joshua Schneider
:
Randomized First-Order Monitoring with Hashing. 3-24 - Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty:
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. 25-44 - Jonathan Julián Huerta y Munive
:
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables. 45-66 - Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu:
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. 67-84 - Jean-Christophe Filliâtre, Clément Pascutto
:
Optimizing Prestate Copies in Runtime Verification of Function Postconditions. 85-104 - Amol Damare, Shouvik Roy, Scott A. Smolka
, Scott D. Stoller:
A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. 105-123 - Peeyush Kushwaha, Rahul Purandare
, Matthew B. Dwyer:
Optimal Finite-State Monitoring of Partial Traces. 124-142 - Shaun Azzopardi
, Joshua Ellul
, Ryan Falzon
, Gordon J. Pace
:
Tainting in Smart Contracts: Combining Static and Runtime Verification. 143-161 - Margarita Capretto
, Martín Ceresa
, César Sánchez
:
Transaction Monitoring of Smart Contracts. 162-180 - Hannes Kallwies
, Martin Leucker
, César Sánchez
, Torben Scheffel
:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. 181-199 - Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç
:
Abstract Monitors for Quantitative Specifications. 200-220 - Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider:
Runtime Verification of Kotlin Coroutines. 221-239
Short and Tool Papers
- Shaun Azzopardi
, Joshua Ellul
, Ryan Falzon
, Gordon J. Pace
:
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. 243-252 - Martin Stoffers
, Alexander Weinert
:
Towards Specificationless Monitoring of Provenance-Emitting Systems. 253-263 - Dennis Dams, Klaus Havelund, Sean Kauffman
:
A Python Library for Trace Analysis. 264-273 - Nahid Hasan Khan, Joseph Robertson, Ramiro Liscano, Akramul Azim, Vijay Sundaresan, Yee-Kang Chang:
Lock Contention Performance Classification for Java Intrinsic Locks. 274-282 - Filipe Marques, António Morgado, José Fragoso Santos
, Mikolás Janota:
TestSelector: Automatic Test Suite Selection for Student Projects. 283-292 - Florian Gallay, Yliès Falcone:
Decent: A Benchmark for Decentralized Enforcement. 293-303 - Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros:
Runtime Verification for FMI-Based Co-simulation. 304-313 - Hannes Kallwies
, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss:
TeSSLa - An Ecosystem for Runtime Verification. 314-324 - Jan Baumeister
, Bernd Finkbeiner
, Stefan Gumhold, Malte Schledjewski
:
Real-Time Visualization of Stream-Based Monitoring Data. 325-335 - Luca Geretti, Pieter Collins
, Davide Bresolin
, Tiziano Villa:
Automating Numerical Parameters Along the Evolution of a Nonlinear System. 336-345
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.