News

• Defended my PhD thesis Pattern Matching with Time: Theory and Applications successfully on 15 January 2018. Yay!

Recent Work

• Dogan Ulus. Sequential Circuits from Regular Expressions Revisited (Technical Report)
• Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. AMT2.0: Qualitative and quantitative trace analysis with extended signal temporal logic @TACAS 2018
• Dogan Ulus and Oded Maler. Specifying timed patterns using temporal logic @HSCC 2018

Selected Papers

• Klaus Havelund, Doron Peled, and Dogan Ulus. First-Order Temporal Logic Monitoring with BDDs @FMCAD 2017.
• Dogan Ulus. Montre: A tool for Monitoring Timed Regular Expressions @CAV 2017.
• Dogan Ulus, Thomas Ferrere, Eugene Asarin, and Oded Maler. Online Timed Pattern Matching using Derivatives @TACAS 2016.
• Dogan Ulus, Thomas Ferrere, Eugene Asarin, and Oded Maler. Timed Pattern Matching @FORMATS 2014.