Welcome

I am Clemens Dubslaff, a computer scientist conducting research at the crossroads between theoretical computer science and software engineering. Currently, I work as an assistant professor in the formal system analysis group at TU Eindhoven (The Netherlands). I am also associated with TU Dresden (Germany) through the Cluster of Excellence CeTI and the Collaborative Research Center CPEC.

Research Interests

I am interested in formal methods and (probabilistic) model checking in particular. My research areas mainly cover symbolic methods, configurable systems analysis, explainability in formal methods, and reliability analysis.

News

03\|08\|23	I am happy to be awarded an NWO VENI grant for my project on symbolic verification and explainability.
20\|04\|23	Two papers accepted at IJCAI: "A Unifying Formal Approach to Importance Values in Boolean Functions" together with H. Harder, C. Baier, and S. Jantsch; and "More for Less: Safe Policy Improvement with Stronger Performance Guarantees" together with M. Suilen, P. Wienhöft, T. Simão, N. Jansen, and C. Baier.
15\|04\|23	The paper "Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access" has been accepted for NFM (together with C. Baier, P. Wienhöft, and S. J. Kiebel).
01\|03\|23	I am glad to provide a keynote about different notions of features in formal methods and software engineering on 30th of March at FOSD'23 (Ulm, Germany).
01\|01\|23	Together with Erika Abraham and Lizeth Tarifa I will chair ICTAC 2023, the 20th International Colloquium on Theoretical Aspects of Computing that will be located in Lima, Peru. Stay tuned for calls published soon.
17\|11\|22	The article "Interaction detection in configurable systems – A formal approach featuring roles" has been accepted for JSS (together with P. Chrszon, C. Baier, and S. Klüppelholz).