32 citations · 45 across the 6 of their papers we have counts for
8 papers
Runtime Verification under Split Past and Future
Dogan Ulus
Runtime assurance for autonomous systems increasingly requires reasoning not only about observed executions but also about anticipated future behaviors. Traditional runtime verific…
Multi-Property Temporal Logic Monitoring
Arınç Demir, Dogan Ulus
Runtime verification enables checking temporal logic specifications over individual execution traces and offers a scalable alternative to exhaustive formal verification. In practic…
Reelay: Online Temporal Logic Monitoring Framework
Dogan Ulus
We present Reelay, a unified online temporal logic monitoring framework designed for the rigorous analysis and runtime verification of cyber-physical systems. Reelay addresses the…
Runtime Verification Containers for Publish/Subscribe Networks
Ali Mehran, Dogan Ulus
Publish/subscribe (pub/sub) networks are a cornerstone of modern distributed systems, playing a crucial role in applications like the Internet of Things (IoT) and robotics. While r…
Reactive Control Meets Runtime Verification: A Case Study of Navigation
Dogan Ulus, Calin Belta
This paper presents an application of specification based runtime verification techniques to control mobile robots in a reactive manner. In our case study, we develop a layered con…
Online Monitoring of Metric Temporal Logic using Sequential Networks
Dogan Ulus
Metric Temporal Logic (MTL) is a popular formalism to specify temporal patterns with timing constraints over the behavior of cyber-physical systems with application areas ranging i…