Claus R. Thrane

15 papers B 2Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2013 — ch.
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.
Engineering Dependable Software Systems
Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane
2013 J jnl
Weighted modal transition systems.
Formal Methods Syst. Des.
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2012 Misc conf
General Quantitative Specification Theories with Modalities.
CSR
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012 — conf
Parameterized Metatheory for Continuous Markovian Logic
QFM
Kim G. Larsen, Radu Mardare, Claus R. Thrane
2012 — ed.
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012.
QFM
Uli Fahrenberg, Axel Legay, Claus R. Thrane
2012 J jnl
Weighted Modal Transition Systems
CoRR
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011 — conf
Distances for Weighted Transition Systems: Games and Properties
QAPL
Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen
2011 J jnl
Metrics for weighted transition systems: Axiomatization and complexity.
Theor. Comput. Sci.
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2011 — ch.
Model-Based Verification and Analysis for Real-Time Systems.
Software and Systems Safety - Specification and Verification
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
2011 B conf
Quantitative Refinement for Weighted Modal Transition Systems.
MFCS
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane
2011 — conf
The Quantitative Linear-Time--Branching-Time Spectrum.
FSTTCS
Uli Fahrenberg, Axel Legay, Claus R. Thrane
2011 B conf
Timed Automata Can Always Be Made Implementable.
CONCUR
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane
2010 J jnl
Quantitative analysis of weighted transition systems.
J. Log. Algebraic Methods Program.
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen
2009 — conf
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic.
MEMICS
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane
2009 — conf
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.
FSEN
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane