Joachim Klein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
15
Active years
2007–2019
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ATVA | Generic Emptiness Check for Fun and Profit. | Christel Baier, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Mller, Jan Strejcek |
| 2019 | FM | From LTL to Unambiguous Bchi Automata via Disambiguation of Alternating Automata. | Simon Jantsch, David Mller, Christel Baier, Joachim Klein |
| 2019 | TACAS | The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
| 2017 | CAV | Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes. | Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich |
| 2017 | SEFM | Computing Conditional Probabilities: Implementation and Evaluation. | Steffen Mrcker, Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2017 | TACAS | Maximizing the Conditional Expected Reward for Reaching the Goal. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2016 | CAV | Markov Chains and Unambiguous Bchi Automata. | Christel Baier, Stefan Kiefer, Joachim Klein, Sascha Klppelholz, David Mller, James Worrell |
| 2016 | TACAS | Advances in Symbolic Probabilistic Model Checking with PRISM. | Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klppelholz, Steffen Mrcker, David Mller |
| 2015 | CAV | The Hanoi Omega-Automata Format. | Toms Babiak, Frantisek Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kretnsk, David Mller, David Parker, Jan Strejcek |
| 2014 | CSL | Weight monitoring with linear temporal logic: complexity and decidability. | Christel Baier, Joachim Klein, Sascha Klppelholz, Sascha Wunderlich |
| 2014 | FASE | Probabilistic Model Checking and Non-standard Multi-objective Reasoning. | Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich |
| 2014 | LATA | Are Good-for-Games Automata Good for Probabilistic Model Checking? | Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz |
| 2014 | TACAS | Computing Conditional Probabilities in Markovian Models Efficiently. | Christel Baier, Joachim Klein, Sascha Klppelholz, Steffen Mrcker |
| 2012 | FMICS | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |
| 2011 | BTW | Stets Wertvollstndig! - Snapshot Isolation fr das Constraint-basierte Datenbank-Caching. | Joachim Klein |
| 2011 | CONCUR | A Compositional Framework for Controller Synthesis. | Christel Baier, Joachim Klein, Sascha Klppelholz |
| 2011 | FMICS | Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. | Joachim Klein, Sascha Klppelholz, Andries Stam, Christel Baier |
| 2010 | ADBIS | Concurrency and Replica Control for Constraint-Based Database Caching. | Joachim Klein |
| 2010 | ISoLA | Design and Verification of Systems with Exogenous Coordination Using Vereofy. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz, Wolfgang Leister |
| 2009 | ADBIS | Optimizing Maintenance of Constraint-Based Database Caches. | Joachim Klein, Susanne Braun |
| 2009 | BTW | Selektives Laden und Entladen von Prdikatsextensionen beim Constraint-basierten Datenbank-Caching. | Joachim Klein, Susanne Braun, Gustavo Machado |
| 2009 | Coordination | A Uniform Framework for Modeling and Verifying Components and Connectors. | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klppelholz |
| 2007 | IDEAS | Examining the Performance of a Constraint-Based Database Cache. | Andreas Bhmann, Joachim Klein |