Stefan Sydow and Mohannad Nabelsee and Helge Parzyjegla and Paula Herber (2018). A Safe and User-Friendly Graphical Programming Model for Parallel Stream Processing. 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2018, to appear). Conference Publishing Services (CPS), 239-243.

Marcus Mikulcak and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Information Flow Analysis of Combined Simulink/Stateflow Models. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 223–228.

Tobias Pfeffer and Paula Herber and Lucas Druschke and Sabine Glesner (2018). Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018, to appear). IEEE Computer Society.

Nikolai Moesus and Matthias Scholze and Sebastian Schlesinger and Paula Herber (2018). Automated Selection of Software Refactorings that Improve Performance. 13th International Conference on Software Technologies (ICSOFT'18, to appear). SCITEPRESS.

Sebastian Schlesinger and Paula Herber and Thomas Göthel and Sabine Glesner (2018). Equivalence Checking for Hybrid Control Systems modelled in Simulink. IEEE International Workshop on Model-based Verification and validation (MVV 2018). IEEE, 572–579.