Get Free Shipping on orders over $79
Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings - Dana Fisman

Runtime Verification

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

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

Paperback | 6 October 2021

At a Glance

Paperback


$129.00

or 4 interest-free payments of $32.25 with

 or 

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.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.99

30%
OFF
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF
C# 12 Pocket Reference : Instant Help for C# 12 Programmers - Joseph Albahari
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang