Clemens Dubslaff
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
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
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
Probabilistic model checking for feature-oriented systems
C Dubslaff, C Baier, S Klüppelholz
Transactions on Aspect-Oriented Software Development XII, 180-220, 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
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
Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat
P Chrszon, C Dubslaff, S Klüppelholz, C Baier
Fundamental Approaches to Software Engineering: 19th International …, 2016
Advances in symbolic probabilistic model checking with PRISM
J Klein, C Baier, P Chrszon, M Daum, C Dubslaff, S Klüppelholz, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 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
Probabilistic Model Checking and Non-standard Multi-objective Reasoning.
C Baier, C Dubslaff, S Klüppelholz, M Daum, J Klein, S Märcker, ...
FASE, 1-16, 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
Causality in configurable software systems
C Dubslaff, K Weis, C Baier, S Apel
Proceedings of the 44th International Conference on Software Engineering …, 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
Energy-utility analysis for resilient systems using probabilistic model checking
C Baier, C Dubslaff, S Klüppelholz, L Leuschner
Application and Theory of Petri Nets and Concurrency: 35th International …, 2014
Ontology-mediated probabilistic model checking
C Dubslaff, P Koopmann, AY Turhan
International Conference on Integrated Formal Methods, 194-211, 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: Essays Dedicated to Frank de Boer on …, 2016
Inter-procedural analysis of computer programs
A Fehnker, C Dubslaff
US Patent 8,296,735, 2012
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
Ratio and weight quantiles
D Krähmann, J Schubert, C Baier, C Dubslaff
Mathematical Foundations of Computer Science 2015: 40th International …, 2015
Components in probabilistic systems: suitable by construction
C Baier, C Dubslaff, H Hermanns, M Klauck, S Klüppelholz, MA Köhl
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20