| ProFeat: feature-oriented engineering for family-based probabilistic model checking P Chrszon, C Dubslaff, S Klüppelholz, C Baier Formal Aspects of Computing 30 (1), 45-75, 2018 | 115 | 2018 |
| Energy-utility quantiles C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz NASA Formal Methods Symposium, 285-299, 2014 | 75 | 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 | 61 | 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 | 59 | 2021 |
| Probabilistic model checking for feature-oriented systems C Dubslaff, C Baier, S Klüppelholz Transactions on Aspect-Oriented Software Development XII, 180-220, 2015 | 59 | 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 | 49 | 2018 |
| Causality in configurable software systems C Dubslaff, K Weis, C Baier, S Apel Proceedings of the 44th International Conference on Software Engineering …, 2022 | 47 | 2022 |
| 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 | 41 | 2016 |
| 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 | 41 | 2016 |
| 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 |
| 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 |
| 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 | 27 | 2018 |
| 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 | 27 | 2014 |
| Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019 | 22 | 2019 |
| Compositional feature-oriented systems C Dubslaff International Conference on Software Engineering and Formal Methods, 162-180, 2019 | 19 | 2019 |
| OxiDD: a safe, concurrent, modular, and performant decision diagram framework in Rust N Husung, C Dubslaff, H Hermanns, MA Köhl International Conference on Tools and Algorithms for the Construction and …, 2024 | 18 | 2024 |
| 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 | 16 | 2020 |
| 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 | 16 | 2014 |
| Negative latency in the tactile internet as enabler for global metaverse immersion J Schulz, C Dubslaff, P Seeling, SC Li, S Speidel, FHP Fitzek IEEE Network 38 (5), 167-173, 2024 | 14 | 2024 |
| More for less: Safe policy improvement with stronger performance guarantees P Wienhöft, M Suilen, TD Simão, C Dubslaff, C Baier, N Jansen arXiv preprint arXiv:2305.07958, 2023 | 14 | 2023 |
Christel BaierTU DresdenVerified email at tu-dresden.de
