Claus R. Thrane

According to our database, Claus R. Thrane authored at least 13 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.

Uli Fahrenberg, Kim G. Larsen, Axel Legay, Claus R. Thrane

Proceedings of the Engineering Dependable Software Systems, 2013

Weighted modal transition systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Formal Methods Syst. Des., 2013

2012

Parameterized Metatheory for Continuous Markovian Logic

Kim G. Larsen, Radu Mardare, Claus R. Thrane

Proceedings of the Proceedings Quantities in Formal Methods, 2012

General Quantitative Specification Theories with Modalities.

Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane

Proceedings of the Computer Science - Theory and Applications, 2012

2011

Model-Based Verification and Analysis for Real-Time Systems.

Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

Proceedings of the Software and Systems Safety - Specification and Verification, 2011

Metrics for weighted transition systems: Axiomatization and complexity.

Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane

Theor. Comput. Sci., 2011

Distances for Weighted Transition Systems: Games and Properties

Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Quantitative Refinement for Weighted Modal Transition Systems.

Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

The Quantitative Linear-Time--Branching-Time Spectrum.

Uli Fahrenberg, Axel Legay, Claus R. Thrane

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Timed Automata Can Always Be Made Implementable.

Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Quantitative analysis of weighted transition systems.

Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen

J. Log. Algebraic Methods Program., 2010

2009

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic.

Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.

Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane

Proceedings of the Fundamentals of Software Engineering, 2009