Using haloes in mixed-signal assertion based verification. - Dogan Ulus; Alper Sen 001 (HLDVT, 2012)

Integrating circuit analyses for assertion-based verification of programmable AMS circuits. - Dogan Ulus; Alper Sen 001; I. Faik Baskaya (FDL, 2013)

Analog layer extensions for analog/mixed-signal assertion languages. - Dogan Ulus; Alper Sen 001; I. Faik Baskaya (VLSI-SoC, 2013)

Timed Pattern Matching. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Oded Maler (FORMATS, 2014)

Measuring with Timed Patterns. - Thomas Ferrère; Oded Maler; Dejan Nickovic; Dogan Ulus (CAV (2), 2015)

Online Timed Pattern Matching Using Derivatives. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Oded Maler (TACAS, 2016)

Derivatives of Quantitative Regular Expressions. - Rajeev Alur; Konstantinos Mamouras; Dogan Ulus (Models, Algorithms, Logics and Tools, 2017)

Montre: A Tool for Monitoring Timed Regular Expressions. - Dogan Ulus (CAV (1), 2017)

Combining the Temporal and Epistemic Dimensions for MTL Monitoring. - Eugene Asarin; Oded Maler; Dejan Nickovic; Dogan Ulus (FORMATS, 2017)

On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. - Alexey Bakhirkin; Thomas Ferrère; Oded Maler; Dogan Ulus (FORMATS, 2017)

DejaVu: A Monitoring Tool for First-Order Temporal Logic. - Klaus Havelund; Doron Peled; Dogan Ulus (MT@CPSWeek, 2018)

Embedded software for robotics: challenges and future directions: special session. - Houssam Abbas; Indranil Saha; Yasser Shoukry; Rüdiger Ehlers; Georgios Fainekos; Rajesh Gupta 001; Rupak Majumdar; Dogan Ulus (EMSOFT, 2018)

Specifying Timed Patterns using Temporal Logic. - Dogan Ulus; Oded Maler (HSCC, 2018)

Sequential Circuits from Regular Expressions Revisited. - Dogan Ulus (CoRR, 2018)

Pattern Matching with Time : Theory and Applications. (Filtrage par motif temporisé : Théorie et Applications). - Dogan Ulus (2018)

Timescales: A Benchmark Generator for MTL Monitoring Tools. - Dogan Ulus (RV, 2019)

Reactive Control Meets Runtime Verification: A Case Study of Navigation. - Dogan Ulus; Calin Belta (RV, 2019)

Online Monitoring of Metric Temporal Logic using Sequential Networks. - Dogan Ulus (CoRR, 2019)

First-order temporal logic monitoring with BDDs. - Klaus Havelund; Doron Peled; Dogan Ulus (Formal Methods Syst. Des., 2020)

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic. - Dejan Nickovic; Olivier Lebeltel; Oded Maler; Thomas Ferrère; Dogan Ulus (Int. J. Softw. Tools Technol. Transf., 2020)

On the Complexity of Timed Pattern Matching. - Eugene Asarin; Thomas Ferrère; Dejan Nickovic; Dogan Ulus (FORMATS, 2021)

Runtime Verification Containers for Publish/Subscribe Networks. - Ali Mehran; Dogan Ulus (CoRR, 2024)

Elements of Timed Pattern Matching. - Dogan Ulus; Thomas Ferrère; Eugene Asarin; Dejan Nickovic; Oded Maler (ACM Trans. Embed. Comput. Syst., 2024)