Clemens Dubslaff

Cited by

	All	Since 2018
Citations	666	509
h-index	14	13
i10-index	19	15

140

105

201420152016201720182019202020212022202317 36 52 43 85 66 83 92 140 42

Public access

View all

27 articles

4 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
Anni-Yasmin TurhanTechnische Universität DresdenVerified email at tu-dresden.de
Patrick KoopmannResearcher, TU DresdenVerified email at tu-dresden.de
Sascha WunderlichTU DresdenVerified email at tu-dresden.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Simon JantschTechnische Universität DresdenVerified email at tu-dresden.de
Andrey MorozovUniversity of StuttgartVerified email at ias.uni-stuttgart.de
Klaus JanschekTU 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
Nikolai KäferTU DresdenVerified email at tu-dresden.de
A FehnkerUniversity of TwenteVerified email at utwente.nl
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Maximilian A. KöhlSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Sarah GagglTU-Dresden, Germany, Faculty of Computer Science, Logic Programming and Argumentation GroupVerified email at tu-dresden.de
Martin DillerTU DresdenVerified email at tu-dresden.de

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	73	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	58	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	52	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	48	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	40	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	39	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	37	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	31	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	28	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	23	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	22	2021
Causality in configurable software systems C Dubslaff, K Weis, C Baier, S Apel Proceedings of the 44th International Conference on Software Engineering …, 2022	18	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	18	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	15	2014
Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 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	12	2016
Inter-procedural analysis of computer programs A Fehnker, C Dubslaff US Patent 8,296,735, 2012	11	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	10	2018
Ratio and weight quantiles D Krähmann, J Schubert, C Baier, C Dubslaff Mathematical Foundations of Computer Science 2015: 40th International …, 2015	10	2015
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	9	2020

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