STS Papers

Accepted papers

  • Dmitry Ivanov and Sibylle Schupp, "Static Analysis for Worst-Case Battery Utilization", 7th International Conference on Formal Methods in Software Engineering (FormaliSE 2019) (link)
  • Wolfgang Schulz, Florian Wittner, Kai Bavendiek and Sibylle Schupp, "Modeling and verification in GDPR's Data Protection Impact Assessment", 12th international conference on Computers, Privacy, and Data Protection (CPDP 2019), Jan 2019

Published papers

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008