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:
15 Einträge « 1 of 2 »
1.

Christel Baier; Martin Diller; Clemens Dubslaff; Sarah Alice 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, (accepted for publication).

(BibTeX)

2.

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)

3.

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)

4.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Enhancing probabilistic model checking with ontologies (Journal Article)

In: Formal Aspects of Computing, 2021, (early access).

(Links | BibTeX)

5.

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; Simsek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 8, pp. 173-200, Academic Press, 2021.

(BibTeX)

6.

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; Simsek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 13, pp. 301-326, Academic Press, 2021.

(BibTeX)

7.

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

From features to roles (Inproceedings)

In: Proceedings of the International Systems and Software Product Line Conference (SPLC), 2020.

(Links | BibTeX)

8.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Give inconsistency a chance: Semantics for ontology-mediated verification (Inproceedings)

In: Proceedings of the International Workshop on Description Logics (DL), 2020.

(BibTeX)

9.

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.

(BibTeX)

10.

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)

15 Einträge « 1 of 2 »