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

Current news

 

 

Paper Accepted for ISOLA 2021

The paper "An Algorithm to Compute a Strict PartialOrdering of Actions in Action Traces", authored by Martin Kölbl and Stefan Leue (University of Konstanz) has been accepted for the 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), to be held in Rhodes, Greece, in October 2021.

Paper Accepted for FORMATS 2020

The paper "Dynamic Causes for the Violation of Timed Reachability Properties", authored by Martin Kölbl, Stefan Leue and Robert Schmid (University of Konstanz) has been accepted for the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), to be held in Vienna, Austria, in September 2020.

Paper Accepted for CAV 2020

The paper "TarTar: A Timed Automata Repair Tool", authored by Martin Kölbl, Stefan Leue and Thomas Wies (New York University) has been accepted for the 32st International Conference on Computer-Aided Verification CAV 2020, to be held in Los Angeles in July, 2020.

Read more

Events

There are no events in the current view.