default search action
RV 2017: Seattle, WA, USA
- Shuvendu K. Lahiri, Giles Reger:
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. Lecture Notes in Computer Science 10548, Springer 2017, ISBN 978-3-319-67530-5
Tutorials
- Ankush Desai, Shaz Qadeer:
P: Modular and Safe Asynchronous Programming. 3-7 - Adrian Francalanza
, Luca Aceto, Antonis Achilleos
A Foundation for Runtime Monitoring. 8-29
Regular Papers
- Florian-Michael Adolf
Stream Runtime Monitoring on UAS. 33-49 - Bernhard K. Aichernig
Probabilistic Black-Box Reachability Checking. 50-67 - Björn Andersson, Sagar Chaki, Dionisio de Niz:
Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. 68-84 - David A. Basin, Srdan Krstic
Almost Event-Rate Independent Monitoring of Metric Dynamic Logic. 85-102 - Zachary Benavides, Rajiv Gupta
Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. 103-120 - Giuseppe Bombara, Calin Belta:
Signal Clustering Using Temporal Logics. 121-137 - Himanshu Chauhan, Vijay K. Garg:
Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs. 138-154 - Chaoqiang Deng, Kedar S. Namjoshi:
Witnessing Network Transformations. 155-171 - Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia:
Combining Model Checking and Runtime Verification for Safe Robotics. 172-189 - Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup:
Monitoring Hyperproperties. 190-207 - Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai
TeLEx: Passive STL Learning Using Only Positive Examples. 208-224 - Katarína Kejstová, Petr Rockai, Jiri Barnat:
From Model Checking to Runtime Verification and Back. 225-240 - Oliviero Riganelli
Verifying Policy Enforcers. 241-258 - Minjun Seo
Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded Systems. 259-276 - Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. 277-293 - Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles
Runtime Detection of Temporal Memory Errors. 294-311 - Babak Yadegari, Saumya Debray:
Control Dependencies in Interpretive Systems. 312-329 - Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky:
Monitoring Time Intervals. 330-345
Tool Papers
- Shuo Chen, Matt McCutchen, Phuong Cao
SVAuth - A Single-Sign-On Integration Solution with Runtime Verification. 349-358 - Sylvain Hallé
Event Stream Processing with Multiple Threads. 359-369 - Daisuke Ishii, Alexandre Goldsztejn:
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. 370-379 - Hassan Salehe Matar, Serdar Tasiran, Didem Unat
EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM. 380-389 - Prashanth Nayak
A Wingman for Virtual Appliances. 390-399
Short Papers
- Jun Inoue, Yoriyuki Yamagata
Operational Semantics of Process Monitors. 403-409 - Chafik Meniar, Florence Opalvens, Sylvain Hallé
Runtime Verification of User Interface Guidelines in Mobile Devices. 410-415 - Aaron Paulos, Partha P. Pal
Trusted Mission Operation - Concept and Implementation. 416-423 - Kim Völlinger:
Verifying the Output of a Distributed Algorithm Using Certification. 424-430
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: