Runtime Verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings - Lahiri, Shuvendu; Reger, Giles; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: Software engineering; Programming languages (Electronic computers).; Computer programming; Computer security; Computer system failures; Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Systems and Data Security; System Performance and Evaluation