Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Saved in:
Meeting name: | RV (Conference) (17th : 2017 : Seattle, Wash.) |
---|---|
Imprint: | Cham, Switzerland : Springer, 2017. |
Description: | 1 online resource (xix, 432 pages) : illustrations |
Language: | English |
Series: | Lecture notes in computer science, 0302-9743 ; 10548 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10548. 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/11361405 |
Table of Contents:
- Stream Runtime Monitoring on UAS
- Probabilistic Black-Box Reachability Checking
- Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
- Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
- Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
- Signal Clustering using Temporal Logics
- Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
- Witnessing Network Transformations
- Combining Model Checking and Runtime Verification for Safe Robotics
- Monitoring Hyperproperties
- TeLEx: Passive STL Learning Using Only Positive Examples
- From Model Checking to Runtime Verification and Back Verifying Policy Enforcers
- Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
- Monitoring Partially Synchronous Distributed Systems using SMT Solvers
- Runtime Detection of Temporal Memory Errors
- Control Dependencies in Interpretive Systems
- Monitoring Time Intervals.