Dogan Ulus

Identifiers

No identifiers captured yet.

Papers (5)

1. Multi-Property Temporal Logic Monitoring cs.LO · 2026 · author #2
2. Reelay: Online Temporal Logic Monitoring Framework cs.LO · 2026 · author #1
3. Reactive Control Meets Runtime Verification: A Case Study of Navigation cs.RO · 2019 · author #1
4. Sequential Circuits from Regular Expressions Revisited cs.FL · 2018 · author #1
5. Montre: A Tool for Monitoring Timed Regular Expressions cs.FL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ar{\i}n\c{c} Demir 1 shared papers
• Calin Belta 1 shared papers