Thorsten Koch

Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM
Fraunhofer-Institut für Entwurfstechnik Mechatronik IEM -> Forschungsbereich Softwaretechnik und IT-Sicherheit
ktho@mail.uni-paderborn.de
ID
13616

17 Publications

Mark all

[17]
2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, et al. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022, doi:10.5220/0010783300003119.
LibreCat | DOI
 
[16]
2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, Goran, et al. How Far Are German Companies in Improving Security through Static Program Analysis Tools? 2022.
LibreCat
 
[15]
2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, et al. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
 
[14]
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, et al. “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), ACM, 2020, doi:10.1145/3365438.3410946.
LibreCat | DOI
 
[13]
2020 | Conference Paper | LibreCat-ID: 21931
Koch, Thorsten, et al. “Softwareentwicklung Wie Am Fliessband.” Software Engineering 2020 (SE 2020), edited by Michael Felderer et al., Gesellschaft für Informatik e.V., 2020, doi:10.18420/SE2020\_58.
LibreCat | DOI
 
[12]
2019 | Conference Paper | LibreCat-ID: 21929
Altemeier, Katharina, et al. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz, Gesellschaft für Informatik e.V., 2019.
LibreCat
 
[11]
2018 | Book Chapter | LibreCat-ID: 20782
Koch, Thorsten, et al. “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.” Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires et al., vol. 880, Springer International Publishing, 2018, pp. 173–97, doi:10.1007/978-3-319-94764-8_8.
LibreCat | DOI
 
[10]
2018 | Conference Paper | LibreCat-ID: 20783
Koch, Thorsten. “Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems.” International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat
 
[9]
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, Markus, et al. “Formal, Model- and Scenario-Based Requirement Patterns.” 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 
[8]
2017 | Report | LibreCat-ID: 20793
Fockel, Markus, et al. Model-Based Requirement Pattern Catalog. 2017.
LibreCat
 
[7]
2017 | Conference Paper | LibreCat-ID: 20801
Koch, Thorsten, et al. “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.” Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017, doi:10.5220/0006137400530064.
LibreCat | DOI
 
[6]
2016 | Report | LibreCat-ID: 20823
Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method: Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.
LibreCat | DOI
 
[5]
2016 | Conference Paper | LibreCat-ID: 20826
Koch, Thorsten, et al. “Towards Feature-Based Product Line Engineering of Technical Systems.” 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), edited by Ansgar Trächtler et al., Elsevier, 2016, pp. 447–54, doi:10.1016/j.protcy.2016.08.057.
LibreCat | DOI
 
[4]
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, Jörg, et al. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat | Download (ext.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, Jan, et al. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.” 10. Paderborner Workshop Entwurf Mechatronischer Systeme, edited by Jürgen Gausemeier et al., vol. 343, Heinz Nixdorf Institut, 2015, pp. 159–172.
LibreCat
 
[2]
2014 | Book Chapter | LibreCat-ID: 20982
Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.
LibreCat | DOI
 
[1]
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn, 2013.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

17 Publications

Mark all

[17]
2022 | Conference Paper | LibreCat-ID: 29844
Koch, Thorsten, et al. “Integrating Security Protocols in Scenario-Based Requirements Specifications.” Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, SCITEPRESS - Science and Technology Publications, 2022, doi:10.5220/0010783300003119.
LibreCat | DOI
 
[16]
2022 | Conference Paper | LibreCat-ID: 33837
Piskachev, Goran, et al. How Far Are German Companies in Improving Security through Static Program Analysis Tools? 2022.
LibreCat
 
[15]
2021 | Preprint | LibreCat-ID: 23534
Dziwok, Stefan, et al. “AppSecure.Nrw Software Security Study.” ArXiv:2108.11752, 2021.
LibreCat
 
[14]
2020 | Conference Paper | LibreCat-ID: 20518
Koch, Thorsten, et al. “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), ACM, 2020, doi:10.1145/3365438.3410946.
LibreCat | DOI
 
[13]
2020 | Conference Paper | LibreCat-ID: 21931
Koch, Thorsten, et al. “Softwareentwicklung Wie Am Fliessband.” Software Engineering 2020 (SE 2020), edited by Michael Felderer et al., Gesellschaft für Informatik e.V., 2020, doi:10.18420/SE2020\_58.
LibreCat | DOI
 
[12]
2019 | Conference Paper | LibreCat-ID: 21929
Altemeier, Katharina, et al. “Was Fehlt (Bisher) Um Apps Sicher Zu Entwickeln? - Prozesse, Werkzeuge Und Schulungen Für Sichere Apps by Design.” Projektmanagement Und Vorgehensmodelle 2019 (PVM 2019), edited by Martin Mikusz, Gesellschaft für Informatik e.V., 2019.
LibreCat
 
[11]
2018 | Book Chapter | LibreCat-ID: 20782
Koch, Thorsten, et al. “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information.” Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, edited by Luís Ferreira Pires et al., vol. 880, Springer International Publishing, 2018, pp. 173–97, doi:10.1007/978-3-319-94764-8_8.
LibreCat | DOI
 
[10]
2018 | Conference Paper | LibreCat-ID: 20783
Koch, Thorsten. “Towards Scenario-Based Security Requirements Engineering for Cyber-Physical Systems.” International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat
 
[9]
2018 | Conference Paper | LibreCat-ID: 20786
Fockel, Markus, et al. “Formal, Model- and Scenario-Based Requirement Patterns.” 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 
[8]
2017 | Report | LibreCat-ID: 20793
Fockel, Markus, et al. Model-Based Requirement Pattern Catalog. 2017.
LibreCat
 
[7]
2017 | Conference Paper | LibreCat-ID: 20801
Koch, Thorsten, et al. “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities.” Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017, doi:10.5220/0006137400530064.
LibreCat | DOI
 
[6]
2016 | Report | LibreCat-ID: 20823
Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method: Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.
LibreCat | DOI
 
[5]
2016 | Conference Paper | LibreCat-ID: 20826
Koch, Thorsten, et al. “Towards Feature-Based Product Line Engineering of Technical Systems.” 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), edited by Ansgar Trächtler et al., Elsevier, 2016, pp. 447–54, doi:10.1016/j.protcy.2016.08.057.
LibreCat | DOI
 
[4]
2016 | Journal Article | LibreCat-ID: 20828
Holtmann, Jörg, et al. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat | Download (ext.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, Jan, et al. “Generierung von AUTOSAR-Modellen Aus UML-Spezifikationen.” 10. Paderborner Workshop Entwurf Mechatronischer Systeme, edited by Jürgen Gausemeier et al., vol. 343, Heinz Nixdorf Institut, 2015, pp. 159–172.
LibreCat
 
[2]
2014 | Book Chapter | LibreCat-ID: 20982
Koch, Thorsten, et al. “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications.” Software Architecture, 2014, doi:10.1007/978-3-319-09970-5_14.
LibreCat | DOI
 
[1]
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, Thorsten. Combining Scenario-Based and Architecture-Based Timing Requirements. University of Paderborn, 2013.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed