Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer. Lattice-Based Information Flow Control-by-Construction for Security-by-Design. InFormaliSE, 2020. To appear.
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, and Ina Schaefer. Skill-Based Verication of Cyber-Physical Systems. In FASE 2020. To appear.
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, and Ina Schaefer. Variational Correctness-by-Construction. In14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS'20), 2020.
T. Runge, T. Thüm, L. Cleophas, I. Schaefer, B. W. Watson: Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative UserStudy, REFINE, 2019 To appear.
T. Runge, I. Schaefer, L. Cleophas, T. Thüm, D. G. Kourie, B. W. Watson: Tool Support for Correctness-by-Construction, Proc. of the International Conference on Fundamental Approaches to Software Engineering (FASE), Springer, 2019.
T. Runge, I. Schaefer, A. Knüppel, L. Cleophas, D. G. Kourie, B. W. Watson: Tool support for Confidentiality by Construction, HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems (HILT'18), 2018.
I. Schaefer, T. Runge, A. Knüppel, L. Cleophas, D. G. Kourie, B. W. Watson: Towards Confidentiality-by-Construction, International Symposium on Leveraging Applications of Formal Methods, Springer, 2018