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). |