Research Associate

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.

26 Einträge « 1 of 3 »

Hans Harder; Simon Jantsch; Christel Baier; Clemens Dubslaff

A unifying formal approach to importance values in Boolean functions (Proceedings Article)

In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2023.

(Links | BibTeX)


Patrick Wienhöft; Marnix Suilen; Thiago D. Simão; Clemens Dubslaff; Christel Baier; Nils Jansen

More for less: Safe policy improvement with stronger performance guarantees (Proceedings Article)

In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2023.

(Links | BibTeX)


Christel Baier; Clemens Dubslaff; Patrick Wienhöft; Stefan J. Kiebel

Strategy synthesis in Markov decision processes under limited sampling access (Book Section)

In: Rozier, Kristin Y.; Chaudhuri, Swarat (Ed.): NASA Formal Methods, vol. 13903, pp. 86–103, Springer, 2023.

(Links | BibTeX)


Philipp Chrszon; Christel Baier; Clemens Dubslaff; Sascha Klüppelholz

Interaction detection in configurable systems – A formal approach featuring roles (Journal Article)

In: Journal of Systems and Software, vol. 196, pp. 111556:1–21, 2023.

(Links | BibTeX)


Christel Baier; Clemens Dubslaff; Holger Hermanns; Nikolai Käfer

On the foundations of cycles in Bayesian networks (Book Section)

In: Raskin, Jean-François; Chatterjee, Krishnendu; Doyen, Laurent; Majumdar, Rupak (Ed.): Principles of Systems Design – Essay Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, vol. 13660, pp. 343–363, Springer, 2022.

(Links | BibTeX)


Clemens Dubslaff; Maximilian A. Köhl

Configurable-by-construction runtime monitoring (Book Section)

In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), vol. 13701, pp. 220–241, Springer, 2022.

(Links | BibTeX)


Nikolai Käfer; Christel Baier; Martin Diller; Clemens Dubslaff; Sarah A. Gaggl; Holger Hermanns

Admissibility in probabilistic argumentation (Journal Article)

In: Journal of Artificial Intelligence Research, vol. 74, pp. 957–1009, 2022.

(Links | BibTeX)


Christel Baier; Clemens Dubslaff; Florian Funke; Simon Jantsch; Jakob Piribauer; Robin Ziemek

Operational causality – Necessarily sufficient and sufficiently necessary (Book Section)

In: Jansen, Nils; Stoelinga, Mariëlle; van den Bos, Petra (Ed.): A Journey from Process Algebra via Timed Automata to Model Learning – Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, vol. 13560, pp. 27–45, Springer, 2022.

(Links | BibTeX)


Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel

Causality in configurable software systems (Proceedings Article)

In: Proceedings of the International Conference on Software Engineering (ICSE), 2022.

(Links | BibTeX)


Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker

Be lazy and don’t care: Faster CTL model checking for recursive state machines (Book Section)

In: Calinescu, Radu; Păsăreanu, Corina S. (Ed.): Software Engineering and Formal Methods, vol. 13085, pp. 332–350, Springer, 2021.

(Links | BibTeX)

26 Einträge « 1 of 3 »