Overview
- Editors:
- Thao Dang
CNRS/Verimag, Saint Martin d’Hères, France
You can also search for this editor inPubMed Google Scholar
- Volker Stolz
Høgskulen på Vestlandet, Bergen, Norway
You can also search for this editor inPubMed Google Scholar
Part of the book series:Lecture Notes in Computer Science (LNCS, volume 13498)
Included in the following conference series:
Conference proceedings info: RV 2022.
16kAccesses
This is a preview of subscription content,log in via an institution to check access.
Access this book
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.
Similar content being viewed by others
Keywords
Table of contents (23 papers)
Front Matter
Pages i-xiiFull Papers
Front Matter
Pages 1-1Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring
- Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty
Pages 25-44Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables
- Jonathan Julián Huerta y Munive
Pages 45-66Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
- Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Păsăreanu
Pages 67-84Optimizing Prestate Copies in Runtime Verification of Function Postconditions
- Jean-Christophe Filliâtre, Clément Pascutto
Pages 85-104A Barrier Certificate-Based Simplex Architecture with Application to Microgrids
- Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
Pages 105-123Optimal Finite-State Monitoring of Partial Traces
- Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Pages 124-142Tainting in Smart Contracts: Combining Static and Runtime Verification
- Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Pages 143-161Transaction Monitoring of Smart Contracts
- Margarita Capretto, Martin Ceresa, César Sánchez
Pages 162-180Anticipatory Recurrent Monitoring with Uncertainty and Assumptions
- Hannes Kallwies, Martin Leucker, César Sánchez, Torben Scheffel
Pages 181-199Open AccessAbstract Monitors for Quantitative Specifications
- Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Pages 200-220Open AccessRuntime Verification of Kotlin Coroutines
- Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Pages 221-239
Short and Tool Papers
Front Matter
Pages 241-241AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
- Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Pages 243-252Towards Specificationless Monitoring of Provenance-Emitting Systems
- Martin Stoffers, Alexander Weinert
Pages 253-263Lock Contention Performance Classification for Java Intrinsic Locks
- Nahid Hasan Khan, Joseph Robertson, Ramiro Liscano, Akramul Azim, Vijay Sundaresan, Yee-Kang Chang
Pages 274-282TestSelector: Automatic Test Suite Selection for Student Projects
- Filipe Marques, António Morgado, José Fragoso Santos, Mikoláš Janota
Pages 283-292
Other volumes
Runtime Verification
Editors and Affiliations
CNRS/Verimag, Saint Martin d’Hères, France
Thao Dang
Høgskulen på Vestlandet, Bergen, Norway
Volker Stolz
Bibliographic Information
Book Title:Runtime Verification
Book Subtitle:22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
Editors:Thao Dang, Volker Stolz
Series Title:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/978-3-031-17196-3
Publisher:Springer Cham
eBook Packages:Computer Science,Computer Science (R0)
Copyright Information:The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Softcover ISBN:978-3-031-17195-6Published: 24 September 2022
eBook ISBN:978-3-031-17196-3Published: 23 September 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:XII, 347
Number of Illustrations:49 b/w illustrations, 79 illustrations in colour
Topics:Software Engineering/Programming and Operating Systems