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

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).
03\|12\|21	The paper "Causality in Configurable Software Systems" has been accepted for ICSE 2022 (together with K. Weis, C. Baier, and S. Apel).