default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV 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
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.
last updated on 2024-09-18 23:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
