RV 2017: 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION

A
Adolf, Florian-Michael	Stream Runtime Monitoring on UAS
Aichernig, Bernhard K.	Probabilistic Black-Box Reachability Checking
Andersson, Bjorn	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
B
Barnat, Jiri	From Model Checking to Runtime Verification and Back
Basin, David	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
Belta, Calin	Signal Clustering using Temporal Logics
Benavides, Zachary	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
Bombara, Giuseppe	Signal Clustering using Temporal Logics
C
Chaki, Sagar	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
Chauhan, Himanshu	Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
Chen, Shuo	SVAuth – A Single-Sign-On Integration Solution with Runtime Verification
Clark, Shane	Trusted Mission Operation - Concept and Implementation
D
De Niz, Dionisio	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
Debray, Saumya	Control Dependencies in Interpretive Systems
Demirbas, Murat	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Deng, Chaoqiang	Witnessing Network Transformations
Desai, Ankush	P : Modular and Safe Asynchronous Programming (Continued)
Desai, Ankush	P : Modular and Safe Asynchronous Programming Combining Model Checking and Runtime Verification for Safe Robotics
Dreossi, Tommaso	Combining Model Checking and Runtime Verification for Safe Robotics
E
Eide, Eric	A Wingman for Virtual Appliances
F
Falcone, Yliès	Verifying Policy Enforcers
Faymonville, Peter	Stream Runtime Monitoring on UAS
Finkbeiner, Bernd	Stream Runtime Monitoring on UAS Monitoring Hyperproperties
Fonseca, Rodrigo	The Design and Applications for a Tracing Plane for Distributed Systems
Francalanza, Adrian	Foundations For Runtime Monitoring
G
Gaboury, Sebastien	Event Stream Processing with Multiple Threads
Garg, Vijay	Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
Goldsztejn, Alexandre	HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
Gupta, Rajiv	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
H
Hahn, Christopher	Monitoring Hyperproperties
Hallé, Sylvain	Runtime Verification of User Interface Guidelines in Mobile Devices Event Stream Processing with Multiple Threads
Hibler, Mike	A Wingman for Virtual Appliances
Hurley, Patrick	Trusted Mission Operation - Concept and Implementation
I
Inoue, Jun	Operational Semantics of Process Monitors
Ishii, Daisuke	HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
J
Jakobsson, Arvid	Runtime Detection of Temporal Memory Errors
Jha, Susmit	TeLEx: Passive STL Learning Using Only Positive Examples
Johnson, David	A Wingman for Virtual Appliances
K
Kejstová, Katarína	From Model Checking to Runtime Verification and Back
Khoury, Raphael	Event Stream Processing with Multiple Threads
Kosmatov, Nikolai	Runtime Detection of Temporal Memory Errors
Krstić, Srđan	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
Kulkarni, Sandeep	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
L
Lee, Insup	Monitoring Time Intervals
Levin, Vlad	Windows Driver Verification Platform
Lichtenberg, Jakob	Windows Driver Verification Platform
Lysecky, Roman	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
M
Mariani, Leonardo	Verifying Policy Enforcers
Matar, Hassan Salehe	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
Meniar, Chafik	Runtime Verification of User Interface Guidelines in Mobile Devices
Micucci, Daniela	Verifying Policy Enforcers
N
Namjoshi, Kedar	Witnessing Network Transformations
Nayak, Prashanth	A Wingman for Virtual Appliances
O
Opalvens, Florence	Runtime Verification of User Interface Guidelines in Mobile Devices
P
Pal, Partha	Trusted Mission Operation - Concept and Implementation
Parthasarathy, Madhusudan	Machine-learning State Properties Machine-learning State Properties (Continued)
Paulos, Aaron	Trusted Mission Operation - Concept and Implementation
Q
Qadeer, Shaz	P : Modular and Safe Asynchronous Programming P : Modular and Safe Asynchronous Programming (Continued)
R
Riganelli, Oliviero	Verifying Policy Enforcers
Ročkai, Petr	From Model Checking to Runtime Verification and Back
S
Sahai, Tuhin	TeLEx: Passive STL Learning Using Only Positive Examples
Schirmer, Sebastian	Stream Runtime Monitoring on UAS
Seo, Minjun	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
Seshia, Sanjit A.	TeLEx: Passive STL Learning Using Only Positive Examples Combining Model Checking and Runtime Verification for Safe Robotics
Shankar, Natarajan	TeLEx: Passive STL Learning Using Only Positive Examples
Signoles, Julien	Runtime Detection of Temporal Memory Errors
Sokolsky, Oleg	Monitoring Time Intervals
Stenger, Marvin	Monitoring Hyperproperties
T
Tappler, Martin	Probabilistic Black-Box Reachability Checking
Tasiran, Serdar	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
Tekken Valapil, Vidhya	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Tentrup, Leander	Monitoring Hyperproperties
Tiwari, Ashish	TeLEx: Passive STL Learning Using Only Positive Examples
Torens, Christoph	Stream Runtime Monitoring on UAS
Torng, Eric	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Traytel, Dmitriy	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
U
Usbeck, Kyle	Trusted Mission Operation - Concept and Implementation
V
Vorobyov, Kostyantyn	Runtime Detection of Temporal Memory Errors
Völlinger, Kim	Verifying the Output of a Distributed Algorithm using Certification
W
Wiegley, John	Monitoring Time Intervals
Y
Yadegari, Babak	Control Dependencies in Interpretive Systems
Yamagata, Yoriyuki	Operational Semantics of Process Monitors
Yingchareonthawornchai, Sorrachai	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Z
Zeller, Andreas	Learning Input Languages for Runtime Verification
Zhang, Teng	Monitoring Time Intervals
Zhang, Xiangyu	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles

Disclaimer | Powered by EasyChair Smart Program