| Energy-utility quantiles C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz NASA Formal Methods Symposium, 285-299, 2014 | 50 | 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 | 43 | 2014 |
| 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 | 40 | 2018 |
| Probabilistic model checking for feature-oriented systems C Dubslaff, C Baier, S Klüppelholz Transactions on Aspect-Oriented Software Development XII, 180-220, 2015 | 36 | 2015 |
| 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 | 32 | 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 | 32 | 2014 |
| 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 | 27 | 2016 |
| 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 | 25 | 2018 |
| 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, 96-123, 2014 | 24 | 2014 |
| 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 | 16 | 2014 |
| 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 | 13 | 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 | 10 | 2018 |
| Ratio and weight quantiles D Krähmann, J Schubert, C Baier, C Dubslaff International Symposium on Mathematical Foundations of Computer Science, 344-356, 2015 | 9 | 2015 |
| Mean-payoff optimization in continuous-time Markov chains with parametric alarms C Baier, C Dubslaff, L Korenčiak, A Kučera, V Řehák ACM Transactions on Modeling and Computer Simulation (TOMACS) 29 (4), 1-26, 2019 | 7 | 2019 |
| Modeling role-based systems with exogenous coordination P Chrszon, C Dubslaff, C Baier, J Klein, S Klüppelholz Theory and Practice of Formal Methods, 122-139, 2016 | 7 | 2016 |
| Inter-procedural analysis of computer programs A Fehnker, C Dubslaff US Patent 8,296,735, 2012 | 7 | 2012 |
| Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019 | 6 | 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, 38-56, 2018 | 6 | 2018 |
| Synthesis of optimal resilient control strategies C Baier, C Dubslaff, L Korenčiak, A Kučera, V Řehák International Symposium on Automated Technology for Verification and …, 2017 | 5 | 2017 |
| Components in probabilistic systems: suitable by construction C Baier, C Dubslaff, H Hermanns, M Klauck, S Klüppelholz, MA Köhl International Symposium on Leveraging Applications of Formal Methods, 240-261, 2020 | 4 | 2020 |
Christel BaierTU DresdenVerified email at tu-dresden.de
