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
10|04|24 |
The new decision diagram framework OxiDD has been launched, accepted as tool paper, and received the EASST best paper award at TACAS'24 (together with N. Husung, H. Hermanns, M. A. Köhl). |
25|11|23 |
The article "Feature Causality" has been accepted for JSS (together with K. Weis, C. Baier, and S. Apel). |
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. |