Stefan Dziwok

According to our database, Stefan Dziwok authored at least 18 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

How far are German companies in improving security through static program analysis tools?

Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden

Proceedings of the IEEE Secure Development Conference, 2022

Integrating Security Protocols in Scenario-based Requirements Specifications.

Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

AppSecure.nrw Software Security Study.

Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Boris Budweg, Sebastian Leuer

CoRR, 2021

2020

Coaching on the Job bei Unternehmen des Maschinenbaus.

Masud Fazal-Baqaie, Jan-Niclas Strüwer, David Schmelter, Stefan Dziwok

Proceedings of the Software Engineering 2020, 2020

Scenario-based specification of security protocols and transformation to security model checkers.

Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus.

Masud Fazal-Baqaie, Jan-Niclas Strüwer, David Schmelter, Stefan Dziwok

Proceedings of the Projektmanagement und Vorgehensmodelle 2019 - Neue Vorgehensmodelle in Projekten, 2019

Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design.

Katharina Altemeier, Matthias Becker, Stefan Dziwok, Thorsten Koch, Sven Merschjohann

Proceedings of the Projektmanagement und Vorgehensmodelle 2019 - Neue Vorgehensmodelle in Projekten, 2019

A KPI-based Condition Monitoring System for the Beer Brewing Process.

Faruk Pasic, Benedict Wohlers, Stefan Dziwok, Matthias Becker, Matthias Heinrich

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017

Specification and verification for real-time coordination protocols of cyber-physical systems.

Stefan Dziwok

PhD thesis, 2017

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, Mariëlle Stoelinga

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2015

Automata-based refinement checking for real-time systems.

Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2015

Domain-Specific Model Checking for Cyber-Physical Systems.

Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

2014

A modelica coordination pattern library for cyber-physical systems.

Uwe Pohlmann, Stefan Dziwok, Matthias Meyer, Matthias Tichy, Sebastian Thiele

Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014

A tool suite for the model-driven software engineering of cyber-physical systems.

Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Specifying Intra-Component Dependencies for Synthesizing Component Behaviors.

Stefan Dziwok, Sebastian Goschin, Steffen Becker

Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.

Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann

Proceedings of the 36th International Conference on Software Engineering, 2014

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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2012

Real-Time Coordination Patterns for Advanced Mechatronic Systems.

Stefan Dziwok, Christian Heinzemann, Matthias Tichy

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012