Dogan Ulus

28 papers A 1B 3C 2Misc 1Journal 9Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Online Monitoring of Metric Temporal Logic using Sequential Networks.
Log. Methods Comput. Sci.
Dogan Ulus
2024 J jnl
Elements of Timed Pattern Matching.
ACM Trans. Embed. Comput. Syst.
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Dejan Nickovic, Oded Maler
2024 J jnl
Runtime Verification Containers for Publish/Subscribe Networks.
CoRR
Ali Mehran, Dogan Ulus
2021 — conf
On the Complexity of Timed Pattern Matching.
FORMATS
Eugene Asarin, Thomas Ferrère, Dejan Nickovic, Dogan Ulus
2020 J jnl
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2020 J jnl
First-order temporal logic monitoring with BDDs.
Formal Methods Syst. Des.
Klaus Havelund, Doron Peled, Dogan Ulus
2019 J jnl
Online Monitoring of Metric Temporal Logic using Sequential Networks.
CoRR
Dogan Ulus
2019 B conf
Reactive Control Meets Runtime Verification: A Case Study of Navigation.
RV
Dogan Ulus, Calin Belta
2019 J jnl
Reactive Control Meets Runtime Verification: A Case Study of Navigation.
CoRR
Dogan Ulus, Calin Belta
2019 B conf
Timescales: A Benchmark Generator for MTL Monitoring Tools.
RV
Dogan Ulus
2018 — conf
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
TACAS (2)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2018 — conf
DejaVu: A Monitoring Tool for First-Order Temporal Logic.
MT@CPSWeek
Klaus Havelund, Doron Peled, Dogan Ulus
2018 Misc conf
Embedded software for robotics: challenges and future directions: special session.
EMSOFT
Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
2018 — —
Pattern Matching with Time : Theory and Applications. (Filtrage par motif temporisé : Théorie et Applications).
Dogan Ulus
2018 J jnl
Sequential Circuits from Regular Expressions Revisited.
CoRR
Dogan Ulus
2018 — conf
Specifying Timed Patterns using Temporal Logic.
HSCC
Dogan Ulus, Oded Maler
2017 — conf
Combining the Temporal and Epistemic Dimensions for MTL Monitoring.
FORMATS
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
2017 — conf
Derivatives of Quantitative Regular Expressions.
Models, Algorithms, Logics and Tools
Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
2017 B conf
First order temporal logic monitoring with BDDs.
FMCAD
Klaus Havelund, Doron Peled, Dogan Ulus
2017 — conf
Montre: A Tool for Monitoring Timed Regular Expressions.
CAV (1)
Dogan Ulus
2017 — conf
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.
FORMATS
Alexey Bakhirkin, Thomas Ferrère, Oded Maler, Dogan Ulus
2016 J jnl
Montre: A Tool for Monitoring Timed Regular Expressions.
CoRR
Dogan Ulus
2016 A conf
Online Timed Pattern Matching Using Derivatives.
TACAS
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
2015 — conf
Measuring with Timed Patterns.
CAV (2)
Thomas Ferrère, Oded Maler, Dejan Nickovic, Dogan Ulus
2014 — conf
Timed Pattern Matching.
FORMATS
Dogan Ulus, Thomas Ferrère, Eugene Asarin, Oded Maler
2013 C conf
Analog layer extensions for analog/mixed-signal assertion languages.
VLSI-SoC
Dogan Ulus, Alper Sen, I. Faik Baskaya
2013 C conf
Integrating circuit analyses for assertion-based verification of programmable AMS circuits.
FDL
Dogan Ulus, Alper Sen, I. Faik Baskaya
2012 — conf
Using haloes in mixed-signal assertion based verification.
HLDVT
Dogan Ulus, Alper Sen