Stefan Dziwok

Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
stefan.dziwok@uni-paderborn.de
ID
3901

24 Publications

Mark all

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

24 Publications

Mark all

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

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed