Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Front Matter ....Pages I-XIX
Front Matter ....Pages 1-1
 P: Modular and Safe Asynchronous Programming  (Ankush Desai, Shaz Qadeer)....Pages 3-7
 A Foundation for Runtime Monitoring  (Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica et al.)....Pages 8-29
Front Matter ....Pages 31-31
 Stream Runtime Monitoring on UAS  (Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens)....Pages 33-49
 Probabilistic Black-Box Reachability Checking  (Bernhard K. Aichernig, Martin Tappler)....Pages 50-67
 Combining Symbolic Runtime Enforcers for Cyber-Physical Systems  (Björn Andersson, Sagar Chaki, Dionisio de Niz)....Pages 68-84
 Almost Event-Rate Independent Monitoring of Metric Dynamic Logic  (David Basin, Srđan Krstić, Dmitriy Traytel)....Pages 85-102
 Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles  (Zachary Benavides, Rajiv Gupta, Xiangyu Zhang)....Pages 103-120
 Signal Clustering Using Temporal Logics  (Giuseppe Bombara, Calin Belta)....Pages 121-137
 Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs  (Himanshu Chauhan, Vijay K. Garg)....Pages 138-154
 Witnessing Network Transformations  (Chaoqiang Deng, Kedar S. Namjoshi)....Pages 155-171
 Combining Model Checking and Runtime Verification for Safe Robotics  (Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia)....Pages 172-189
 Monitoring Hyperproperties  (Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup)....Pages 190-207
 TeLEx: Passive STL Learning Using Only Positive Examples  (Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar)....Pages 208-224
 From Model Checking to Runtime Verification and Back  (Katarína Kejstová, Petr Ročkai, Jiří Barnat)....Pages 225-240
 Verifying Policy Enforcers  (Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone)....Pages 241-258
 Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded Systems  (Minjun Seo, Roman Lysecky)....Pages 259-276
 Monitoring Partially Synchronous Distributed Systems Using SMT Solvers  (Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng, Murat Demirbas)....Pages 277-293
 Runtime Detection of Temporal Memory Errors  (Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, Arvid Jakobsson)....Pages 294-311
 Control Dependencies in Interpretive Systems  (Babak Yadegari, Saumya Debray)....Pages 312-329
 Monitoring Time Intervals  (Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky)....Pages 330-345
Front Matter ....Pages 347-347
 SVAuth – A Single-Sign-On Integration Solution with Runtime Verification  (Shuo Chen, Matt McCutchen, Phuong Cao, Shaz Qadeer, Ravishankar K. Iyer)....Pages 349-358
 Event Stream Processing with Multiple Threads  (Sylvain Hallé, Raphaël Khoury, Sébastien Gaboury)....Pages 359-369
 HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis  (Daisuke Ishii, Alexandre Goldsztejn)....Pages 370-379
 EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM  (Hassan Salehe Matar, Serdar Tasiran, Didem Unat)....Pages 380-389
 A Wingman for Virtual Appliances  (Prashanth Nayak, Mike Hibler, David Johnson, Eric Eide)....Pages 390-399
Front Matter ....Pages 401-401
 Operational Semantics of Process Monitors  (Jun Inoue, Yoriyuki Yamagata)....Pages 403-409
 Runtime Verification of User Interface Guidelines in Mobile Devices  (Chafik Meniar, Florence Opalvens, Sylvain Hallé)....Pages 410-415
 Trusted Mission Operation - Concept and Implementation  (Aaron Paulos, Partha Pal, Shane S. Clark, Kyle Usbeck, Patrick Hurley)....Pages 416-423
 Verifying the Output of a Distributed Algorithm Using Certification  (Kim Völlinger)....Pages 424-430
Back Matter ....Pages 431-432