Research Assistant

Phone: +49 351 463 38434
Google Scholar

Clemens Dubslaff

Clemens studied Mathematics and Computer Science at TU Dresden before graduating in Computational Logic through a joint study program with New University of Lisbon/Portugal. After a research stay at NICTA in Sydney/Australia, he moved back to TU Dresden and started at Prof. Dr. Christel Baiers chair as a research assistant. There, he first focused on the formal analysis of communication protocols under a grant by Deutsche Telekom Stiftung. In his Ph.D. thesis, he devised new methods for the quantitative analysis of configurable and reconfigurable systems. Within CeTI, Clemens develops techniques to analyze, explicate, and explain tactile internet applications.


Projects/Cooperation within CeTI you are involved in:

K4 and TP5

Further Questions:

What do you value most about your work at CeTI?

The holistic approach of CeTI provides the unique opportunity to strive towards one greater goal within a multitude of areas and subjects. To see own foundational research paving the way towards actual applications is a pleasure and truly motivating.

What was your best moment at CeTI so far?

The moment when the CeTI team watched the announcement by the DFG that the cluster of excellence will be established.

What else would you like to research?

Besides the research on CeTI topics focusing on human-machine co-adaptation, I am developing methods to handle highly configurable computer systems.

How do you spend your spare time?

Doing sports and doing music.

17 Einträge « 2 of 2 »

Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Reduction methods on error-propagation graphs for quantitative systems reliability analysis (Inproceedings)

In: Proceedings of the European Safety and Reliability Conference (ESREL) and Probabilistic Safety Assessment and Management Conference (PSAM), 2020.



Christel Baier; Clemens Dubslaff; Holger Hermanns; Michaela Klauck; Sascha Klüppelholz; Maximilian A Köhl

Components in probabilistic systems: Suitable by construction (Inproceedings)

In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pp. 240-261, 2020.



Clemens Dubslaff; Andrey Morozov; Christel Baier; Klaus Janschek

Iterative variable reordering: Taming huge system families (Incollection)

In: Fehnker, Ansgar; Garavel, Hubert (Ed.): Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS), 316 , pp. 121–133, Open Publishing Association, 2020.

(Links | BibTeX)


Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Ontology-mediated probabilistic model checking (Incollection)

In: Ahrendt, Wolfgang; Tarifa, Silvia L Tapia (Ed.): Integrated Formal Methods, 11918 , pp. 194–211, Springer, 2019, (Best Paper Award).

(Links | BibTeX)


Muhammad Usama Sardar; Clemens Dubslaff; Sascha Klüppelholz; Christel Baier; Akash Kumar

Performance evaluation of thermal-constrained scheduling strategies in multi-core systems (Incollection)

In: Gribaudo, Marco; Iacono, Mauro; Phung-Duc, Tuan; Razumchik, Rostislav (Ed.): Computer Performance Engineering, 12039 , pp. 133–147, Springer, 2019.



Clemens Dubslaff; Kai Ding; Andrey Morozov; Christel Baier; Klaus Janschek

Breaking the limits of redundancy systems analysis (Inproceedings)

In: Proceedings of the European Safety and Reliability Conference (ESREL), 2019.



Clemens Dubslaff

Compositional feature-oriented systems (Incollection)

In: Ølveczky, Peter C; Salaün, Gwen (Ed.): Software Engineering and Formal Methods, 11724 , pp. 162–180, Springer, 2019.


17 Einträge « 2 of 2 »