18 citations · 18 across the 4 of their papers we have counts for
4 papers
Parameterized Metatheory for Continuous Markovian Logic
Kim G. Larsen, Radu Mardare, Claus Thrane
This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes.…
Proceedings Quantities in Formal Methods
Uli Fahrenberg, Axel Legay, Claus Thrane
This volume contains the proceedings of the Workshop on Quantities in Formal Methods, QFM 2012, held in Paris, France on 28 August 2012. The workshop was affiliated with the 18th S…
Weighted Modal Transition Systems
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl +3
Specification theories as a tool in model-driven development processes of component-based software systems have recently attracted a considerable attention. Current specification t…
Distances for Weighted Transition Systems: Games and Properties
Uli Fahrenberg, Claus Thrane, Kim G. Larsen
We develop a general framework for reasoning about distances between transition systems with quantitative information. Taking as starting point an arbitrary distance on system trac…