150 citations · 623 across the 65 of their papers we have counts for
6 papers · 2 filters
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…
Refinement and Difference for Probabilistic Automata
Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen +1
This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between…
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…
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
Uli Fahrenberg, Axel Legay
We show that history-preserving bisimilarity for higher-dimensional automata has a simple characterization directly in terms of higher-dimensional transitions. This implies that it…
A Robust Specification Theory for Modal Event-Clock Automata
Uli Fahrenberg, Axel Legay
In a series of recent work, we have introduced a general framework for quantitative reasoning in specification theories. The contribution of this paper is to show how this framewor…
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
Peter Bulychev, Alexandre David, Kim Gulstrand Larsen +4
This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of netwo…