Research Assistant

Email
Phone: +49 351 463 38434
Google Scholar
Website

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.

Publications:

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.

Publications:
18 Einträge « ‹ 1 of 2 › »
1.

Clemens Dubslaff; Kallistos Weis; Christel Baier; Sven Apel

Causality in configurable software systems (Inproceedings)

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

(BibTeX)

2.

Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker

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

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

(Links | BibTeX)

3.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Enhancing probabilistic model checking with ontologies (Journal Article)

In: Formal Aspects of Computing, 33 (6), pp. 885–921, 2021.

(Links | BibTeX)

4.

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

Admissibility in probabilistic argumentation (Inproceedings)

In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), 2021.

(Links | BibTeX)

5.

Clemens Dubslaff

Quantitative analysis of configurable and reconfigurable systems (PhD Thesis)

Technische Universität Dresden, Germany, 2021, (accepted for publication).

(BibTeX)

6.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Supporting ontology-mediated stream reasoning with model checking (Inproceedings)

In: Proceedings of the International Stream Reasoning Workshop (SR), 2021, (accepted for publication).

(BibTeX)

7.

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

From verification to causality-based explications (Incollection)

In: Bansal, Nikhil; Merelli, Emanuela; Worrell, James (Ed.): 48th International Colloquium on Automata, Languages, and Programming, 198 , pp. 1:1–20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021, (invited talk).

(Links | BibTeX)

8.

Christel Baier; Darío Cuevas Rivera; Clemens Dubslaff; Stefan J. Kiebel

Human-inspired models for tactile computing (Book Chapter)

In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 8, pp. 173–200, Academic Press, 2021.

(BibTeX)

9.

Uwe Aßmann; Christel Baier; Clemens Dubslaff; Dominik Grzelak; Simon Hanisch; Ardhi P. P. Hartono; Stefan Köpsell; Tianfang Lin; Thorsten Strufe

Tactile computing: Essential building blocks for the Tactile Internet (Book Chapter)

In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 13, pp. 301–326, Academic Press, 2021.

(BibTeX)

10.

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

Components in probabilistic systems: Suitable by construction (Incollection)

In: Margaria, Tiziana; Steffen, Bernhard (Ed.): Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 12476 , pp. 240–261, Springer, 2020.

(Links | BibTeX)

18 Einträge « ‹ 1 of 2 › »