23 Publications

Mark all

[23]
2022 | Conference Paper | LibreCat-ID: 29844
Integrating Security Protocols in Scenario-based Requirements Specifications
T. Koch, S. Trippel, S. Dziwok, E. Bodden, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat | DOI
 
[22]
2021 | Preprint | LibreCat-ID: 23534
AppSecure.nrw Software Security Study
S. Dziwok, T. Koch, S. Merschjohann, B. Budweg, S. Leuer, ArXiv:2108.11752 (2021).
LibreCat
 
[21]
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat | DOI
 
[20]
2019 | Conference Paper | LibreCat-ID: 20347
A KPI-based Condition Monitoring System for the Beer Brewing Process
F. Pasic, B. Wohlers, S. Dziwok, M. Becker, M. Heinrich, in: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, pp. 1469–1472.
LibreCat
 
[19]
2019 | Conference Paper | LibreCat-ID: 20757
Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics (LNI), 2019.
LibreCat
 
[18]
2019 | Journal Article | LibreCat-ID: 20761
Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems
B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, M. Becker, International Journal of Production Economics (2019).
LibreCat
 
[17]
2019 | Conference Paper | LibreCat-ID: 21929
Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design
K. Altemeier, M. Becker, S. Dziwok, T. Koch, S. Merschjohann, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Gesellschaft für Informatik e.V., 2019.
LibreCat
 
[16]
2018 | Journal Article | LibreCat-ID: 20787
Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control
B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 398–410.
LibreCat | Download (ext.)
 
[15]
2017 | Conference Paper | LibreCat-ID: 20792
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
LibreCat | DOI
 
[14]
2017 | Dissertation | LibreCat-ID: 20794
Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017.
LibreCat
 
[13]
2017 | Conference Paper | LibreCat-ID: 20796
Improving the Product Control of Mechatronic Systems Using Key Performance Indicators
B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017.
LibreCat
 
[12]
2016 | Report | LibreCat-ID: 20822
The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
 
[11]
2015 | Report | LibreCat-ID: 20977
Seminar Theses of the Project Group Cybertron
W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann, M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
 
[10]
2015 | Report | LibreCat-ID: 20832
Seminar Theses of the Project Group Cybertron
W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann, M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
 
