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