| 2022 | MODELSWARD | Integrating Security Protocols in Scenario-based Requirements Specifications. | Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden |
| 2020 | MODELS | Scenario-based specification of security protocols and transformation to security model checkers. | Thorsten Koch, Stefan Dziwok, Jrg Holtmann, Eric Bodden |
| 2019 | ETFA | A KPI-based Condition Monitoring System for the Beer Brewing Process. | Faruk Pasic, Benedict Wohlers, Stefan Dziwok, Matthias Becker, Matthias Heinrich |
| 2017 | SETTA | How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. | Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Marille Stoelinga |
| 2015 | MODELS | Domain-Specific Model Checking for Cyber-Physical Systems. | Christopher Gerking, Wilhelm Schfer, Stefan Dziwok, Christian Heinzemann |
| 2014 | ETFA | Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report. | Uwe Pohlmann, Henning Trsek, Lars Duerkop, Stefan Dziwok, Felix Oestersotebier |
| 2014 | ICSE | The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems. | Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schfer, Matthias Meyer, Uwe Pohlmann |
| 2014 | MODELS | Specifying Intra-Component Dependencies for Synthesizing Component Behaviors. | Stefan Dziwok, Sebastian Goschin, Steffen Becker |
| 2012 | Coordination | Real-Time Coordination Patterns for Advanced Mechatronic Systems. | Stefan Dziwok, Christian Heinzemann, Matthias Tichy |