Stefan Dziwok
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
stefan.dziwok@uni-paderborn.deID
25 Publications
2024 | Conference Paper | LibreCat-ID: 53811
Taaibi, Samira, Stefan Dziwok, Lars Hermerschmidt, Thorsten Koch, Sven Merschjohann, and Mark Vollmary. “Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of Their Product - An Experience Report,” n.d.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, Sascha Trippel, Stefan Dziwok, and Eric Bodden. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022. https://doi.org/10.5220/0010783300003119.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, Goran, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, and Eric Bodden. “How Far Are German Companies in Improving Security through Static Program Analysis Tools?” IEEE Secure Development Conference (SecDev), 2022.
LibreCat
2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, Thorsten Koch, Sven Merschjohann, Boris Budweg, and Sebastian Leuer. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM, 2020. https://doi.org/10.1145/3365438.3410946.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 20347
Pasic, Faruk, Benedict Wohlers, Stefan Dziwok, Matthias Becker, and Matthias Heinrich. “A KPI-Based Condition Monitoring System for the Beer Brewing Process.” In 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1469–72, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20757
Fazal-Baqaie, Masud, Jan-Niclas Strüwer, David Schmelter, and Stefan Dziwok. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI), 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20761
Wohlers, Benedict, Stefan Dziwok, Faruk Pasic, Andre Lipsmeier, and Matthias Becker. “Monitoring and Control of Production Processes Based on Key Performance Indicators for Mechatronic Systems.” International Journal of Production Economics, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 21929
Altemeier, Katharina, Matthias Becker, Stefan Dziwok, Thorsten Koch, and Sven Merschjohann. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2019.
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
Wohlers, Benedict, Stefan Dziwok, David Schmelter, and Wadim Lorenz. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 2018, 398–410.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In Dependable Software Engineering, 3rd International Symposium (SETTA 2017), edited by Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science. Changsha: Springer, 2017. https://doi.org/10.1007/978-3-319-69483-2_19.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, Stefan. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20796
Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” In Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc., 2017.
LibreCat
2016 | Report | LibreCat-ID: 20822
Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian Thiele, and Christopher Gerking. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
2015 | Report | LibreCat-ID: 20977
Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech, Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
2015 | Report | LibreCat-ID: 20832
Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech, Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
2014 | Book | LibreCat-ID: 28193
Gausemeier, J{\"u}rgen, Ansgar Tr{\"a}chtler, Wilhelm Sch{\"a}fer, Harald Anacker, Frank Bauer, Holger Borcherding, Stefan Dziwok, et al. Semantische Technologien Im Entwurf Mechatronischer Systeme: Effektiver Austausch von L{\"o}sungswissen in Branchenwertsch{\"o}pfungsketten. M{\"u}nchen: Carl Hanser Verlag, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In Proceedings of the 36th International Conference on Software Engineering (Posters). ACM, New York, NY, USA, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” In Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann, and Matthias Tichy. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28544
Dziwok, Stefan, Viktor Just, Thomas Schierbaum, Wilhelm Sch {\ "a} fer, Ansgar Tr {\" a} chtler, J {\ "u} rgen Gausemeier, Uwe Pohlmann, et al. “Integrated Control and Software Design for Complex Mechatronic Systems,” 310:375--394. Publishing series of the Heinz Nixdorf Institute, Paderborn, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28565
Anacker, Harald, J{\"u}rgen Gausemeier, Roman Dumitrescu, Stefan Dziwok, and Wilhelm Sch{\"a}fer. “Solution Patterns of Software Engineering for the System Design of Advanced Mechatronic Systems.” In Proceedings of the 9th France-Japan / 7th Europe-Asia Congress 13th International Workshop on Research and Education in Mechatronics (MECATRONICS-REM 2012), 101–8. Supméca, Paris, France, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28566
Oesters{\"o}tebier, Felix, Stefan Dziwok, Frank Bauer, Ansgar Tr{\"a}chtler, Wilhelm Sch{\"a}fer, and J{\"u}rgen Gausemeier. “Unterst{\"u}tzung Des Mechatronischen Entwurfs Durch Die Effektive Suche Nach L{\"o}sungselementen Mithilfe von Semantischen Technologien.” Carl Hanser Verlag, M{\"u}nchen, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28575
Oesters{\"o}tebier, Felix, Viktor Just, Ansgar Tr{\"a}chtler, Frank Bauer, and Stefan Dziwok. “Model-Based Design of Mechatronic Systems by Means of Semantic Web Ontologies and Reusable Solution Element.” In Proceedings of the ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis, 647--656. Nantes, France: ASME, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28587
Teichrieb, Heinrich, Viktor Just, Stefan Dziwok, Uwe Pohlmann, Thomas Schierbaum, and Ansgar Tr {\ "a} chtler. “Model-Based Design of Two Cooperating Delta Robot,” n.d.
LibreCat
Search
Filter Publications
Display / Sort
Export / Embed
25 Publications
2024 | Conference Paper | LibreCat-ID: 53811
Taaibi, Samira, Stefan Dziwok, Lars Hermerschmidt, Thorsten Koch, Sven Merschjohann, and Mark Vollmary. “Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of Their Product - An Experience Report,” n.d.
LibreCat
| Files available
2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, Sascha Trippel, Stefan Dziwok, and Eric Bodden. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2022. https://doi.org/10.5220/0010783300003119.
LibreCat
| DOI
2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, Goran, Stefan Dziwok, Thorsten Koch, Sven Merschjohann, and Eric Bodden. “How Far Are German Companies in Improving Security through Static Program Analysis Tools?” IEEE Secure Development Conference (SecDev), 2022.
LibreCat
2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, Thorsten Koch, Sven Merschjohann, Boris Budweg, and Sebastian Leuer. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, Stefan Dziwok, Jörg Holtmann, and Eric Bodden. “Scenario-Based Specification of Security Protocols and Transformation to Security Model Checkers.” In ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20). ACM, 2020. https://doi.org/10.1145/3365438.3410946.
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 20347
Pasic, Faruk, Benedict Wohlers, Stefan Dziwok, Matthias Becker, and Matthias Heinrich. “A KPI-Based Condition Monitoring System for the Beer Brewing Process.” In 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1469–72, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 20757
Fazal-Baqaie, Masud, Jan-Niclas Strüwer, David Schmelter, and Stefan Dziwok. “Coaching on the Job Bei Unternehmen Des Maschinen- Und Anlagenbaus - Wissenslücken Schließen Zur Weiterpflege Modernisierter IT-Anwendungen.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI), 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 20761
Wohlers, Benedict, Stefan Dziwok, Faruk Pasic, Andre Lipsmeier, and Matthias Becker. “Monitoring and Control of Production Processes Based on Key Performance Indicators for Mechatronic Systems.” International Journal of Production Economics, 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 21929
Altemeier, Katharina, Matthias Becker, Stefan Dziwok, Thorsten Koch, and Sven Merschjohann. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” In Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz. Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V., 2019.
LibreCat
2018 | Journal Article | LibreCat-ID: 20787
Wohlers, Benedict, Stefan Dziwok, David Schmelter, and Wadim Lorenz. “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control.” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, 2018, 398–410.
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 20792
Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In Dependable Software Engineering, 3rd International Symposium (SETTA 2017), edited by Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science. Changsha: Springer, 2017. https://doi.org/10.1007/978-3-319-69483-2_19.
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 20794
Dziwok, Stefan. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 20796
Wohlers, Benedict, Stefan Dziwok, Christian Bremer, David Schmelter, and Wadim Lorenz. “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators.” In Proceedings of the 24th International Conference on Production Research (ICPR). DEStech Publications, Inc., 2017.
LibreCat
2016 | Report | LibreCat-ID: 20822
Dziwok, Stefan, Uwe Pohlmann, Goran Piskachev, David Schubert, Sebastian Thiele, and Christopher Gerking. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling. Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
2015 | Report | LibreCat-ID: 20977
Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech, Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
2015 | Report | LibreCat-ID: 20832
Schäfer, Wilhelm, Stefan Dziwok, Uwe Pohlmann, Jan Bobolz, Mike Czech, Andreas Peter Dann, Johannes Geismann, et al. Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
2014 | Book | LibreCat-ID: 28193
Gausemeier, J{\"u}rgen, Ansgar Tr{\"a}chtler, Wilhelm Sch{\"a}fer, Harald Anacker, Frank Bauer, Holger Borcherding, Stefan Dziwok, et al. Semantische Technologien Im Entwurf Mechatronischer Systeme: Effektiver Austausch von L{\"o}sungswissen in Branchenwertsch{\"o}pfungsketten. M{\"u}nchen: Carl Hanser Verlag, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20907
Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In Proceedings of the 36th International Conference on Software Engineering (Posters). ACM, New York, NY, USA, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 20908
Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” In Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann, and Matthias Tichy. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat
2013 | Conference Paper | LibreCat-ID: 28544
Dziwok, Stefan, Viktor Just, Thomas Schierbaum, Wilhelm Sch {\ "a} fer, Ansgar Tr {\" a} chtler, J {\ "u} rgen Gausemeier, Uwe Pohlmann, et al. “Integrated Control and Software Design for Complex Mechatronic Systems,” 310:375--394. Publishing series of the Heinz Nixdorf Institute, Paderborn, 2013.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28565
Anacker, Harald, J{\"u}rgen Gausemeier, Roman Dumitrescu, Stefan Dziwok, and Wilhelm Sch{\"a}fer. “Solution Patterns of Software Engineering for the System Design of Advanced Mechatronic Systems.” In Proceedings of the 9th France-Japan / 7th Europe-Asia Congress 13th International Workshop on Research and Education in Mechatronics (MECATRONICS-REM 2012), 101–8. Supméca, Paris, France, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28566
Oesters{\"o}tebier, Felix, Stefan Dziwok, Frank Bauer, Ansgar Tr{\"a}chtler, Wilhelm Sch{\"a}fer, and J{\"u}rgen Gausemeier. “Unterst{\"u}tzung Des Mechatronischen Entwurfs Durch Die Effektive Suche Nach L{\"o}sungselementen Mithilfe von Semantischen Technologien.” Carl Hanser Verlag, M{\"u}nchen, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28575
Oesters{\"o}tebier, Felix, Viktor Just, Ansgar Tr{\"a}chtler, Frank Bauer, and Stefan Dziwok. “Model-Based Design of Mechatronic Systems by Means of Semantic Web Ontologies and Reusable Solution Element.” In Proceedings of the ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis, 647--656. Nantes, France: ASME, 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 28587
Teichrieb, Heinrich, Viktor Just, Stefan Dziwok, Uwe Pohlmann, Thomas Schierbaum, and Ansgar Tr {\ "a} chtler. “Model-Based Design of Two Cooperating Delta Robot,” n.d.
LibreCat