Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Claus R. Thrane (FSEN, 2009)

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. - Kim G. Larsen; Uli Fahrenberg; Claus R. Thrane (MEMICS, 2009)

Quantitative analysis of weighted transition systems. - Claus R. Thrane; Uli Fahrenberg; Kim G. Larsen (J. Log. Algebraic Methods Program., 2010)

Timed Automata Can Always Be Made Implementable. - Patricia Bouyer; Kim G. Larsen; Nicolas Markey; Ocan Sankur; Claus R. Thrane (CONCUR, 2011)

The Quantitative Linear-Time–Branching-Time Spectrum. - Uli Fahrenberg; Axel Legay; Claus R. Thrane (FSTTCS, 2011)

Quantitative Refinement for Weighted Modal Transition Systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (MFCS, 2011)

Distances for Weighted Transition Systems: Games and Properties - Uli Fahrenberg; Claus R. Thrane; Kim G. Larsen (QAPL, 2011)

Metrics for weighted transition systems: Axiomatization and complexity. - Kim G. Larsen; Uli Fahrenberg; Claus R. Thrane (Theor. Comput. Sci., 2011)

Model-Based Verification and Analysis for Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Claus R. Thrane (Software and Systems Safety - Specification and Verification, 2011)

General Quantitative Specification Theories with Modalities. - Sebastian S. Bauer; Uli Fahrenberg; Axel Legay; Claus R. Thrane (CSR, 2012)

Parameterized Metatheory for Continuous Markovian Logic - Kim G. Larsen; Radu Mardare; Claus R. Thrane (QFM, 2012)

Weighted modal transition systems. - Sebastian S. Bauer; Uli Fahrenberg; Line Juhl; Kim G. Larsen; Axel Legay; Claus R. Thrane (Formal Methods Syst. Des., 2013)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. - Uli Fahrenberg; Kim G. Larsen; Axel Legay; Claus R. Thrane (Engineering Dependable Software Systems, 2013)