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
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). |
01|11|22 |
I joined the formal system analysis group at Eindhoven University of Technology (The Netherlands). |
31|10|22 |
Together with Maurice ter Beek I will chair TiCSA 2023, the first Workshop on "Trends in Configurable Systems Analysis" that will be co-located with ETAPS 2023. Please consider to submit an abstract! |
02|08|22 |
The paper "Configurable-by-Construction Runtime Monitoring" has been accepted for ISoLA 2022 (together with M. A. Köhl). |
12|05|22 |
The article "Admissibility in Probabilistic Argumentation" has been accepted for JAIR (together with N. Käfer, C. Baier, M. Diller, S. A. Gaggl, and H. Hermanns). |