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.
05.03.2019
STS-Paper at FormaliSE 2019
Static Analysis for Worst-Case Battery Utilization
The paper "Static Analysis for Worst-Case Battery Utilization" by Dmitry Ivanov and Sibylle Schupp has been accepted at the 7th International Conference on Formal Methods in Software Engineering (<link https: www.formalise.org _blank>FormaliSE 2019) in Montréal.