Under the slogan "Software, Technology and Systems (STS)", the institute combines fundamental research on descriptions and dependencies of software systems with practical issues and applications from both engineering and social sciences.
07.07.2021
EMSOFT21
Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
The paper "Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design" by Ole Lübke and Sibylle Schupp has been accepted at the <link https: esweek.org emsoft _blank>EMSOFT21 conference, which will be held as virtual conference this year.