S. Dziwok

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

E. Bodden, Goran Piskachev, S. Dziwok, 2022, 2022 IEEE Secure Development Conference (SecDev).

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Arend Rensink, Rajesh Kumar, Mariëlle Stoelinga, 2017, SETTA.

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

E. Bodden, Jörg Holtmann, S. Dziwok, 2020, MoDELS.

Monitoring and control of production processes based on key performance indicators for mechatronic systems

Matthias Becker, Stefan Dziwok, Faruk Pasic, 2020 .

A modelica coordination pattern library for cyber-physical systems

Matthias Tichy, Matthias Meyer, Uwe Pohlmann, 2014, SimuTools.