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)

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)

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)

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)

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)

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)