Claus R. Thrane

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Transition Systems

Formal Specification

Top Venues

Formal Methods Syst. Des.

Publications

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted modal transition systems. Formal Methods Syst. Des. 42 (2) (2013)
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
General Quantitative Specification Theories with Modalities. CSR (2012)
Kim G. Larsen, Radu Mardare, Claus R. Thrane
Parameterized Metatheory for Continuous Markovian Logic QFM (2012)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Weighted Modal Transition Systems CoRR (2012)
Uli Fahrenberg, Axel Legay, Claus R. Thrane
The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS (2011)
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane
Timed Automata Can Always Be Made Implementable. CONCUR (2011)
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412 (28) (2011)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
Quantitative Refinement for Weighted Modal Transition Systems. MFCS (2011)
Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
Distances for Weighted Transition Systems: Games and Properties QAPL (2011)
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen
Quantitative analysis of weighted transition systems. J. Log. Algebraic Methods Program. 79 (7) (2010)
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN (2009)
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS (2009)