Claus Thrane
Claus Thrane
Assistant Professor, Dept. of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
The Quantitative Linear-Time–Branching-Time Spectrum
U Fahrenberg, A Legay, C Thrane
IARCS Annual Conference on Foundations of Software Technology andá…, 2011
532011
Quantitative analysis of weighted transition systems
C Thrane, U Fahrenberg, KG Larsen
The Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010
532010
Timed automata can always be made implementable
P Bouyer, KG Larsen, N Markey, O Sankur, C Thrane
International Conference on Concurrency Theory, 76-91, 2011
292011
Metrics for weighted transition systems: Axiomatization and complexity
KG Larsen, U Fahrenberg, C Thrane
Theoretical Computer Science 412 (28), 3358-3369, 2011
292011
Quantitative refinement for weighted modal transition systems
SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane
International Symposium on Mathematical Foundations of Computer Science, 60-71, 2011
232011
Weighted modal transition systems
SS Bauer, U Fahrenberg, L Juhl, KG Larsen, A Legay, C Thrane
Formal Methods in System Design 42 (2), 193-220, 2013
222013
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
KG Larsen, U Fahrenberg, C Thrane
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computerá…, 2009
22*2009
Distances for weighted transition systems: Games and properties
U Fahrenberg, C Thrane, KG Larsen
Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL), 2011
212011
General quantitative specification theories with modalities
SS Bauer, U Fahrenberg, A Legay, C Thrane
International Computer Science Symposium in Russia, 18-30, 2012
152012
Verification, performance analysis and controller synthesis for real-time systems
U Fahrenberg, KG Larsen, CR Thrane
International Conference on Fundamentals of Software Engineering, 34-61, 2009
122009
Slicing for UPPAAL.
U S°rensen, C Thrane
Aalborg University. Department of Computer Science, 2007
92007
Slicing for UPPAAL
C Thrane, U S°rensen
Student Paper, 2008 Annual IEEE Conference, 1-5, 2008
82008
Model-based Verification and Analysis for Real-Time Systems
U Fahrenberg, KG Larsen, C Thrane
NATO Science for Peace and Security Series - D: Information andá…, 2011
52011
Quantitative Models and Analysis for Reactive Systems
C Thrane
Department of Computer Science, Aalborg University, 2011
32011
Quantitative analysis of weighted transition systems
U Fahrenberg, KG Larsen, CR Thrane
Journal of Logic and Algebraic Programming 79 (7), 689-703, 2010
12010
Quantitative simulations of weighted transition systems
C Thrane, U Fahrenberg, KG Larsen
Proc. 20th Nordic Workshop on Programming Theory (NWPT’08), 97-99, 2008
12008
On weighted labelled transition systems, quantitative relations and logic
C Thrane
Technical Report 1213005970, Dept. of Computer Science, Aalborg University, 2008
12008
Proceedings Quantities in Formal Methods
U Fahrenberg, A Legay, C Thrane
arXiv preprint arXiv:1212.3454, 2012
2012
Parameterized Metatheory for Continuous Markovian Logic
KG Larsen, R Mardare, C Thrane
2012
The Quantitative Linear-Time–Branching-Time Spectrum
C Thrane, U Fahrenberg, A Legay
FSTTCS'11, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20