Go to main content

Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings / edited by Jyotirmoy Deshmukh, Dejan Ničković.

Deshmukh, Jyotirmoy. editor.; Ničković, Dejan. editor.
2020
QA76.758
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Runtime Verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings / edited by Jyotirmoy Deshmukh, Dejan Ničković.
Edition
1st ed. 2020.
ISBN
3030605086
9783030605087
3030605078
9783030605070
DOI
https://doi.org/10.1007/978-3-030-60508-7
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Language
English
Description
1 online resource (XIX, 538 pages) : illustrations.
Item Number
10.1007/978-3-030-60508-7 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.
Access Note
Access limited to authorized users.
Added Author
Deshmukh, Jyotirmoy. editor.
Ničković, Dejan. editor.
Series
LNCS sublibrary. SL 2, Programming and software engineering ; 12399.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export