4 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…
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…