Research Assistant

Email
Telefon: +49 351 463 38434
Google Scholar
Webseite

Clemens Dubslaff

Clemens studierte Mathematik und Informatik an der TU Dresden, bevor er im Rahmen eines gemeinsamen Studienprogramms mit der Neuen Universität Lissabon/Portugal seinen Abschluss in Computational Logic machte. Nach einem Forschungsaufenthalt am NICTA in Sydney/Australien wechselte er zurück an die TU Dresden und begann als wissenschaftlicher Mitarbeiter am Lehrstuhl von Prof. Dr. Christel Baier. Dort beschäftigte er sich zunächst mit der formalen Analyse von Kommunikationsprotokollen im Rahmen eines Stipendiums der Deutschen Telekom Stiftung. In seiner Dissertation entwickelte er neue Methoden zur quantitativen Analyse von konfigurierbaren und rekonfigurierbaren Systemen. Innerhalb von CeTI entwickelt Clemens Techniken zur Analyse, Erklärung und Erläuterung von taktilen Internetanwendungen.

Veröffentlichungen:

Projekte/Kooperationen innerhalb von CeTI, an denen Sie beteiligt sind:

K4 and TP5

Further Questions:

Was schätzen Sie an Ihrer Arbeit bei CeTI am meisten?

Der ganzheitliche Ansatz von CeTI bietet die einzigartige Möglichkeit, in einer Vielzahl von Bereichen und Fächern auf ein größeres Ziel hinzuarbeiten. Zu sehen, wie die eigene Grundlagenforschung den Weg zu konkreten Anwendungen ebnet, ist eine Freude und wirklich motivierend.

Was war Ihr bisher schönster Moment bei CeTI?

Der Moment, als das CeTI-Team die Ankündigung der DFG verfolgte, dass der Exzellenzcluster eingerichtet wird.

Was möchten Sie noch erforschen?

Neben der Forschung zu CeTI-Themen mit dem Schwerpunkt Mensch-Maschine-Koadaption entwickle ich Methoden zum Umgang mit hochkonfigurierbaren Computersystemen.

Wie verbringen Sie Ihre Freizeit?

Sport treiben und Musik machen.

Veröffentlichungen
17 Einträge « 1 von 2 »
1.

Clemens Dubslaff; Patrick Wienhöft; Ansgar Fehnker

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

In: Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM), 2021, (accepted for publication).

(BibTeX)

2.

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)

3.

Clemens Dubslaff

Quantitative analysis of configurable and reconfigurable systems (Promotionsarbeit)

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

(BibTeX)

4.

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)

5.

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

From verification to causality-based explications (Buchkapitel mit eigenem Titel)

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

(Links | BibTeX)

6.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Enhancing probabilistic model checking with ontologies (Artikel)

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

(Links | BibTeX)

7.

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

Human-inspired models for tactile computing (Buchkapitel)

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

(BibTeX)

8.

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 (Buchkapitel)

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

(BibTeX)

9.

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)

10.

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)

17 Einträge « 1 von 2 »