| ProFeat: feature-oriented engineering for family-based probabilistic model checking P Chrszon, C Dubslaff, S Klüppelholz, C Baier Formal Aspects of Computing 30, 45-75, 2018 | 77 | 2018 |
| 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 | 62 | 2014 |
| Probabilistic model checking for energy analysis in software product lines C Dubslaff, S Klüppelholz, C Baier Proceedings of the 13th international conference on Modularity, 169-180, 2014 | 53 | 2014 |
| Probabilistic model checking for feature-oriented systems C Dubslaff, C Baier, S Klüppelholz Transactions on Aspect-Oriented Software Development XII, 180-220, 2015 | 51 | 2015 |
| 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 | 45 | 2018 |
| Trade-off analysis meets probabilistic model checking C Baier, C Dubslaff, S Klüppelholz Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 40 | 2014 |
| Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat P Chrszon, C Dubslaff, S Klüppelholz, C Baier International Conference on Fundamental Approaches to Software Engineering …, 2016 | 37 | 2016 |
| Advances in symbolic probabilistic model checking with PRISM J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ... International Conference on Tools and Algorithms for the Construction and …, 2016 | 34 | 2016 |
| 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 | 30 | 2014 |
| From verification to causality-based explications C Baier, C Dubslaff, F Funke, S Jantsch, R Majumdar, J Piribauer, ... arXiv preprint arXiv:2105.09533, 2021 | 29 | 2021 |
| Probabilistic model checking and non-standard multi-objective reasoning C Baier, C Dubslaff, S Klüppelholz, M Daum, J Klein, S Märcker, ... International Conference on Fundamental Approaches to Software Engineering, 1-16, 2014 | 26 | 2014 |
| Causality in configurable software systems C Dubslaff, K Weis, C Baier, S Apel Proceedings of the 44th International Conference on Software Engineering …, 2022 | 25 | 2022 |
| Stochastic shortest paths and weight-bounded properties in Markov decision processes C Baier, N Bertrand, C Dubslaff, D Gburek, O Sankur Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 19 | 2018 |
| Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019 | 16 | 2019 |
| Energy-utility analysis for resilient systems using probabilistic model checking C Baier, C Dubslaff, S Klüppelholz, L Leuschner International Conference on Applications and Theory of Petri Nets and …, 2014 | 15 | 2014 |
| Modeling role-based systems with exogenous coordination P Chrszon, C Dubslaff, C Baier, J Klein, S Klüppelholz Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 13 | 2016 |
| Inter-procedural analysis of computer programs A Fehnker, C Dubslaff US Patent 8,296,735, 2012 | 11 | 2012 |
| From features to roles P Chrszon, C Baier, C Dubslaff, S Klüppelholz Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 10 | 2020 |
| Compositional feature-oriented systems C Dubslaff Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 10 | 2019 |
| Energy-utility analysis of probabilistic systems with exogenous coordination C Baier, P Chrszon, C Dubslaff, J Klein, S Klüppelholz It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018 | 10 | 2018 |
Christel BaierTU DresdenVerified email at tu-dresden.de
