Koch T, Trippel S, Dziwok S, Bodden E. 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. doi:10.5220/0010783300003119
LibreCat: /record/29844
DOI: 10.5220/0010783300003119

Piskachev G, Dziwok S, Koch T, Merschjohann S, Bodden E. How far are German companies in improving security through static program analysis tools? Published online 2022.
LibreCat: /record/33837

Dziwok S, Koch T, Merschjohann S, Budweg B, Leuer S. AppSecure.nrw Software Security Study. arXiv:210811752. 2021.
LibreCat: /record/23534

Koch T, Dziwok S, Holtmann J, Bodden E. 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. doi:10.1145/3365438.3410946
LibreCat: /record/20518
DOI: 10.1145/3365438.3410946

Pasic F, Wohlers B, Dziwok S, Becker M, Heinrich M. A KPI-based Condition Monitoring System for the Beer Brewing Process. In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). ; 2019:1469-1472.
LibreCat: /record/20347

Fazal-Baqaie M, Strüwer J-N, Schmelter D, Dziwok S. Coaching on the Job bei Unternehmen des Maschinen- und Anlagenbaus - Wissenslücken schließen zur Weiterpflege modernisierter IT-Anwendungen. In: Mikusz M, ed. Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI); 2019.
LibreCat: /record/20757

Wohlers B, Dziwok S, Pasic F, Lipsmeier A, Becker M. Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems. International Journal of Production Economics. 2019.
LibreCat: /record/20761

Altemeier K, Becker M, Dziwok S, Koch T, Merschjohann S. Was fehlt (bisher) um Apps sicher zu entwickeln? - Prozesse, Werkzeuge und Schulungen für sichere Apps by Design. In: Mikusz M, ed. Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019). Lecture Notes in Informatics (LNI). Gesellschaft für Informatik e.V.; 2019.
LibreCat: /record/21929

Wohlers B, Dziwok S, Schmelter D, Lorenz W. 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: /record/20787

Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds. Dependable Software Engineering, 3rd International Symposium (SETTA 2017). Lecture Notes in Computer Science. Springer; 2017:319-336. doi:10.1007/978-3-319-69483-2_19
LibreCat: /record/20792
DOI: 10.1007/978-3-319-69483-2_19

Dziwok S. Specification and Verification for Real-Time Coordination Protocols of Cyber-Physical Systems. Paderborn University; 2017.
LibreCat: /record/20794

Wohlers B, Dziwok S, Bremer C, Schmelter D, Lorenz W. 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: /record/20796

Dziwok S, Pohlmann U, Piskachev G, Schubert D, Thiele S, Gerking C. The MechatronicUML Design Method: Process and Language for Platform-Independent Modeling.; 2016.
LibreCat: /record/20822

Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat: /record/20977

Schäfer W, Dziwok S, Pohlmann U, et al. Seminar Theses of the Project Group Cybertron.; 2015.
LibreCat: /record/20832

Gausemeier J, Tr\'22achtler A, Sch\'22afer W, et al. Semantische Technologien Im Entwurf Mechatronischer Systeme: Effektiver Austausch von L\'22osungswissen in Branchenwertsch\'22opfungsketten. Carl Hanser Verlag; 2014.
LibreCat: /record/28193

Becker S, Dziwok S, Gerking C, et al. 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: /record/20907

Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques. ; 2014.
LibreCat: /record/20908

Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.; 2014.
LibreCat: /record/20909

Dziwok S, Just V,  Schierbaum T, et al. Integrated control and software design for complex mechatronic systems. In: Vol 310. Publishing series of the Heinz Nixdorf Institute, Paderborn; 2013:375--394.
LibreCat: /record/28544