Clemens Dubslaff

Navedeno

	Vse	Od leta 2020
Navedbe	945	615
indeks h	15	13
indeks i10	25	18

160

120

20142015201620172018201920202021202220232024202517 36 57 47 89 71 87 88 144 111 160 22

Javni dostop

Prikaži vse

38 člankov

10 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

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

Spremljaj

Clemens Dubslaff

Eindhoven University of Technology | CeTI (TU Dresden)

Preverjeni e-poštni naslov na tue.nl - Domača stran

Formal Methods Quantitative Analysis Explainability Software Product Lines


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	106	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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji