32 citations · 45 across the 6 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LO2026
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…
cs.LO2026
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…
cs.LO2026
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…