Dogan Ulus

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 21

Top Venues

CoRR

FORMATS

ACM Trans. Embed. Comput. Syst.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

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

Dogan Ulus.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dogan Ulus