• Welcome to the Chair for Software and Systems Engineering
    Prof. Dr. Stefan Leue

Current news



Paper "Automated Repair for Timed Systems" accepted

We are glad to annouce that the paper entitled "Automated Repair for Timed Systems", authored by Martin Kölbl, Stefan Leue and Thomas Wies, has been accepted for publication in the journal Formal Methods in System Design.

Read more


There are no events in the current view.