Dogan Ulus
Scholar

Dogan Ulus

Google Scholar ID: YH75GSoAAAAJ
Bogazici University
Runtime VerificationCyber-Physical SystemsAutonomous SystemsFormal MethodsAutomata Theory
Google Scholar↗
Citations & Impact
All-time
Citations
604
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
3 items
Multi-Property Temporal Logic Monitoring
2026
Cited
0
Reelay: Online Temporal Logic Monitoring Framework
2026
Cited
0
Online Monitoring of Metric Temporal Logic using Sequential Networks
arXiv.org · 2019
Cited
16
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)