Claus R. Thrane

Learn 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)
Simulation distances are essentially an approximation of simulation which provide a measure of the extent by which behaviors in systems are inequiv-alent. 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)
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)
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)
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)
The lectures will provide a thorough tutorial of the tool UPPAAL and the newly emerged branches UPPAAL Cora, UPPAAL Tron and UPPAAL Tiga (see www.uppaal.com) and their applications to the modeling, simulation, verification, optimal scheduling and planning synthesis, and testing. Particular attention will be given to the theory of the underlying formalisms(More)