Các bài viết có thể truy cập công khai - Clemens DubslaffTìm hiểu thêm
Không có ở bất kỳ nơi nào: 9
Energy-utility quantiles
C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz
NASA Formal Methods Symposium, 285-299, 2014
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
Negative latency in the tactile internet as enabler for global metaverse immersion
J Schulz, C Dubslaff, P Seeling, SC Li, S Speidel, FHP Fitzek
IEEE Network, 2024
Các cơ quan ủy nhiệm: German Research Foundation, Federal Ministry of Education and Research, Germany
Interaction detection in configurable systems–A formal approach featuring roles
P Chrszon, C Baier, C Dubslaff, S Klüppelholz
Journal of Systems and Software 196, 111556, 2023
Các cơ quan ủy nhiệm: German Research Foundation
Compiling Binary Decision Diagrams with Interrupt-Based Downsizing
C Dubslaff, J Wirtz
Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024
Các cơ quan ủy nhiệm: Netherlands Organisation for Scientific Research
Family-Based Modeling and Analysis for Probabilistic Systems
P Chrszon, C Dubslaff, IS Klüppelholz, C Baier
Các cơ quan ủy nhiệm: German Research Foundation
Có tại một số nơi: 38
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
Probabilistic model checking for feature-oriented systems
C Dubslaff, C Baier, S Klüppelholz
Transactions on Aspect-Oriented Software Development XII, 180-220, 2015
Các cơ quan ủy nhiệm: German Research Foundation
Causality in configurable software systems
C Dubslaff, K Weis, C Baier, S Apel
Proceedings of the 44th International Conference on Software Engineering …, 2022
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
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
Các cơ quan ủy nhiệm: German Research Foundation
Ontology-mediated probabilistic model checking
C Dubslaff, P Koopmann, AY Turhan
International Conference on Integrated Formal Methods, 194-211, 2019
Các cơ quan ủy nhiệm: German Research Foundation
Compositional feature-oriented systems
C Dubslaff
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
Các cơ quan ủy nhiệm: German Research Foundation
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