24 Publications

Mark all

[24]
2022 | Conference Paper | LibreCat-ID: 29844
T. Koch, S. Trippel, S. Dziwok, and E. Bodden, “Integrating Security Protocols in Scenario-based Requirements Specifications,” 2022, doi: 10.5220/0010783300003119.
LibreCat | DOI
 
[23]
2022 | Conference Paper | LibreCat-ID: 33837
G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, and E. Bodden, “How far are German companies in improving security through static program analysis tools?” 2022.
LibreCat
 
[22]
2021 | Preprint | LibreCat-ID: 23534
S. Dziwok, T. Koch, S. Merschjohann, B. Budweg, and S. Leuer, “AppSecure.nrw Software Security Study,” arXiv:2108.11752. 2021.
LibreCat
 
[21]
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat | DOI
 
[20]
2019 | Conference Paper | LibreCat-ID: 20347
F. Pasic, B. Wohlers, S. Dziwok, M. Becker, and M. 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), 2019, pp. 1469–1472.
LibreCat
 
[19]
2019 | Conference Paper | LibreCat-ID: 20757
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, and S. 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), 2019.
LibreCat
 
[18]
2019 | Journal Article | LibreCat-ID: 20761
B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, and M. Becker, “Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems,” International Journal of Production Economics, 2019.
LibreCat
 
[17]
2019 | Conference Paper | LibreCat-ID: 21929
K. Altemeier, M. Becker, S. Dziwok, T. Koch, and S. 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), 2019.
LibreCat
 
[16]
2018 | Journal Article | LibreCat-ID: 20787
B. Wohlers, S. Dziwok, D. Schmelter, and W. Lorenz, “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control,” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, pp. 398–410, 2018.
LibreCat | Download (ext.)
 
[15]
2017 | Conference Paper | LibreCat-ID: 20792
S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,” in Dependable Software Engineering, 3rd International Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi: 10.1007/978-3-319-69483-2_19.
LibreCat | DOI
 
[14]
2017 | Dissertation | LibreCat-ID: 20794
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
B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators,” in Proceedings of the 24th International Conference on Production Research (ICPR), 2017.
LibreCat
 
[12]
2016 | Report | LibreCat-ID: 20822
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and 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
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
 
[10]
2015 | Report | LibreCat-ID: 20832
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
 
[9]
2014 | Book | LibreCat-ID: 28193
J. Gausemeier 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
 
[8]
2014 | Conference Paper | LibreCat-ID: 20907
S. Becker et al., “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.
LibreCat
 
[7]
2014 | Conference Paper | LibreCat-ID: 20908
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.
LibreCat | Download (ext.)
 
[6]
2014 | Report | LibreCat-ID: 20909
S. Becker et al., The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat
 
[5]
2013 | Conference Paper | LibreCat-ID: 28544
S. Dziwok et al., “Integrated control and software design for complex mechatronic systems,” 2013, vol. 310, pp. 375--394.
LibreCat
 
[4]
2012 | Conference Paper | LibreCat-ID: 28565
Harald Anacker, J. Gausemeier, R. Dumitrescu, S. Dziwok, and W. 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), 2012, pp. 101–108.
LibreCat
 
[3]
2012 | Conference Paper | LibreCat-ID: 28566
F. Oesters{\"o}tebier, S. Dziwok, F. Bauer, A. Tr{\"a}chtler, W. Sch{\"a}fer, and J. Gausemeier, “Unterst{\"u}tzung des mechatronischen Entwurfs durch die effektive Suche nach L{\"o}sungselementen mithilfe von semantischen Technologien,” 2012.
LibreCat
 
[2]
2012 | Conference Paper | LibreCat-ID: 28575
F. Oesters{\"o}tebier, V. Just, A. Tr{\"a}chtler, F. Bauer, and S. 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, 2012, pp. 647--656.
LibreCat
 
[1]
2012 | Conference Paper | LibreCat-ID: 28587
H. Teichrieb, V. Just, S. Dziwok, U. Pohlmann, T. Schierbaum, and Ansgar Tr {\ "a} chtler, “Model-based design of two cooperating Delta Robot.”
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

24 Publications

Mark all

[24]
2022 | Conference Paper | LibreCat-ID: 29844
T. Koch, S. Trippel, S. Dziwok, and E. Bodden, “Integrating Security Protocols in Scenario-based Requirements Specifications,” 2022, doi: 10.5220/0010783300003119.
LibreCat | DOI
 
[23]
2022 | Conference Paper | LibreCat-ID: 33837
G. Piskachev, S. Dziwok, T. Koch, S. Merschjohann, and E. Bodden, “How far are German companies in improving security through static program analysis tools?” 2022.
LibreCat
 
[22]
2021 | Preprint | LibreCat-ID: 23534
S. Dziwok, T. Koch, S. Merschjohann, B. Budweg, and S. Leuer, “AppSecure.nrw Software Security Study,” arXiv:2108.11752. 2021.
LibreCat
 
[21]
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” 2020, doi: 10.1145/3365438.3410946.
LibreCat | DOI
 
[20]
2019 | Conference Paper | LibreCat-ID: 20347
F. Pasic, B. Wohlers, S. Dziwok, M. Becker, and M. 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), 2019, pp. 1469–1472.
LibreCat
 
[19]
2019 | Conference Paper | LibreCat-ID: 20757
M. Fazal-Baqaie, J.-N. Strüwer, D. Schmelter, and S. 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), 2019.
LibreCat
 
[18]
2019 | Journal Article | LibreCat-ID: 20761
B. Wohlers, S. Dziwok, F. Pasic, A. Lipsmeier, and M. Becker, “Monitoring and Control of Production Processes based on Key Performance Indicators for Mechatronic Systems,” International Journal of Production Economics, 2019.
LibreCat
 
[17]
2019 | Conference Paper | LibreCat-ID: 21929
K. Altemeier, M. Becker, S. Dziwok, T. Koch, and S. 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), 2019.
LibreCat
 
