• 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

Events

There are no events in the current view.