| |
Dresden University of Technology
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| * | 2009 | |
|---|---|---|
| 6 | EE | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: A Uniform Framework for Modeling and Verifying Components and Connectors. COORDINATION 2009: 247-267 |
| 2008 | ||
| 5 | EE | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz: Formal Verification for Components and Connectors. FMCO 2008: 82-101 |
| 4 | EE | Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein: Reduction Techniques for Model Checking Markov Decision Processes. QEST 2008: 45-54 |
| 2007 | ||
| 3 | EE | Joachim Klein, Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. CIAA 2007: 51-61 |
| 2006 | ||
| 2 | EE | Joachim Klein, Christel Baier: Experiments with deterministic omega-automata for formulas of linear temporal logic. Theor. Comput. Sci. 363(2): 182-195 (2006) |
| 2005 | ||
| 1 | EE | Joachim Klein, Christel Baier: Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic. CIAA 2005: 199-212 |
| 1 | Christel Baier | [1] [2] [3] [4] [5] [6] |
| 2 | Tobias Blechmann | [5] [6] |
| 3 | Frank Ciesinski | [4] |
| 4 | Marcus Größer | [4] |
| 5 | Sascha Klüppelholz | [5] [6] |