Welcome. I am Clemens Dubslaff.

Assistant Professor at Eindhoven University of Technology

As a computer scientist I am conducting research at the crossroads between theoretical computer science and software engineering. My main affiliation is the TU Eindhoven (The Netherlands), where I work as an assistant professor in the Formal System Analysis group. I am also member of the Center for Perspicuous Computing (CPEC).

My interests are in formal methods and (probabilistic) model checking in particular. My research areas mainly cover symbolic methods, configurable systems analysis, explainable formal methods, and reliability analysis.

News

20 Sep 2025

The article "Tailoring Binary Decision Diagram Compilation for Feature Models" has been accepted for JSS (joint work with N. Husung and N. Käfer).

10 Apr 2024

The new decision diagram framework OxiDD has been launched, accepted as tool paper, and received the EASST best paper award at TACAS'24 (joint work with N. Husung, H. Hermanns, and M. A. Köhl).

25 Nov 2023

The article "Feature Causality" has been accepted for JSS (joint work with K. Weis, C. Baier, and S. Apel).

03 Aug 2023

Awarded an NWO VENI grant for my project on symbolic verification and explainability.

20 Apr 2023

Two papers accepted at IJCAI: "A Unifying Formal Approach to Importance Values in Boolean Functions" and "More for Less: Safe Policy Improvement with Stronger Performance Guarantees".