Stefan Dziwok

20 papers A 1C 4Misc 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2024 — conf
Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report.
AMCIS
Samira Taaibi, Stefan Dziwok, Lars Hermerschmidt, Thorsten Koch, Sven Merschjohann, Mark Vollmary
2022 — conf
How far are German companies in improving security through static program analysis tools?
SecDev
Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden
2022 J jnl
How far are German companies in improving security through static program analysis tools?
CoRR
Goran Piskachev, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Eric Bodden
2022 C conf
Integrating Security Protocols in Scenario-based Requirements Specifications.
MODELSWARD
Thorsten Koch, Sascha Trippel, Stefan Dziwok, Eric Bodden
2021 J jnl
AppSecure.nrw Software Security Study.
CoRR
Stefan Dziwok, Thorsten Koch, Sven Merschjohann, Boris Budweg, Sebastian Leuer
2020 — conf
Coaching on the Job bei Unternehmen des Maschinenbaus.
SE
Masud Fazal-Baqaie, Jan-Niclas Strüwer, David Schmelter, Stefan Dziwok
2020 A conf
Scenario-based specification of security protocols and transformation to security model checkers.
MoDELS
Thorsten Koch, Stefan Dziwok, Jörg Holtmann, Eric Bodden
2019 C conf
A KPI-based Condition Monitoring System for the Beer Brewing Process.
ETFA
Faruk Pasic, Benedict Wohlers, Stefan Dziwok, Matthias Becker, Matthias Heinrich
2019 — conf
Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus.
PVM
Masud Fazal-Baqaie, Jan-Niclas Strüwer, David Schmelter, Stefan Dziwok
2019 — conf
Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design.
PVM
Katharina Altemeier, Matthias Becker, Stefan Dziwok, Thorsten Koch, Sven Merschjohann
2017 Misc conf
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
SETTA
Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga
2017 — —
Specification and verification for real-time coordination protocols of cyber-physical systems.
Stefan Dziwok
2015 J jnl
Automata-based refinement checking for real-time systems.
Comput. Sci. Res. Dev.
Christian Heinzemann, Christian Brenner, Stefan Dziwok, Wilhelm Schäfer
2015 — conf
Domain-Specific Model Checking for Cyber-Physical Systems.
MoDeVVa@MoDELS
Christopher Gerking, Wilhelm Schäfer, Stefan Dziwok, Christian Heinzemann
2014 — conf
A modelica coordination pattern library for cyber-physical systems.
SimuTools
Uwe Pohlmann, Stefan Dziwok, Matthias Meyer, Matthias Tichy, Sebastian Thiele
2014 — conf
A tool suite for the model-driven software engineering of cyber-physical systems.
SIGSOFT FSE
Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, Uwe Pohlmann
2014 C conf
Application of an intelligent network architecture on a cooperative cyber-physical system: An experience report.
ETFA
Uwe Pohlmann, Henning Trsek, Lars Duerkop, Stefan Dziwok, Felix Oestersotebier
2014 — conf
Specifying Intra-Component Dependencies for Synthesizing Component Behaviors.
ModComp@MoDELS
Stefan Dziwok, Sebastian Goschin, Steffen Becker
2014 — conf
The MechatronicUML method: model-driven software engineering of self-adaptive mechatronic systems.
ICSE Companion
Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, Uwe Pohlmann
2012 C conf
Real-Time Coordination Patterns for Advanced Mechatronic Systems.
COORDINATION
Stefan Dziwok, Christian Heinzemann, Matthias Tichy