Startseite > Publikationen > Publikationen

Publikationen von David Schubert

Unsere Publikationen aus dem Jahr 2019:

Unsere Publikationen aus dem Jahr 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, Nr. 11048 , S. 147-155, 24. - 28. Sep. 2018, Springer (Details)

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), Nr. 10953 , S. 27-43, 26. - 27. Jun. 2018, Springer (Details)

Unsere Publikationen aus dem Jahr 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 (Hrsg.) Theory and Practice of Model Transformation, 10th International Conference (ICMT 2017), Lecture Notes in Computer Science, Nr. 10374 , S. 19-34, Marburg, 17. - 18. Jul. 2017, Springer (Details)

Unsere Publikationen aus dem Jahr 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 (Hrsg.) 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), S. 447-454, Okt. 2016, Elsevier (Details)

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 (Details)

Unsere Publikationen aus dem Jahr 2015: