RV 2017: 17TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION

This page contains an index consisting of author-provided keywords.

A
a software framework for robotics	Combining Model Checking and Runtime Verification for Safe Robotics
Algorithms	Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
Android	Verifying Policy Enforcers Runtime Verification of User Interface Guidelines in Mobile Devices
API	Verifying Policy Enforcers
ARM	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
asynchronous systems	P : Modular and Safe Asynchronous Programming
authentication	SVAuth – A Single-Sign-On Integration Solution with Runtime Verification
B
Black-box checking	Probabilistic Black-Box Reachability Checking
Breadth First Search	Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
C
certification	Witnessing Network Transformations
certifying algorithm	Verifying the Output of a Distributed Algorithm using Certification
Clustering	Signal Clustering using Temporal Logics
Communicating Sequential Processes	Operational Semantics of Process Monitors
composition	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
computer security	A Wingman for Virtual Appliances
Concurrency	Operational Semantics of Process Monitors
Consistent Global State	Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
contention	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
Continuous monitoring	Trusted Mission Operation - Concept and Implementation
Control Dependence	Control Dependencies in Interpretive Systems
CPU reservation	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
cyber-physical systems	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
D
Debugging	Control Dependencies in Interpretive Systems
distributed algorithm	Verifying the Output of a Distributed Algorithm using Certification
distributed system	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Dynamic Analysis	Control Dependencies in Interpretive Systems
dynamic logic	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
dynamic repair	A Wingman for Virtual Appliances
E
Embedded system	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
embedded systems	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
event streams	Event Stream Processing with Multiple Threads
event-driven systems	P : Modular and Safe Asynchronous Programming
event-rate	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
F
FastTrack	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
Formal Methods	Signal Clustering using Temporal Logics
Frama-C/E-ACSL	Runtime Detection of Temporal Memory Errors
H
hierarchical model for monitoring	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
Human factors	Trusted Mission Operation - Concept and Implementation
hybrid systems	HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
Hyperproperties	Monitoring Hyperproperties
I
interval analysis	HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
intervals	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
K
Knowledge Discovery	Signal Clustering using Temporal Logics
L
latent bugs	Monitoring Partially Synchronous Distributed Systems using SMT Solvers
Learning from positive examples	TeLEx: Passive STL Learning Using Only Positive Examples
load imbalance	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
Logic Inference	Signal Clustering using Temporal Logics
logical enforcement	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
logical monitoring	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
M
Memory safety	Runtime Detection of Temporal Memory Errors
mobile applications	Runtime Verification of User Interface Guidelines in Mobile Devices
model checking	From Model Checking to Runtime Verification and Back
Model inference	Probabilistic Black-Box Reachability Checking
monitor	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
monitoring	HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis Monitoring Partially Synchronous Distributed Systems using SMT Solvers Monitoring Hyperproperties
multithread	Event Stream Processing with Multiple Threads
N
networking	Witnessing Network Transformations
non-intrusive system monitoring	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
O
Operational Semantics	Operational Semantics of Process Monitors
overhead	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
P
parallel behaviors	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
parallelism	Event Stream Processing with Multiple Threads
partial derivatives	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
policy enforcement	Verifying Policy Enforcers
Predicate Detection	Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs
proactive library	Verifying Policy Enforcers
Program Sclicing	Control Dependencies in Interpretive Systems
programming language	P : Modular and Safe Asynchronous Programming
programming systems	Combining Model Checking and Runtime Verification for Safe Robotics
protocol	SVAuth – A Single-Sign-On Integration Solution with Runtime Verification
R
race detection	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
races	EmbedSanitizer: Runtime Race Detection Tool for 32-bit Embedded ARM
Reachability analysis	Probabilistic Black-Box Reachability Checking
Real-time properties	Monitoring Time Intervals
regular expressions	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
resource usage	Verifying Policy Enforcers
Runtime analysis	Runtime Detection of Temporal Memory Errors
runtime assurance	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
Runtime Monitoring	Operational Semantics of Process Monitors Stream Runtime Monitoring on UAS Combining Model Checking and Runtime Verification for Safe Robotics
Runtime requirements monitoring	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
runtime verification	Verifying the Output of a Distributed Algorithm using Certification Runtime Verification of User Interface Guidelines in Mobile Devices Monitoring Time Intervals Event Stream Processing with Multiple Threads From Model Checking to Runtime Verification and Back
S
safe robotics	Combining Model Checking and Runtime Verification for Safe Robotics
self-healing	Verifying Policy Enforcers
self-verifying execution	SVAuth – A Single-Sign-On Integration Solution with Runtime Verification
Shadow memory	Runtime Detection of Temporal Memory Errors
signal temporal logic	HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis Signal Clustering using Temporal Logics
single-sign-on	SVAuth – A Single-Sign-On Integration Solution with Runtime Verification
Small unmanned aerial systems (sUAS)	Trusted Mission Operation - Concept and Implementation
software verification	From Model Checking to Runtime Verification and Back
Statistical model-checking	Probabilistic Black-Box Reachability Checking
STL	TeLEx: Passive STL Learning Using Only Positive Examples
stragglers	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles
Stream-based Specifications	Stream Runtime Monitoring on UAS
symbolic methods	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
syscall	From Model Checking to Runtime Verification and Back
systematic testing	P : Modular and Safe Asynchronous Programming Combining Model Checking and Runtime Verification for Safe Robotics
T
temporal enforcement	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
Temporal Logic	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic TeLEx: Passive STL Learning Using Only Positive Examples
Temporal Logics	Monitoring Hyperproperties
Temporal memory error	Runtime Detection of Temporal Memory Errors
temporal monitoring	Combining Symbolic Runtime Enforcers for Cyber-Physical Systems
Testing	Probabilistic Black-Box Reachability Checking
Time interval monitoring	Monitoring Time Intervals
Trusted mission operation	Trusted Mission Operation - Concept and Implementation
U
UI guidelines	Runtime Verification of User Interface Guidelines in Mobile Devices
UML sequence diagram	Hierarchical Non-Intrusive In-Situ Requirements Monitoring for Embedded Systems
Unmanned Aerial Vehicles	Stream Runtime Monitoring on UAS
Unsupervised Learning	Signal Clustering using Temporal Logics
V
velocity	Almost Event-Rate Independent Monitoring of Metric Dynamic Logic
Verification	Probabilistic Black-Box Reachability Checking
virtual machine introspection	A Wingman for Virtual Appliances
W
witnessing	Witnessing Network Transformations

Disclaimer | Powered by EasyChair Smart Program