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.