Travelled to:
1 × USA
Collaborated with:
∅ T.Ferrère O.Maler D.Nickovic
Talks about:
time (2) regular (1) pattern (1) monitor (1) express (1) measur (1) montr (1) tool (1)
Person: Dogan Ulus
DBLP: Ulus:Dogan
Contributed to:
Wrote 2 papers:
- CAV-2015-FerrereMNU
- Measuring with Timed Patterns (TF, OM, DN, DU), pp. 322–337.
- CAV-2017-Ulus #monitoring #named #regular expression
- Montre: A Tool for Monitoring Timed Regular Expressions (DU), pp. 329–335.