Home > Publications > Publikationen

Publications of David Schubert


Our publications from 2019:




Our publications from 2018:



Gerking, Christopher; Schubert, David: Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems. In: European Conference on Software Architecture (ECSA 2018), Lecture Notes in Computer Science, number 11048 , pp. 147-155, Sep 24 - 28, 2018, Springer (more)

Gerking, Christopher; Schubert, David; Bodden, Eric: Model Checking the Information Flow Security of Real-Time Systems. In: International Symposium on Engineering Secure Software and Systems (ESSoS 2018), number 10953 , pp. 27-43, June 26 - 27, 2018, Springer (more)


Our publications from 2017:



Gerking, Christopher; Schubert, David; Budde, Ingo: Reducing the Verbosity of Imperative Model Refinements by using General-Purpose Language Facilities. In: Guerra, Esther; van den Brand, Mark (eds.) Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Lecture Notes in Computer Science, number 10374 , pp. 19-34, Marburg, July 17 - 18, 2017, Springer (more)


Our publications from 2016:



Koch, Thorsten; Holtmann, Jörg; Schubert, David; Lindemann, Timo: Towards Feature-based Product Line Engineering of Technical Systems. In: Trächtler, Ansgar; Denkena, Berend; Thoben, Klaus-Dieter (eds.) 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), pp. 447-454, Oct 2016, Elsevier (more)

Schubert, David; Heinzemann, Christian; Gerking, Christopher: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering, Apr 2016, ACM (more)


Our publications from 2015: