Persoonlijk profiel

Research profile

Clemens Dubslaff is a computer scientist conducting research at the crossroads between theoretical computer science and software engineering. His overall goal is to improve reliability of computing systems. Modern systems become more and more complex while taking on more and more responsibilities even in critical areas of society. Hence, their reliability but also their explainability, to express reasons for their decisions and behavior, are of utter interest. Clemens develops techniques to unlock the analysis of large-scale computing systems and their explainability through symbolic formal methods. He is in particular interested in methods to cope with huge configuration and feature spaces.

Academic background

After B.Sc. studies in Mathematics and Computer Science at Dresden University of Technology (Germany), he obtained an M.Sc. in Computational Logic from NOVA University of Lisbon (Portugal). After returning to Dresden, he got a Ph.D. in formal methods at the chair of Christel Baier. In his doctoral thesis entitled “Quantitative Analysis of Configurable and Reconfigurable Systems” he settled foundations for a compositional modeling and formal analysis of variant-rich systems through probabilistic model checking. Currently, he is an assistant professor in the formal system analysis group at TU Eindhoven (The Netherlands).

Affiliated with

Externe posities

Research Associate, Centre for Tactile Internet with Human-in-the-Loop (CeTI)

1 jul. 2019 → …

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Clemens Dubslaff actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
  • Feature causality

    Dubslaff, C. (Corresponding author), Weis, K., Baier, C. & Apel, S., mrt. 2024, In: Journal of Systems and Software. 209, 19 blz., 111915.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
    14 Downloads (Pure)
  • Lazy model checking for recursive state machines

    Dubslaff, C. (Corresponding author), Wienhöft, P. (Corresponding author) & Fehnker, A., apr. 2024, In: Software and Systems Modeling. 23, 2, blz. 369-401 33 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
    Bestand
  • Negative Latency in the Tactile Internet as Enabler for Global Metaverse Immersion

    Schulz, J., Dubslaff, C., Seeling, P., Li, S. C., Speidel, S. & Fitzek, F. H. P., 2024, (Geaccepteerd/In druk) In: IEEE Network. XX, X, blz. 1 1 blz., 10466554.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • OxiDD - A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust.

    Husung, N., Dubslaff, C., Hermanns, H. & Köhl, M. A., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (uitgave). blz. 255-275 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
  • Towards a Formal Account on Negative Latency.

    Dubslaff, C., Schulz, J., Wienhöft, P., Baier, C., Fitzek, F. H. P., Kiebel, S. J. & Lehmann, J., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (uitgave). Springer, blz. 188-214 27 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14380 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)