Dogan Ulus
Title
Cited by
Cited by
Year
Timed pattern matching
D Ulus, T Ferrère, E Asarin, O Maler
International Conference on Formal Modeling and Analysis of Timed Systems …, 2014
522014
First-order temporal logic monitoring with BDDs
K Havelund, D Peled, D Ulus
Formal Methods in System Design, 1-21, 2019
412019
Online timed pattern matching using derivatives
D Ulus, T Ferrère, E Asarin, O Maler
International Conference on Tools and Algorithms for the Construction and …, 2016
392016
Montre: A Tool for Monitoring Timed Regular Expressions
D Ulus
International Conference on Computer Aided Verification, 329-335, 2017
312017
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
D Ničković, O Lebeltel, O Maler, T Ferrère, D Ulus
International Journal on Software Tools for Technology Transfer 22 (6), 741-758, 2020
232020
Measuring with timed patterns
T Ferrere, O Maler, D Ničković, D Ulus
International Conference on Computer Aided Verification, 322-337, 2015
222015
On the quantitative semantics of regular expressions over real-valued signals
A Bakhirkin, T Ferrère, O Maler, D Ulus
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
212017
First-order Temporal Logic Monitoring with BDDs, FMCAD’17
K Havelund, D Peled, D Ulus
IEEE, 2017
82017
Derivatives of quantitative regular expressions
R Alur, K Mamouras, D Ulus
Models, algorithms, logics and tools, 75-95, 2017
82017
Using haloes in mixed-signal assertion based verification
D Ulus, A Sen
2012 IEEE International High Level Design Validation and Test Workshop …, 2012
62012
Online monitoring of metric temporal logic using sequential networks
D Ulus
arXiv preprint arXiv:1901.00175, 2019
52019
Sequential circuits from regular expressions revisited
D Ulus
arXiv preprint arXiv:1801.08979, 2018
52018
Specifying timed patterns using temporal logic
D Ulus, O Maler
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
42018
Dejavu: A monitoring tool for first-order temporal logic
K Havelund, D Peled, D Ulus
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
42018
Special session: Embedded software for robotics: Challenges and future directions
H Abbas, I Saha, Y Shoukry, R Ehlers, G Fainekos, R Gupta, R Majumdar, ...
2018 International Conference on Embedded Software (EMSOFT), 1-10, 2018
42018
Combining the temporal and epistemic dimensions for MTL monitoring
E Asarin, O Maler, D Nickovic, D Ulus
International Conference on Formal Modeling and Analysis of Timed Systems …, 2017
42017
Timescales: A Benchmark Generator for MTL Monitoring Tools
D Ulus
International Conference on Runtime Verification, 402-412, 2019
32019
Embedded software for robotics: Challenges and future directions: Special session
H Abbas, I Saha, Y Shoukry, R Ehlers, G Fainekos, R Gupta, R Majumdar, ...
Proceedings of the International Conference on Embedded Software, 1-10, 2018
22018
Reactive Control Meets Runtime Verification: A Case Study of Navigation
D Ulus, C Belta
International Conference on Runtime Verification, 368-374, 2019
12019
Pattern Matching with Time: Theory and Applications
D Ulus
Universite Grenoble-Alpes (UGA), 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20