Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Claus R. Thrane

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/BauerFJLLT13
- ask others
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted modal transition systems. Formal Methods in System Design 42(2): 193-220 (2013)
2012
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csr/BauerFLT12
- ask others
Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus R. Thrane: General Quantitative Specification Theories with Modalities. CSR 2012: 18-30
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3872
- ask others
Kim G. Larsen, Radu Mardare, Claus R. Thrane: Parameterized Metatheory for Continuous Markovian Logic. QFM 2012: 33-47
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1212-3454
- ask others
Uli Fahrenberg, Axel Legay, Claus R. Thrane (Eds.): Proceedings Quantities in Formal Methods. EPTCS 103, 2012
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1210-5659
- ask others
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Weighted Modal Transition Systems. CoRR abs/1210.5659 (2012)
2011
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/LarsenFT11
- ask others
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: Metrics for weighted transition systems: Axiomatization and complexity. Theor. Comput. Sci. 412(28): 3358-3369 (2011)
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/BouyerLMST11
- ask others
Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus R. Thrane: Timed Automata Can Always Be Made Implementable. CONCUR 2011: 76-91
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsttcs/FahrenbergLT11
- ask others
Uli Fahrenberg, Axel Legay, Claus R. Thrane: The Quantitative Linear-Time--Branching-Time Spectrum. FSTTCS 2011: 103-114
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/BauerFJLLT11
- ask others
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus R. Thrane: Quantitative Refinement for Weighted Modal Transition Systems. MFCS 2011: 60-71
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1107-1205
- ask others
Uli Fahrenberg, Claus R. Thrane, Kim G. Larsen: Distances for Weighted Transition Systems: Games and Properties. QAPL 2011: 134-147
[p1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - series/natosec/FahrenbergLT11
- ask others
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Model-Based Verification and Analysis for Real-Time Systems. Software and Systems Safety - Specification and Verification 2011: 231-259
2010
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/ThraneFL10
- ask others
Claus R. Thrane, Uli Fahrenberg, Kim G. Larsen: Quantitative analysis of weighted transition systems. J. Log. Algebr. Program. 79(7): 689-703 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsen/FahrenbergLT09
- ask others
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane: Verification, Performance Analysis and Controller Synthesis for Real-Time Systems. FSEN 2009: 34-61
[c1]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/memics/LarsenFT09
- ask others
Kim G. Larsen, Uli Fahrenberg, Claus R. Thrane: A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic. MEMICS 2009