Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

By: Dana Fisman (Editor), Lu Feng (Editor)

Write A Review

Paperback | 6 October 2021

At a Glance

Paperback
344 Pages

Dimensions(cm)
23.5 x 15.5 x 1.83

Paperback

$129.75

or 4 interest-free payments of $32.44 with

Ships in 5 to 7 business days

Regular Papers.- Predicate Monitoring in Distributed Cyber-physical Systems.- Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs.- Into the Unknown: Active Monitoring of Neural Networks.- Monitoring with Verified Guarantees.- On the Interpretation and Monitoring of Timed Deontic Logics.- Efficient Black-Box Checking via Model Checking with Strengthened Specifications.- Neural Predictive Monitoring under Partial Observability.- A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals.- Nested Monitors: Monitors as Expressions to Build Monitors.- Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs.- Assumption-Based Runtime Veri cation of Infinite-State Systems.- Short Papers and Tool Papers.- Differential Monitoring.- Ortac: Runtime Assertion Checking for OCaml (tool paper).- Gaussian-based runtime detection of out-of-distribution inputs for neural networks.- Parallel and Multi-Objective Falsification with Scenic and VerifAI.- A Theoretical Framework for Understanding the Relationship between Log Parsing and Anomaly Detection.- Specification and Runtime Verification of Temporal Assessments in Simulink.- PerceMon: Online Monitoring for Perception Systems.- Tutorial Paper.- Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.