BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
Collaborated with:
C.Gerking I.Budde C.Heinzemann
Talks about:
physic (3) cyber (3) architectur (2) toward (2) system (2) inform (2) secur (2) refin (2) flow (2) microservic (1)

Person: David Schubert

DBLP DBLP: Schubert:David

Contributed to:

ICMT 20172017
CBSE 20162016
ECSA 20182018
ICSA 20192019

Wrote 4 papers:

ICMT-2017-GerkingSB #imperative #using
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities (CG, DS, IB), pp. 19–34.
CBSE-2016-SchubertHG #configuration management #cyber-physical #execution #towards
Towards Safe Execution of Reconfigurations in Cyber-Physical Systems (DS, CH, CG), pp. 33–38.
ECSA-2018-GerkingS #architecture #composition #cyber-physical #data flow #security #towards
Towards Preserving Information Flow Security on Architectural Composition of Cyber-Physical Systems (CG, DS), pp. 147–155.
ICSA-2019-GerkingS #architecture #component #cyber-physical #data flow #policy #refinement #security #verification
Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures (CG, DS), pp. 61–70.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.