Clemens Dubslaff

Cited by

	All	Since 2019
Citations	911	655
h-index	15	14
i10-index	23	18

160

120

2014201520162017201820192020202120222023202417 38 54 47 86 73 89 91 147 113 140

Public access

View all

37 articles

7 articles

available

not available

Based on funding mandates

Co-authors

Christel BaierTU DresdenVerified email at tu-dresden.de
Sascha KlüppelholzWissenschaftlicher Mitarbeiter (PostDoc) Technische Universität DresdenVerified email at tcs.inf.tu-dresden.de
Joachim KleinTU Dresden (formerly)Verified email at automata.tools
Steffen MärckerFaculty of Computer Science, TU DresdenVerified email at tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Anni-Yasmin TurhanPaderborn UniversityVerified email at uni-paderborn.de
Patrick KoopmannVrije Universiteit AmsterdamVerified email at vu.nl
Kallistos WeisSaarland UniversityVerified email at cs.uni-saarland.de
Sven ApelProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Simon JantschTechnische Universität DresdenVerified email at tu-dresden.de
Maximilian A. KöhlSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Patrick WienhöftCeTI | Chair of algebraic and logic foundations of Computer Science, TU DresdenVerified email at tu-dresden.de
Sascha WunderlichTU DresdenVerified email at tu-dresden.de
Andrey MorozovUniversity of StuttgartVerified email at ias.uni-stuttgart.de
Klaus JanschekTU DresdenVerified email at tu-dresden.de
Nikolai KäferTU DresdenVerified email at tu-dresden.de
Vojtech RehakMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Antonin KuceraMasaryk UniversityVerified email at fi.muni.cz
Ľuboš KorenčiakFaculty of Informatics, Masaryk University, BrnoVerified email at fi.muni.cz
A FehnkerMacquarie UniversityVerified email at mq.edu.au

Clemens Dubslaff

Eindhoven University of Technology | CeTI (TU Dresden)

Verified email at tue.nl - Homepage

Formal Methods Quantitative Analysis Explainability Software Product Lines


Title Sort by citations Sort by year Sort by 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	100	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	71	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	57	2015
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	55	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	49	2018
From verification to causality-based explications C Baier, C Dubslaff, F Funke, S Jantsch, R Majumdar, J Piribauer, ... arXiv preprint arXiv:2105.09533, 2021	46	2021
Causality in configurable software systems C Dubslaff, K Weis, C Baier, S Apel Proceedings of the 44th International Conference on Software Engineering …, 2022	41	2022
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	41	2014
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	38	2016
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	38	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	31	2014
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	28	2014
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	25	2018
Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019	23	2019
Compositional feature-oriented systems C Dubslaff Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019	16	2019
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	15	2014
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	14	2020
Breaking the limits of redundancy systems analysis C Dubslaff, K Ding, A Morozov, C Baier, K Janschek arXiv preprint arXiv:1912.05364, 2019	13	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	13	2016
Ratio and weight quantiles D Krähmann, J Schubert, C Baier, C Dubslaff International Symposium on Mathematical Foundations of Computer Science, 344-356, 2015	13	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors