#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2012

2017

- This year (5)
- Last 5 years (10)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Dogan Ulus, Thomas FerrÃ¨re, Eugene Asarin, Oded Maler
- FORMATS
- 2014

Given a timed regular expression and a dense-time Boolean signal we compute the set of all matches of the expression in the signal, that is, the set of all segments of the signal that satisfy the regular expression. The set of matches is viewed as a set of points in a two-dimensional space with each point indicating the beginning and end of a matchingâ€¦ (More)

- Dogan Ulus
- CAV
- 2017

We present MONTRE, a monitoring tool to search patterns specified by timed regular expressions in symbolic behaviors of real-time systems. We use timed regular expressions as a compact, natural and highly-expressive specification language for monitoring applications involving timing constraints. Our tool essentially incorporates online and offline timedâ€¦ (More)

- Dogan Ulus, Alper Sen
- 2012 IEEE International High Level Designâ€¦
- 2012

We develop an assertion based verification solution for analog mixed-signal designs. We introduce the halo concept for analog signals to express them with their tolerance and variation values in assertions. The halo of a signal provides a relaxation over the signal and it defines an effective region for that signal which can be used in assertion basedâ€¦ (More)

- Dogan Ulus, Thomas FerrÃ¨re, Eugene Asarin, Oded Maler
- TACAS
- 2016

Timed pattern matching consists in finding all segments of a densetime Boolean signal that match a pattern defined by a timed regular expression. This problem has been formulated and solved in [17] via an offline algorithm that takes the signal and expression as inputs and produces the set of all matches, represented as a finite union of two-dimensionalâ€¦ (More)

- Thomas FerrÃ¨re, Oded Maler, Dejan Nickovic, Dogan Ulus
- CAV
- 2015

We propose a declarative measurement specification language for quantitative performance evaluation of hybrid (discrete-continuous) systems based on simulation traces. We use timed regular expressions with events to specify patterns that define segments of simulation traces over which measurements are to be taken. In addition, we associate measureâ€¦ (More)

- Alexey Bakhirkin, Thomas FerrÃ¨re, Oded Maler, Dogan Ulus
- FORMATS
- 2017

Signal regular expressions can specify sequential properties of realvalued signals based on threshold conditions, regular operations, and duration constraints. In this paper we endow them with a quantitative semantics which indicates how robustly a signal matches or does not match a given expression. First, we show that this semantics is a safeâ€¦ (More)

- Klaus Havelund, Doron A. Peled, Dogan Ulus
- 2017 Formal Methods in Computer Aided Designâ€¦
- 2017

Runtime verification is aimed at analyzing execution traces stemming from a running program or system. The traditional purpose is to detect the lack of conformance with respect to a formal specification. Numerous efforts in the field have focused on monitoring so-called parametric specifications, where events carry data, and formulas can refer to such.â€¦ (More)

- Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus
- FORMATS
- 2017

We define a new notion of satisfaction of a temporal logic formula Ï† by a behavior w. This notion, denoted by (w, t, tâ€²) |= Ï†, is characterized by two time parameters: the position t from which satisfaction is considered, and the end of the (finite) behavior tâ€² which indicates how much do we know about the behavior. We define this notion in dense time whereâ€¦ (More)

- Dogan Ulus, Alper Sen, I. Faik Baskaya
- Proceedings of the 2013 Forum on specificationâ€¦
- 2013

Digitally-programmable analog circuits provide reconfigurability and flexibility for next-generation electronic systems and modern electronic systems need such circuits more than ever. For verification of these circuits, the change in analog characteristics according to digital inputs should be monitored and checked to determine whether measured analogâ€¦ (More)

- Rajeev Alur, Konstantinos Mamouras, Dogan Ulus
- Models, Algorithms, Logics and Tools
- 2017

Quantitative regular expressions (QREs) have been recently proposed as a high-level declarative language for specifying complex numerical queries over data streams in a modular way. QREs have appealing theoretical properties, and each QRE can be compiled into an efficient streaming algorithm for its evaluation. In this paper, we generalize the notion ofâ€¦ (More)