Quick access
News:
06. Januar 2021
„Menschen sind Maschinen immer unterlegen“: Laut Experten müssen wir das in Zukunft berücksichtigen

Wie kann die Zusammenarbeit von Mensch und Maschine am besten gestaltet werden? Dieser Frage widmen sich die Paderborner ...
Publications of Thorsten Koch
Our publications from 2020:
Koch, Thorsten; Dziwok, Stefan; Holtmann, Jörg; Bodden, Eric: 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), Oct 18 - 23, 2020, ACM (more)
Our publications from 2018:
Koch, Thorsten; Holtmann, Jörg; Lindemann, Timo: Model-Driven STEP Application Protocol Extensions Combined with Feature Modeling Considering Geometrical Information. In: Pires, Luís Ferreira; Hammoudi, Slimane; Selic, Bran (eds.) Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Communications in Computer and Information Science, volume 880 , pp. 173-197. Springer International Publishing, July 2018 (more)
Koch, Thorsten: Towards Scenario-based Security Requirements Engineering for Cyber-Physical Systems. In: International Workshop on Security for and by Model-Driven Engineering (SecureMDE 2018), 25 June 2018 (more)
Fockel, Markus; Holtmann, Jörg; Koch, Thorsten; Schmelter, David: Formal, Model- and Scenario-based Requirement Patterns. In: 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), Jan 2018 (more)
Our publications from 2017:
Fockel, Markus; Holtmann, Jörg; Koch, Thorsten; Schmelter, David: Model-based Requirement Pattern Catalog. tr-ri-17-354, Paderborn, Germany, Oct 2017 (more)
Koch, Thorsten; Holtmann, Jörg; Lindemann, Timo: 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, Feb 2017 (more)
Our publications from 2016:
Holtmann, Jörg; Fockel, Markus; Koch, Thorsten; Schmelter, David; Brenner, Christian; Bernijazov, Ruslan; Sander, Marcel: The MechatronicUML Requirements Engineering Method: Process and Language. tr-ri-16-351, Dec 2016 (more)
Koch, Thorsten; Holtmann, Jörg; Schubert, David; Lindemann, Timo: Towards Feature-based Product Line Engineering of Technical Systems. In: Trächtler, Ansgar; Denkena, Berend; Thoben, Klaus-Dieter (eds.) 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), pp. 447-454, Oct 2016, Elsevier (more)
Holtmann, Jörg; Fockel, Markus; Koch, Thorsten; Schmelter, David: Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?. OBJEKTspektrum, (RE/2016), June 2016 (more)
Our publications from 2015:
Meyer, Jan; Holtmann, Jörg; Koch, Thorsten; Meyer, Matthias: Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In: Gausemeier, Jürgen; Dumitrescu, Roman; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (eds.) 10. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 343 , pp. 159–172, Apr 2015, Heinz Nixdorf Institut (more)
Our publications from 2014:
Koch, Thorsten; Holtmann, Jörg; DeAntoni, Julien: Generating EAST-ADL Event Chains from Scenario-based Requirements Specifications. In: Avgeriou, Paris; Zdun, Uwe (eds.) Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Lecture Notes in Computer Science (LNCS), volume 8627 , pp. 146–153, Aug 2014, Springer (more)