ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States
Clemens Dubslaff

Registered user since Wed 2 Feb 2022

Name:Clemens Dubslaff
Bio:

Clemens Dubslaff is an assistant professor in the formal system analysis group at Eindhoven University of Technology, The Netherlands. He obtained his Ph.D. at Dresden University of Technology, Germany, with a dissertation about quantitative analysis of configurable and reconfigurable systems. In his M.Sc. in Computational Logic (TU Dresden and New University Lisbon, Portugal) he investigated model-checking algorithms for fault-tolerant communication protocols.

Country:Netherlands
Affiliation:Eindhoven University of Technology
Research interests:Formal Methods

Contributions

Show activities from other conferences

Using general profile