Dr.
Research Associate

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

Clemens Dubslaff; Maximilian A. Köhl

Configurable-by-construction runtime monitoring (Incollection)

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

(Links | BibTeX)

2.

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)

3.

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

Operational causality – Necessarily sufficient and sufficiently necessary (Incollection)

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)

4.

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.

(Links | BibTeX)

5.

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, vol. 13085, pp. 332–350, Springer, 2021.

(Links | BibTeX)

6.

Clemens Dubslaff; Patrick Koopmann; Anni-Yasmin Turhan

Enhancing probabilistic model checking with ontologies (Journal Article)

In: Formal Aspects of Computing, vol. 33, no. 6, pp. 885–921, 2021.

(Links | BibTeX)

7.

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)

8.

Clemens Dubslaff

Quantitative analysis of configurable and reconfigurable systems (PhD Thesis)

Technische Universität Dresden, Germany, 2021.

(Links | BibTeX)

9.

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.

(BibTeX)

10.

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, vol. 198, pp. 1:1–20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021, (invited talk).

(Links | BibTeX)

21 Einträge « 1 of 3 »