Sven Peldszus, Katja Tuma, Daniel Strüber 0001, Jan Jürjens, Riccardo Scandariato. Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings. In Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. pages 23-33, IEEE, 2019. [doi]
Abstract is missing.