[16]
2018 | Journal Article | LibreCat-ID: 20787
B. Wohlers, S. Dziwok, D. Schmelter, and W. Lorenz, “Improving Quality Control of Mechatronic Systems Using KPI-Based Statistical Process Control,” Advances in Manufacturing, Production Management and Process Control - AHFE 2018, pp. 398–410, 2018.
LibreCat | Download (ext.)
 
[15]
2017 | Conference Paper | LibreCat-ID: 20792
S. Schivo et al., “How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach,” in Dependable Software Engineering, 3rd International Symposium (SETTA 2017), 2017, no. 10606, pp. 319–336, doi: 10.1007/978-3-319-69483-2_19.
LibreCat | DOI
 
[14]
2017 | Dissertation | LibreCat-ID: 20794
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
B. Wohlers, S. Dziwok, C. Bremer, D. Schmelter, and W. Lorenz, “Improving the Product Control of Mechatronic Systems Using Key Performance Indicators,” in Proceedings of the 24th International Conference on Production Research (ICPR), 2017.
LibreCat
 
[12]
2016 | Report | LibreCat-ID: 20822
S. Dziwok, U. Pohlmann, G. Piskachev, D. Schubert, S. Thiele, and 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
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
 
[10]
2015 | Report | LibreCat-ID: 20832
W. Schäfer et al., Seminar Theses of the Project Group Cybertron. 2015.
LibreCat
 
[9]
2014 | Book | LibreCat-ID: 28193
J. Gausemeier 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
 
[8]
2014 | Conference Paper | LibreCat-ID: 20907
S. Becker et al., “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems,” 2014.
LibreCat
 
[7]
2014 | Conference Paper | LibreCat-ID: 20908
U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination Pattern Library for Cyber-Physical Systems,” 2014.
LibreCat | Download (ext.)
 
[6]
2014 | Report | LibreCat-ID: 20909
S. Becker et al., The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat
 
[5]
2013 | Conference Paper | LibreCat-ID: 28544
S. Dziwok et al., “Integrated control and software design for complex mechatronic systems,” 2013, vol. 310, pp. 375--394.
LibreCat
 
[4]
2012 | Conference Paper | LibreCat-ID: 28565
Harald Anacker, J. Gausemeier, R. Dumitrescu, S. Dziwok, and W. 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), 2012, pp. 101–108.
LibreCat
 
[3]
2012 | Conference Paper | LibreCat-ID: 28566
F. Oesters{\"o}tebier, S. Dziwok, F. Bauer, A. Tr{\"a}chtler, W. Sch{\"a}fer, and J. Gausemeier, “Unterst{\"u}tzung des mechatronischen Entwurfs durch die effektive Suche nach L{\"o}sungselementen mithilfe von semantischen Technologien,” 2012.
LibreCat
 
[2]
2012 | Conference Paper | LibreCat-ID: 28575
F. Oesters{\"o}tebier, V. Just, A. Tr{\"a}chtler, F. Bauer, and S. 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, 2012, pp. 647--656.
LibreCat
 
[1]
2012 | Conference Paper | LibreCat-ID: 28587
H. Teichrieb, V. Just, S. Dziwok, U. Pohlmann, T. Schierbaum, and Ansgar Tr {\ "a} chtler, “Model-based design of two cooperating Delta Robot.”
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed