Claus Thrane

Available identifiers

zbMath Open thrane.claus-rMaRDI QIDQ549201

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4965817	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q2970258	2017-03-29	Paper
Weighted modal transition systems	2014-06-30	Paper
A quantitative characterization of weighted Kripke structures in temporal logic	2012-09-28	Paper
General Quantitative Specification Theories with Modalities	2012-09-10	Paper
The quantitative linear-time-branching-time spectrum	2012-08-31	Paper
Timed Automata Can Always Be Made Implementable	2011-09-02	Paper
Quantitative Refinement for Weighted Modal Transition Systems	2011-08-17	Paper
Metrics for weighted transition systems: axiomatization and complexity	2011-07-07	Paper
Quantitative analysis of weighted transition systems	2010-10-22	Paper
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems	2010-01-28	Paper

Research outcomes over time

This page was built for person: Claus Thrane