| Experiments with deterministic ω-automata for formulas of linear temporal logic J Klein, C Baier Theoretical Computer Science 363 (2), 182-195, 2006 | 133 | 2006 |
| Experiments with deterministic ω-automata for formulas of linear temporal logic J Klein, C Baier International Conference on Implementation and Application of Automata, 199-212, 2005 | 133 | 2005 |
| The Hanoi omega-automata format T Babiak, F Blahoudek, A Duret-Lutz, J Klein, J Křetínský, D Müller, ... Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 126 | 2015 |
| Ensuring the reliability of your model checker: Interval iteration for Markov decision processes C Baier, J Klein, L Leuschner, D Parker, S Wunderlich Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 95 | 2017 |
| 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 | 72 | 2019 |
| Energy-utility quantiles C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014 | 72 | 2014 |
| 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 | 68 | 2008 |
| Computing conditional probabilities in Markovian models efficiently C Baier, J Klein, S Klüppelholz, S Märcker Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014 | 64 | 2014 |
| A uniform framework for modeling and verifying components and connectors C Baier, T Blechmann, J Klein, S Klüppelholz Coordination Models and Languages: 11th International Conference …, 2009 | 58 | 2009 |
| 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 | 49 | 2018 |
| On-the-Fly Stuttering in the Construction of Deterministic ω-Automata J Klein, C Baier Implementation and Application of Automata: 12th International Conference …, 2007 | 49 | 2007 |
| Design and verification of systems with exogenous coordination using Vereofy C Baier, T Blechmann, J Klein, S Klüppelholz, W Leister Leveraging Applications of Formal Methods, Verification, and Validation: 4th …, 2010 | 45 | 2010 |
| Markov chains and unambiguous Büchi automata C Baier, S Kiefer, J Klein, S Klüppelholz, D Müller, J Worrell Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 41 | 2016 |
| Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination C Baier, C Hensel, L Hutschenreiter, S Junges, JP Katoen, J Klein Information and Computation 272, 104504, 2020 | 39 | 2020 |
| Advances in symbolic probabilistic model checking with PRISM J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ... Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 38 | 2016 |
| 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 | 38 | 2014 |
| Formal verification for components and connectors C Baier, T Blechmann, J Klein, S Klüppelholz Formal Methods for Components and Objects: 7th International Symposium, FMCO …, 2009 | 37 | 2009 |
| ltl2dstar-LTL to deterministic Streett and Rabin automata J Klein | 34 | 2007 |
| 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: Essays Dedicated to …, 2014 | 31 | 2014 |
| Maximizing the conditional expected reward for reaching the goal C Baier, J Klein, S Klüppelholz, S Wunderlich Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 30 | 2017 |
Christel BaierTU Dresden確認したメール アドレス: tu-dresden.de
