STS Papers

Accepted papers

  • Sven-Thomas Antoni, Sascha Lehmann, Sibylle Schupp and Alexander Schlaefer, "An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction", CURAC Annual Conference 2019 (CURAC 2019)
  • 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

2019

2018

2017

2015

2014

2013

2012

2011

2010

2008