Runtime Verification

22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings

AvThao Dang,Volker Stolz

Häftad, Engelska, 2022

Del i serien Lecture Notes in Computer Science

726 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions.

Produktinformation

Utgivningsdatum:2022-09-24
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:347
Förlag:Springer International Publishing AG
ISBN:9783031171956

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Randomized First-Order Monitoring With Hashing.-Automated Surgical Procedure Assistance Framework using Deep Learning and Formal Runtime Monitoring.-Relaxing safety for metric first-order temporal logic via dynamic free variables.-Rule-based Runtime Mitigation against Poison Attacks on Neural Networks.-Optimizing Prestate Copies in Runtime Verification of Function Postconditions.-A Barrier Certificate-based Simplex Architecture with Application to Microgrids.-Optimal Finite-State Monitoring of Partial Traces.-Tainting in Smart Contracts: Combining Static and Runtime Verification.-Pace Transaction Monitoring of Smart Contracts.-Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.-Abstract Monitors for Quantitative Specifications.-Organization Runtime Verification of Kotlin Coroutines.-A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification.-Pace Towards Specificationless Monitoring of ProvenanceEmitting Systems.-A Python Library for Trace Analysis.-Lock Contention Classification for Java Intrinsic Locks.-TestSelector: Automatic Test Suite Selection for Student Projects.-Falcone Runtime verification for FMI-based co-simulation.-– An Ecosystem For Runtime Verification.-Real-time Visualization of Stream-based Monitoring Data.-Automating numerical parameters along the evolution of a nonlinear system.