Scholar
Clemens Dubslaff
Google Scholar ID: T6Y70LMAAAAJ
Eindhoven University of Technology | CeTI (TU Dresden)
Citations & Impact
Citations
698
H-index
14
i10-index
25
Publications
20
Co-authors
64
list available
Contact
Publications
Resume (English only)
Academic Achievements
- 25|11|23 - The article 'Feature Causality' has been accepted for JSS (joint work with K. Weis, C. Baier, and S. Apel).
- 03|08|23 - Awarded an NWO VENI grant for his project on symbolic verification and explainability.
- 20|04|23 - Two papers accepted at IJCAI: 'A Unifying Formal Approach to Importance Values in Boolean Functions' (joint work with H. Harder, C. Baier, and S. Jantsch); and 'More for Less: Safe Policy Improvement with Stronger Performance Guarantees' (joint work with M. Suilen, P. Wienhöft, T. Simão, N. Jansen, and C. Baier).
- 10|04|24 - The new decision diagram framework OxiDD has been launched, accepted as a tool paper, and received the EASST best paper award at TACAS'24 (joint work with N. Husung, H. Hermanns, and M. A. Köhl).
- 20|09|25 - The article 'Tailoring Binary Decision Diagram Compilation for Feature Models' has been accepted for JSS (joint work with N. Husung and N. Käfer).
Research Experience
- Currently working as an assistant professor in the formal system analysis group at TU Eindhoven; Also associated with TU Dresden through the Cluster of Excellence CeTI and the Collaborative Research Center CPEC.
Background
- A computer scientist conducting research at the crossroads between theoretical computer science and software engineering. Currently, he works as an assistant professor in the formal system analysis group at TU Eindhoven (The Netherlands). He is also associated with TU Dresden (Germany) through the Cluster of Excellence CeTI and the Collaborative Research Center CPEC.
