#### Filter Results:

- Full text PDF available (41)

#### Publication Year

2003

2018

- This year (7)
- Last 5 years (36)
- Last 10 years (55)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Patricia Bouyer, Ulrich Fahrenberg, Kim G. Larsen, Nicolas Markey, JirÃ Srba
- FORMATS
- 2008

We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the accumulatedâ€¦ (More)

- Patricia Bouyer, Ulrich Fahrenberg, Kim G. Larsen, Nicolas Markey
- Commun. ACM
- 2011

Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.

A reparametrization (of a continuous path) is given by a surjective weakly increasing self-map of the unit interval. We show that the monoid of reparametrizations (with respect to compositions) canâ€¦ (More)

- Claus R. Thrane, Ulrich Fahrenberg, Kim G. Larsen
- J. Log. Algebr. Program.
- 2010

- Kim G. Larsen, Ulrich Fahrenberg, Claus R. Thrane
- Theor. Comput. Sci.
- 2011

Simulation distances are essentially an approximation of simulation which provide a measure of the extent by which behaviors in systems are inequivalent. In this paper, we consider the generalâ€¦ (More)

- Ulrich Fahrenberg, Axel Legay, Andrzej Wasowski
- MoDELS
- 2011

Syntactic difference between models is a wide research area with applications in tools for model evolution, model synchronization and version control. On the other hand, semantic difference betweenâ€¦ (More)

- Nikola Benes, BenoÃ®t Delahaye, Ulrich Fahrenberg, Jan KretÃnskÃ½, Axel Legay
- CONCUR
- 2013

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics andâ€¦ (More)

- Sebastian S. Bauer, Ulrich Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
- Formal Methods in System Design
- 2013

Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification theories are howeverâ€¦ (More)

- Ulrich Fahrenberg, Line Juhl, Kim G. Larsen, JirÃ Srba
- ICTAC
- 2011

Energy games have recently attracted a lot of attention. These are games played on finite weighted automata and concern the existence of infinite runs subject to boundary constraints on theâ€¦ (More)

- Ulrich Fahrenberg
- Electr. Notes Theor. Comput. Sci.
- 2004

We introduce a new notion of directed homology for cubical sets with connections and transpositions. We show that it respects directed homotopy and is functorial, and that it reduces to the usualâ€¦ (More)