Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings /
Saved in:
Meeting name: | RV (Conference) (20th : 2020 : Online) |
---|---|
Imprint: | Cham : Springer, 2020. |
Description: | 1 online resource (xix, 538 pages) : illustrations (some color) |
Language: | English |
Series: | Lecture notes in computer science ; 12399 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 12399. LNCS sublibrary. SL 2, Programming and software engineering. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12608959 |
Table of Contents:
- Invited Presentation
- Fantastic Failures and Where to Find Them: Designing Trustworthy Autonomy
- Monitorability Under Assumptions
- Tutorials
- Monitoring Spatio-Temporal Properties (Invited Tutorial)
- Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness
- Analysing the Performance of Python-based Web Services with the VyPR Framework
- Monitoring Cyber-Physical Systems: From Design to Integration
- BDDs for Representing Data in Runtime Verification
- Runtime Verification for Autonomy
- Runtime-Safety-Guided Policy Repair
- PatrIoT: Policy Assisted Resilient Programmable IoT System
- Runtime Verification of Autonomous Driving Systems in CARLA SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
- Runtime Verification for Software
- Scalable Online Monitoring of Distributed Systems
- Actor-based Runtime Verification with MESA
- Placement of Runtime Checks to Counteract Fault Injections
- Empirical Abstraction
- Test4Enforcers: Test Case Generation for Software Enforcers
- SharpDetect: Dynamic Analysis Framework for C#/.NET Programs
- Efficient Runtime Assertion Checking for Properties over Mathematical Numbers
- BISM: Bytecode-Level Instrumentation for Software Monitoring
- Runtime Verification with Temporal Logic Specifications
- Property-Directed Verified Monitoring of Signal Temporal Logic
- Logical Signal Processing: a Fourier Analysis of Temporal Logic
- A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
- TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
- Stream-based Monitoring
- Verified Rust Monitors for Lola Specifications
- Automatic Optimizations for Stream-based Monitoring Languages
- Unifying the Time-Event Spectrum for Stream Runtime Verification
- A Benchmark Generator for Online First-Order Monitoring
- Runtime Verification for Cyber-Physical Systems
- Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
- Formal Verification of a Mixed-Trust Synchronization Protocol.