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.
Tobias Runge, Ina Schaefer, Alexander Knüppel, Loek Cleophas, Derrick Kourie, and Bruce W. Watson. Tool support for Confidentiality by Construction. In HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems (HILT'18), November 2018. To appear.
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick Kourie, and Bruce W. Watson. Towards Confidentiality-by-Construction. In 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'18), November 2018. Springer.