[9]
2014 | Book | LibreCat-ID: 28193
Semantische Technologien im Entwurf mechatronischer Systeme: Effektiver Austausch von L{\"o}sungswissen in Branchenwertsch{\"o}pfungsketten
J. Gausemeier, A. Tr{\"a}chtler, W. Sch{\"a}fer, H. Anacker, F. Bauer, H. Borcherding, S. Dziwok, U. Frank, R. Herden, G. Hoppe, V. Just, Markus Kiele-Dunsche, D. Kruse, F. Oesters{\"o}tebier, J. Papenfort, U. Pohlmann, H. Reddehase, J. Rieke, T. Schierbaum, Lars Seifert, H. Stichweh, H. Teichrieb, R. Wagner, S. Wessels, Semantische Technologien Im Entwurf Mechatronischer Systeme: Effektiver Austausch von L{\"o}sungswissen in Branchenwertsch{\"o}pfungsketten, Carl Hanser Verlag, M{\"u}nchen, 2014.
LibreCat
 
[8]
2014 | Conference Paper | LibreCat-ID: 20907
The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat
 
[7]
2014 | Conference Paper | LibreCat-ID: 20908
A Modelica Coordination Pattern Library for Cyber-Physical Systems
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat | Download (ext.)
 
[6]
2014 | Report | LibreCat-ID: 20909
The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling
S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat
 
[5]
2013 | Conference Paper | LibreCat-ID: 28544
Integrated control and software design for complex mechatronic systems
S. Dziwok, V. Just, T. Schierbaum, W. Sch {\ "a} fer, Ansgar Tr {\" a} chtler, J.{\ "u} rgen Gausemeier, Uwe Pohlmann, W. Sch {\ "a} fer, Julian Suck, O. Sudmann, M. Tichy, in: Publishing series of the Heinz Nixdorf Institute, Paderborn, 2013, pp. 375--394.
LibreCat
 
[4]
2012 | Conference Paper | LibreCat-ID: 28565
Solution Patterns of Software Engineering for the System Design of Advanced Mechatronic Systems
Harald Anacker, J. Gausemeier, R. Dumitrescu, S. Dziwok, W. Sch{\"a}fer, in: Proceedings of the 9th France-Japan / 7th Europe-Asia Congress 13th International Workshop on Research and Education in Mechatronics (MECATRONICS-REM 2012), Supméca, Paris, France, 2012, pp. 101–108.
LibreCat
 
[3]
2012 | Conference Paper | LibreCat-ID: 28566
Unterst{\"u}tzung des mechatronischen Entwurfs durch die effektive Suche nach L{\"o}sungselementen mithilfe von semantischen Technologien
F. Oesters{\"o}tebier, S. Dziwok, F. Bauer, A. Tr{\"a}chtler, W. Sch{\"a}fer, J. Gausemeier, in: Carl Hanser Verlag, M{\"u}nchen, 2012.
LibreCat
 
[2]
2012 | Conference Paper | LibreCat-ID: 28575
Model-Based Design of Mechatronic Systems by Means of Semantic Web Ontologies and Reusable Solution Element
F. Oesters{\"o}tebier, V. Just, A. Tr{\"a}chtler, F. Bauer, S. Dziwok, in: Proceedings of the ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis, ASME, Nantes, France, 2012, pp. 647--656.
LibreCat
 
[1]
2012 | Conference Paper | LibreCat-ID: 28587
Model-based design of two cooperating Delta Robot
H. Teichrieb, V. Just, S. Dziwok, U. Pohlmann, T. Schierbaum, Ansgar Tr {\ "a} chtler, in: n.d.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed

23 Publications

Mark all

[23]
2022 | Conference Paper | LibreCat-ID: 29844
Integrating Security Protocols in Scenario-based Requirements Specifications
T. Koch, S. Trippel, S. Dziwok, E. Bodden, in: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022.
LibreCat | DOI
 
[22]
2021 | Preprint | LibreCat-ID: 23534
AppSecure.nrw Software Security Study
S. Dziwok, T. Koch, S. Merschjohann, B. Budweg, S. Leuer, ArXiv:2108.11752 (2021).
LibreCat
 
[21]
2020 | Conference Paper | LibreCat-ID: 20518
Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
T. Koch, S. Dziwok, J. Holtmann, E. Bodden, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), ACM, 2020.
LibreCat | DOI
 
[20]
2019 | Conference Paper | LibreCat-ID: 20347
A KPI-based Condition Monitoring System for the Beer Brewing Process
F. Pasic, B. Wohlers, S. Dziwok, M. Becker, M. Heinrich, in: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, pp. 1469–1472.
LibreCat
 
[19]
2019 | Conference Paper | LibreCat-ID: 20757
Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, S. Dziwok, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Lecture Notes in Informatics (LNI), 2019.
LibreCat
 
[18]
2019 | Journal Article | LibreCat-ID: 20761
Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems
B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, M. Becker, International Journal of Production Economics (2019).
LibreCat
 
[17]
2019 | Conference Paper | LibreCat-ID: 21929
Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design
K. Altemeier, M. Becker, S. Dziwok, T. Koch, S. Merschjohann, in: M. Mikusz (Ed.), Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), Gesellschaft für Informatik e.V., 2019.
LibreCat
 
[16]
2018 | Journal Article | LibreCat-ID: 20787
Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control
B. Wohlers, S. Dziwok, D. Schmelter, W. Lorenz, Advances in Manufacturing, Production Management and Process Control - AHFE 2018 (2018) 398–410.
LibreCat | Download (ext.)
 
[15]
2017 | Conference Paper | LibreCat-ID: 20792
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach
S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha, 2017, pp. 319–336.
LibreCat | DOI
 
[14]
2017 | Dissertation | LibreCat-ID: 20794
Specification and Verification for Real-Time Coordination Protocols of Cyber-physical Systems
S. Dziwok, Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems, Paderborn University, 2017.
LibreCat
 
[13]
2017 | Conference Paper | LibreCat-ID: 20796
Improving the Product Control of Mechatronic Systems Using Key Performance Indicators
B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, W. Lorenz, in: Proceedings of the 24th International Conference on Production Research (ICPR), DEStech Publications, Inc., 2017.
LibreCat
 
[12]
2016 | Report | LibreCat-ID: 20822
The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, C. Gerking, The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling, Zukunftsmeile 1, 33102 Paderborn, Germany, 2016.
LibreCat
 
[11]
2015 | Report | LibreCat-ID: 20977
Seminar Theses of the Project Group Cybertron
W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann, M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
 
[10]
2015 | Report | LibreCat-ID: 20832
Seminar Theses of the Project Group Cybertron
W. Schäfer, S. Dziwok, U. Pohlmann, J. Bobolz, M. Czech, A.P. Dann, J. Geismann, M. Hüwe, A. Krieger, G. Piskachev, D. Schubert, R. Wohlrab, Seminar Theses of the Project Group Cybertron, 2015.
LibreCat
 
[9]
2014 | Book | LibreCat-ID: 28193
Semantische Technologien im Entwurf mechatronischer Systeme: Effektiver Austausch von L{\"o}sungswissen in Branchenwertsch{\"o}pfungsketten
J. Gausemeier, A. Tr{\"a}chtler, W. Sch{\"a}fer, H. Anacker, F. Bauer, H. Borcherding, S. Dziwok, U. Frank, R. Herden, G. Hoppe, V. Just, Markus Kiele-Dunsche, D. Kruse, F. Oesters{\"o}tebier, J. Papenfort, U. Pohlmann, H. Reddehase, J. Rieke, T. Schierbaum, Lars Seifert, H. Stichweh, H. Teichrieb, R. Wagner, S. Wessels, Semantische Technologien Im Entwurf Mechatronischer Systeme: Effektiver Austausch von L{\"o}sungswissen in Branchenwertsch{\"o}pfungsketten, Carl Hanser Verlag, M{\"u}nchen, 2014.
LibreCat
 
[8]
2014 | Conference Paper | LibreCat-ID: 20907
The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U. Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat
 
[7]
2014 | Conference Paper | LibreCat-ID: 20908
A Modelica Coordination Pattern Library for Cyber-Physical Systems
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat | Download (ext.)
 
[6]
2014 | Report | LibreCat-ID: 20909
The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling
S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M. Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, 2014.
LibreCat
 
[5]
2013 | Conference Paper | LibreCat-ID: 28544
Integrated control and software design for complex mechatronic systems
S. Dziwok, V. Just, T. Schierbaum, W. Sch {\ "a} fer, Ansgar Tr {\" a} chtler, J.{\ "u} rgen Gausemeier, Uwe Pohlmann, W. Sch {\ "a} fer, Julian Suck, O. Sudmann, M. Tichy, in: Publishing series of the Heinz Nixdorf Institute, Paderborn, 2013, pp. 375--394.
LibreCat
 
[4]
2012 | Conference Paper | LibreCat-ID: 28565
Solution Patterns of Software Engineering for the System Design of Advanced Mechatronic Systems
Harald Anacker, J. Gausemeier, R. Dumitrescu, S. Dziwok, W. Sch{\"a}fer, in: Proceedings of the 9th France-Japan / 7th Europe-Asia Congress 13th International Workshop on Research and Education in Mechatronics (MECATRONICS-REM 2012), Supméca, Paris, France, 2012, pp. 101–108.
LibreCat
 
[3]
2012 | Conference Paper | LibreCat-ID: 28566
Unterst{\"u}tzung des mechatronischen Entwurfs durch die effektive Suche nach L{\"o}sungselementen mithilfe von semantischen Technologien
F. Oesters{\"o}tebier, S. Dziwok, F. Bauer, A. Tr{\"a}chtler, W. Sch{\"a}fer, J. Gausemeier, in: Carl Hanser Verlag, M{\"u}nchen, 2012.
LibreCat
 
[2]
2012 | Conference Paper | LibreCat-ID: 28575
Model-Based Design of Mechatronic Systems by Means of Semantic Web Ontologies and Reusable Solution Element
F. Oesters{\"o}tebier, V. Just, A. Tr{\"a}chtler, F. Bauer, S. Dziwok, in: Proceedings of the ASME 2012 11th Biennial Conference on Engineering Systems Design and Analysis, ASME, Nantes, France, 2012, pp. 647--656.
LibreCat
 
[1]
2012 | Conference Paper | LibreCat-ID: 28587
Model-based design of two cooperating Delta Robot
H. Teichrieb, V. Just, S. Dziwok, U. Pohlmann, T. Schierbaum, Ansgar Tr {\ "a} chtler, in: n.d.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed