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
T. Koch, S. Trippel, S. Dziwok, and E. Bodden, “Integrating Security Protocols in Scenario-based Requirements Specifications,” 2022, doi: 10.5220/0010783300003119.
LibreCat | DOI
 
[16]
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
 
[15]
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
 
[14]
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
 
[13]
2020 | Conference Paper | LibreCat-ID: 21931
T. Koch, M. Meyer, M. Fazal-Baqaie, and H. Runschke, “Softwareentwicklung wie am Fliessband,” in Software Engineering 2020 (SE 2020), 2020.
LibreCat | DOI
 
[12]
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
 
[11]
2018 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
LibreCat | DOI
 
[10]
2018 | Conference Paper | LibreCat-ID: 20783
T. Koch, “Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems,” in International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat
 
[9]
2018 | Conference Paper | LibreCat-ID: 20786
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 
[8]
2017 | Report | LibreCat-ID: 20793
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat
 
[7]
2017 | Conference Paper | LibreCat-ID: 20801
T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities,” in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat | DOI
 
[6]
2016 | Report | LibreCat-ID: 20823
J. Holtmann et al., The MechatronicUML Requirements Engineering Method: Process and Language. 2016.
LibreCat | DOI
 
[5]
2016 | Conference Paper | LibreCat-ID: 20826
T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based Product Line Engineering of Technical Systems,” in 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), 2016, pp. 447–454.
LibreCat | DOI
 
[4]
2016 | Journal Article | LibreCat-ID: 20828
J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat | Download (ext.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20902
J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen aus UML-Spezifikationen,” in 10. Paderborner Workshop Entwurf mechatronischer Systeme, 2015, vol. 343, pp. 159–172.
LibreCat
 
[2]
2014 | Book Chapter | LibreCat-ID: 20982
T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in Software Architecture, Cham, 2014.
LibreCat | DOI
 
[1]
2013 | Mastersthesis | LibreCat-ID: 20985
T. Koch, Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn, 2013.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

17 Publications

Mark all

[17]
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
 
[16]
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
 
[15]
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
 
[14]
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
 
[13]
2020 | Conference Paper | LibreCat-ID: 21931
T. Koch, M. Meyer, M. Fazal-Baqaie, and H. Runschke, “Softwareentwicklung wie am Fliessband,” in Software Engineering 2020 (SE 2020), 2020.
LibreCat | DOI
 
[12]
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
 
[11]
2018 | Book Chapter | LibreCat-ID: 20782
T. Koch, J. Holtmann, and T. Lindemann, “Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information,” in Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, vol. 880, L. F. Pires, S. Hammoudi, and B. Selic, Eds. Springer International Publishing, 2018, pp. 173–197.
LibreCat | DOI
 
[10]
2018 | Conference Paper | LibreCat-ID: 20783
T. Koch, “Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems,” in International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 2018.
LibreCat
 
[9]
2018 | Conference Paper | LibreCat-ID: 20786
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based Requirement Patterns,” in 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
LibreCat
 
[8]
2017 | Report | LibreCat-ID: 20793
M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement Pattern Catalog. Paderborn, Germany, 2017.
LibreCat
 
[7]
2017 | Conference Paper | LibreCat-ID: 20801
T. Koch, J. Holtmann, and T. Lindemann, “Flexible Specification of STEP Application Protocol Extensions and Automatic Derivation of Tool Capabilities,” in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017.
LibreCat | DOI
 
[6]
2016 | Report | LibreCat-ID: 20823
J. Holtmann et al., The MechatronicUML Requirements Engineering Method: Process and Language. 2016.
LibreCat | DOI
 
[5]
2016 | Conference Paper | LibreCat-ID: 20826
T. Koch, J. Holtmann, D. Schubert, and T. Lindemann, “Towards Feature-based Product Line Engineering of Technical Systems,” in 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), 2016, pp. 447–454.
LibreCat | DOI
 
[4]
2016 | Journal Article | LibreCat-ID: 20828
J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016.
LibreCat | Download (ext.)
 
[3]
2015 | Conference Paper | LibreCat-ID: 20902
J. Meyer, J. Holtmann, T. Koch, and M. Meyer, “Generierung von AUTOSAR-Modellen aus UML-Spezifikationen,” in 10. Paderborner Workshop Entwurf mechatronischer Systeme, 2015, vol. 343, pp. 159–172.
LibreCat
 
[2]
2014 | Book Chapter | LibreCat-ID: 20982
T. Koch, J. Holtmann, and J. DeAntoni, “Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications,” in Software Architecture, Cham, 2014.
LibreCat | DOI
 
[1]
2013 | Mastersthesis | LibreCat-ID: 20985
T. Koch, Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn, 2013.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed