Follow
Clemens Dubslaff
Title
Cited by
Cited by
Year
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
992018
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
712014
Probabilistic model checking for feature-oriented systems
C Dubslaff, C Baier, S Klüppelholz
Transactions on Aspect-Oriented Software Development XII, 180-220, 2015
572015
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
552014
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
492018
From verification to causality-based explications
C Baier, C Dubslaff, F Funke, S Jantsch, R Majumdar, J Piribauer, ...
arXiv preprint arXiv:2105.09533, 2021
442021
Causality in configurable software systems
C Dubslaff, K Weis, C Baier, S Apel
Proceedings of the 44th International Conference on Software Engineering …, 2022
412022
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
412014
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
382016
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
382016
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
312014
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
282014
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
242018
Ontology-mediated probabilistic model checking
C Dubslaff, P Koopmann, AY Turhan
International Conference on Integrated Formal Methods, 194-211, 2019
232019
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
152014
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
142020
Compositional feature-oriented systems
C Dubslaff
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
142019
Breaking the limits of redundancy systems analysis
C Dubslaff, K Ding, A Morozov, C Baier, K Janschek
arXiv preprint arXiv:1912.05364, 2019
132019
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
132016
Ratio and weight quantiles
D Krähmann, J Schubert, C Baier, C Dubslaff
International Symposium on Mathematical Foundations of Computer Science, 344-356, 2015
132015
The system can't perform the operation now. Try again later.
Articles 1–20