Joachim Klein

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 18

Top Venues

CoRR

CAV (1)

J. Comput. Syst. Sci.

TACAS

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Christel Baier, Stefan Kiefer, Joachim Klein, David Müller, James Worrell
Markov chains and unambiguous automata. J. Comput. Syst. Sci. 136 (2023)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to unambiguous Büchi automata via disambiguation of alternating automata. Formal Methods Syst. Des. 58 (1-2) (2021)
Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Inf. Comput. 272 (2020)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. CoRR (2019)
Simon Jantsch, David Müller, Christel Baier, Joachim Klein
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata. FM (2019)
Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS (3) (2019)
Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejcek
Generic Emptiness Check for Fun and Profit. ATVA (2019)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Christel Baier, Philipp Chrszon, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination. It's All About Coordination (2018)
Steffen Märcker, Christel Baier, Joachim Klein, Sascha Klüppelholz
Computing Conditional Probabilities: Implementation and Evaluation. SEFM (2017)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Maximizing the Conditional Expected Reward for Reaching the Goal. CoRR (2017)
Lisa Hutschenreiter, Christel Baier, Joachim Klein
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination. GandALF (2017)
Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. CAV (1) (2017)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Maximizing the Conditional Expected Reward for Reaching the Goal. TACAS (2) (2017)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CAV (1) (2016)
Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling Role-Based Systems with Exogenous Coordination. Theory and Practice of Formal Methods (2016)
Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klüppelholz, David Müller, James Worrell
Markov Chains and Unambiguous Büchi Automata. CoRR (2016)
Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller
Advances in Symbolic Probabilistic Model Checking with PRISM. TACAS (2016)
Tomás Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretínský, David Müller, David Parker, Jan Strejcek
The Hanoi Omega-Automata Format. CAV (1) (2015)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. 81 (1) (2015)
Joachim Klein, Christel Baier, Sascha Klüppelholz
Compositional construction of most general controllers. Acta Informatica 52 (4-5) (2015)
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
Probabilistic Model Checking and Non-standard Multi-objective Reasoning. FASE (2014)
Christel Baier, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Probabilistic Model Checking for Energy-Utility Analysis. Horizons of the Mind (2014)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Sascha Wunderlich
Weight monitoring with linear temporal logic: complexity and decidability. CSL-LICS (2014)
Christel Baier, Joachim Klein, Sascha Klüppelholz
Synthesis of Reo Connectors for Strategies and Controllers. Fundam. Informaticae 130 (1) (2014)
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein, Sascha Klüppelholz
Energy-Utility Quantiles. NASA Formal Methods (2014)
Christel Baier, Joachim Klein, Sascha Klüppelholz, Steffen Märcker
Computing Conditional Probabilities in Markovian Models Efficiently. TACAS (2014)
Joachim Klein, David Müller, Christel Baier, Sascha Klüppelholz
Are Good-for-Games Automata Good for Probabilistic Model Checking? LATA (2014)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV (2012)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take? FMICS (2012)
Christel Baier, Joachim Klein, Sascha Klüppelholz
A Compositional Framework for Controller Synthesis. CONCUR (2011)
Christel Baier, Joachim Klein, Sascha Klüppelholz
Modeling and Verification of Components and Connectors. SFM (2011)
Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. FMICS (2011)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister
Design and Verification of Systems with Exogenous Coordination Using Vereofy. ISoLA (2) (2010)
Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electron. Notes Theor. Comput. Sci. 266 (2010)
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer
The Credo Methodology - (Extended Version). FMCO (2009)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION (2009)
Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Formal Verification for Components and Connectors. FMCO (2008)
Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein
Reduction Techniques for Model Checking Markov Decision Processes. QEST (2008)
Joachim Klein, Christel Baier
-Automata. CIAA (2007)
Joachim Klein, Christel Baier
-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363 (2) (2006)
Joachim Klein, Christel Baier
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA (2005)

Joachim Klein.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Joachim Klein