Joachim Klein

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