Clemens Dubslaff
Clemens Dubslaff
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
Energy-utility quantiles
C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz
NASA Formal Methods Symposium, 285-299, 2014
462014
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
402014
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
302018
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
302016
Probabilistic model checking for feature-oriented systems
C Dubslaff, C Baier, S Klüppelholz
Transactions on Aspect-Oriented Software Development XII, 180-220, 2015
292015
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
292014
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
222014
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
212018
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
212016
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
142014
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
122014
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
82019
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
82018
Ratio and weight quantiles
D Krähmann, J Schubert, C Baier, C Dubslaff
International Symposium on Mathematical Foundations of Computer Science, 344-356, 2015
82015
Inter-procedural analysis of computer programs
A Fehnker, C Dubslaff
US Patent 8,296,735, 2012
72012
From verification to synthesis under cost-utility constraints
C Baier, C Dubslaff
ACM SIGLOG News 5 (4), 26-46, 2018
42018
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
42018
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
42016
Breaking the limits of redundancy systems analysis
C Dubslaff, K Ding, A Morozov, C Baier, K Janschek
arXiv preprint arXiv:1912.05364, 2019
32019
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
32017
The system can't perform the operation now. Try again later.
Articles 1–20