#### Filter Results:

- Full text PDF available (11)

#### Publication Year

2005

2013

- This year (0)
- Last 5 years (6)
- Last 10 years (14)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

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

- Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane
- CONCUR
- 2011

Timed automata follow a mathematical semantics, which assumes perfect precision and synchrony of clocks. Since this hypothesis does not hold in digital systems, properties proven formally on a timed automaton may be lost at implementation. In order to ensure implementability, several approaches have been considered, corresponding to different hypotheses on… (More)

- 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 quantitative model of weighted transition systems, where transitions are labeled with elements of a finite metric space. We study the so-called point-wise 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 qualitative in nature, and therefore fragile in the sense that the inevitable approximation of systems by models, combined with the fundamental… (More)

Specification theories as a tool in the development process of component-based software systems have recently attracted a considerable attention. Current specification theories are however qualitative in nature and hence fragile and unsuited for modern software systems. We propose the first specification theory which allows to capture quantitative aspects… (More)

- Kim G. Larsen, Ulrich Fahrenberg, Claus R. Thrane
- MEMICS
- 2009

We extend the usual notion of Kripke Structures with a weighted transition relation, and generalize the usual Boolean satisfaction relation of CTL to a map which assigns to states and temporal formulae a real-valued distance describing the degree of satisfaction. We describe a general approach to obtaining quantitative interpretations for a generic… (More)

- Ulrich Fahrenberg, Claus R. Thrane, Kim G. Larsen
- QAPL
- 2011

We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system traces, we show how this leads to natural definitions of a linear and a branching distance on states of such a transition system. We show that our framework generalizes and unifies a… (More)

- Ulrich Fahrenberg, Kim G. Larsen, Claus R. Thrane
- FSEN
- 2009

Particular attention will be given to the theory of the underlying formalisms of the UPPAAL tool suite, including: timed automata, priced timed automata, and (priced) timed games addressing a number of associated decision problems related to model-checking and optimal scheduling and strategies. The lectures will highlight the by now classical… (More)

- Ulrich Fahrenberg, Kim G. Larsen, Claus R. Thrane
- Software and Systems Safety - Specification and…
- 2011