Clemens Dubslaff

Citirano

	Sve	Od 2020.
Citati	942	612
H-indeks	15	13
i10-indeks	25	18

160

120

20142015201620172018201920202021202220232024202517 36 57 47 89 71 86 89 144 111 160 19

Javni pristup

Prikaži sve

37 članaka

8 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

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

Prati

Clemens Dubslaff

Eindhoven University of Technology | CeTI (TU Dresden)

Potvrđena adresa e-pošte na tue.nl - Početna stranica

Formal Methods Quantitative Analysis Explainability Software Product Lines


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	105	2018
Energy-utility quantiles C Baier, M Daum, C Dubslaff, J Klein, S Klüppelholz NASA Formal Methods Symposium, 285-299, 2014	73	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	59	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	58	2015
From verification to causality-based explications C Baier, C Dubslaff, F Funke, S Jantsch, R Majumdar, J Piribauer, ... arXiv preprint arXiv:2105.09533, 2021	50	2021
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	48	2018
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
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	40	2016
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	40	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	39	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	27	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	22	2019
Compositional feature-oriented systems C Dubslaff Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019	18	2019
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	15	2020
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
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	12	2015

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori