Joachim Klein
Joachim Klein
TU Dresden (formerly)
Bestätigte E-Mail-Adresse bei automata.tools - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Experiments with deterministic ω-automata for formulas of linear temporal logic
J Klein, C Baier
Theoretical Computer Science 363 (2), 182-195, 2006
1042006
The Hanoi omega-automata format
T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ...
International Conference on Computer Aided Verification, 479-486, 2015
652015
A uniform framework for modeling and verifying components and connectors
C Baier, T Blechmann, J Klein, S Klüppelholz
International Conference on Coordination Languages and Models, 247-267, 2009
532009
Energy-utility quantiles
C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz
NASA Formal Methods Symposium, 285-299, 2014
522014
Reduction techniques for model checking Markov decision processes
F Ciesinski, C Baier, M Größer, J Klein
2008 Fifth International Conference on Quantitative Evaluation of Systems, 45-54, 2008
522008
Computing conditional probabilities in Markovian models efficiently
C Baier, J Klein, S Klüppelholz, S Märcker
International Conference on Tools and Algorithms for the Construction and …, 2014
472014
Ensuring the reliability of your model checker: Interval iteration for Markov decision processes
C Baier, J Klein, L Leuschner, D Parker, S Wunderlich
International Conference on Computer Aided Verification, 160-180, 2017
462017
Design and verification of systems with exogenous coordination using Vereofy
C Baier, T Blechmann, J Klein, S Klüppelholz, W Leister
International Symposium On Leveraging Applications of Formal Methods …, 2010
372010
Formal verification for components and connectors
C Baier, T Blechmann, J Klein, S Klüppelholz
International Symposium on Formal Methods for Components and Objects, 82-101, 2008
352008
On-the-Fly Stuttering in the Construction of Deterministic ω-Automata
J Klein, C Baier
International Conference on Implementation and Application of Automata, 51-61, 2007
332007
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
322019
Weight monitoring with linear temporal logic: complexity and decidability
C Baier, J Klein, S Klüppelholz, S Wunderlich
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014
322014
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Journal on Software Tools for Technology Transfer 20 (2), 179-194, 2018
292018
Markov chains and unambiguous Büchi automata
C Baier, S Kiefer, J Klein, S Klüppelholz, D Müller, J Worrell
International Conference on Computer Aided Verification, 23-42, 2016
282016
Advances in symbolic probabilistic model checking with PRISM
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
282016
Probabilistic model checking for energy-utility analysis
C Baier, C Dubslaff, J Klein, S Klüppelholz, S Wunderlich
Horizons of the Mind. A Tribute to Prakash Panangaden, 96-123, 2014
252014
ltl2dstar-LTL to deterministic Streett and Rabin automata
J Klein
222007
The credo methodology
I Grabe, M Jaghoori, J Klein, S Klüppelholz, A Stam, C Baier, ...
Formal Methods for Components and Objects, 41-69, 2010
21*2010
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
L Hutschenreiter, C Baier, J Klein
arXiv preprint arXiv:1709.02093, 2017
202017
Linear time logic and deterministic omega-automata
J Klein
Master's thesis, Universitaet Bonn, 2005
192005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20