| Energy-utility quantiles C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz NASA Formal Methods Symposium, 285-299, 2014 | 46 | 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 | 40 | 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 | 30 | 2018 |
| 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 | 30 | 2016 |
| Probabilistic model checking for feature-oriented systems C Dubslaff, C Baier, S Klüppelholz Transactions on Aspect-Oriented Software Development XII, 180-220, 2015 | 29 | 2015 |
| 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 | 29 | 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, 96-123, 2014 | 22 | 2014 |
| 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 | 21 | 2018 |
| 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 | 21 | 2016 |
| 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 | 14 | 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 | 12 | 2014 |
| 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 | 8 | 2019 |
| 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 | 8 | 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 | 8 | 2015 |
| Inter-procedural analysis of computer programs A Fehnker, C Dubslaff US Patent 8,296,735, 2012 | 7 | 2012 |
| From verification to synthesis under cost-utility constraints C Baier, C Dubslaff ACM SIGLOG News 5 (4), 26-46, 2018 | 4 | 2018 |
| 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 | 4 | 2018 |
| 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 | 4 | 2016 |
| Breaking the limits of redundancy systems analysis C Dubslaff, K Ding, A Morozov, C Baier, K Janschek arXiv preprint arXiv:1912.05364, 2019 | 3 | 2019 |
| 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 | 3 | 2017 |
Christel BaierTU DresdenVerified email at tu-dresden.de
