Startseite > Publikationen > Publikationen

Publikationen von Jörg Holtmann


Unsere Publikationen aus dem Jahr 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), 18. - 23. Okt. 2020, ACM (Details)

Holtmann, Jörg; Steghöfer, Jan-Philipp; Rath, Michael; Schmelter, David: Cutting through the Jungle: Disambiguating Model-based Traceability Terminology. In: Proceedings of the 28th IEEE International Requirements Engineering Conference, 31. Aug. - 4. Sep. 2020, IEEE (Details)


Unsere Publikationen aus dem Jahr 2019:



Holtmann, Jörg: Improvement of Software Requirements Quality based on Systems Engineering. Dissertation, Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, Jun. 2019 (Details)


Unsere Publikationen aus dem Jahr 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 (Hrsg.) Revised Selected Papers of the 5th International Conference on Model-Driven Engineering and Software Development, Communications in Computer and Information Science, Band 880 , S. 173-197. Springer International Publishing, Jul. 2018 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 2017:



Schmelter, David; Greenyer, Joel; Holtmann, Jörg: Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), Lisbon, Portugal, Sep. 2017, IEEE (Details)

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 (Details)

Holtmann, Jörg; Bernijazov, Ruslan; Meyer, Matthias; Schmelter, David; Tschirner, Christian: Integrated and Iterative Systems Engineering and Software Requirements Engineering for Technical Systems (Précis). In: Jürjens, Jan; Schneider, Kurt (Hrsg.) Proceedings of the Software Engineering 2017, Lecture Notes in Informatics (LNI), Band P-267 , S. 109-110, Feb. 2017, Gesellschaft fuer Informatik (Details)


Unsere Publikationen aus dem Jahr 2016:



Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias: Das Erwachen der Macht – Automatische Softwareverteilung. In: Tagungsband Embedded Software Engineering Kongress 2016, S. 587-592, 28. Nov. - 2. Dez. 2016 (Details)

Greinert, Matthias; Tschirner, Christian; Holtmann, Jörg: Anwendung von Methoden der Produktentstehung auf Basis des Systemmodells mechatronischer Systeme. In: Tag des Systems Engineering 2016, S. 77-86, Okt. 2016, Gesellschaft für Systems Engineering e.V. (Details)

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 (Hrsg.) 3rd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016), S. 447-454, Okt. 2016, Elsevier (Details)


Unsere Publikationen aus dem Jahr 2015:



Meyer, Jan; Fockel, Markus; Holtmann, Jörg: Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten. In: Tag des Systems Engineering 2015, Nov. 2015, Gesellschaft für Systems Engineering e.V. (Details)

Holtmann, Jörg; Bernijazov, Ruslan; Meyer, Matthias; Schmelter, David; Tschirner, Christian: Integrated Systems Engineering and Software Requirements Engineering for Technical Systems. In: Proceedings of the International Conference on Software and Systems Process (ICSSP), S. 57-66, New York, NY, USA, Aug. 2015, ACM (Details)

Fockel, Markus; Holtmann, Jörg: ReqPat: Efficient Documentation of High-quality Requirements using Controlled Natural Language. In: Proc. of the 23rd International Requirements Engineering Conference 2015 (RE15), Aug. 2015, IEEE (Details)

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 (Hrsg.) 10. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 343 , S. 159–172, Apr. 2015, Heinz Nixdorf Institut (Details)


Unsere Publikationen aus dem Jahr 2014:



Holtmann, Jörg; Shipchanov, Dimitar: Considering Architectural Properties in Real-time Play-out. In: Proceedings of 12th Workshop Automotive Software Engineering, GI-Edition - Lecture Notes in Informatics (LNI), Band P-232 , S. 2169–2180, Sep. 2014, Bonner Koellen Verlag (Details)

Pohlmann, Uwe; Holtmann, Jörg; Meyer, Matthias; Gerking, Christopher: Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Aug. 2014, IEEE Xplore (Details)

Koch, Thorsten; Holtmann, Jörg; DeAntoni, Julien: Generating EAST-ADL Event Chains from Scenario-based Requirements Specifications. In: Avgeriou, Paris; Zdun, Uwe (Hrsg.) Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Lecture Notes in Computer Science (LNCS), Band 8627 , S. 146–153, Aug. 2014, Springer (Details)

Fockel, Markus; Holtmann, Jörg: A Requirements Engineering Methodology Combining Models and Controlled Natural Language. In: 4th International Model-Driven Requirements Engineering Workshop (MoDRE), Karlskrona, Sweden, Aug. 2014, IEEE (Details)

Brenner, Christian; Greenyer, Joel; Holtmann, Jörg; Liebel, Grischa; Stieglbauer, Gerald; Tichy, Matthias: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), Apr. 2014 (Details)


Unsere Publikationen aus dem Jahr 2013:



Holtmann, Jörg; Meyer, Matthias: Play-out for Hierarchical Component Architectures. In: Proceedings of 11th Workshop Automotive Software Engineering, GI-Edition - Lecture Notes in Informatics (LNI), Band P-220 , S. 2458–2472, Sep. 2013, Bonner Koellen Verlag (Details)

Kaiser, Lydia; Dumitrescu, Roman; Holtmann, Jörg; Meyer, Matthias: Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems. In: Proceedings of the ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Jul. 2013 ASME, ASME (Details)


Unsere Publikationen aus dem Jahr 2012:



Fockel, Markus; Heidl, Peter; Höfflinger, Jens; Hönninger, Harald; Holtmann, Jörg; Horn, Wilfried; Meyer, Jan; Meyer, Matthias; Schäuffele, Jörg: Application and Evaluation in the Automotive Domain. In: Pohl, Klaus; Hönninger, Harald; Achatz, Reinhold; Broy, Manfred (Hrsg.) Model-Based Engineering of Embedded Systems - The SPES 2020 Methodology, S. 157-175. Springer, 2012 (Details)

Fockel, Markus; Holtmann, Jörg; Meyer, Jan: Semi-automatic Establishment and Maintenance of Valid Traceability in Automotive Development Processes. In: 2nd International Workshop on Software Engineering for Embedded Systems (SEES), S. 37–43, 2012 (Details)


Unsere Publikationen aus dem Jahr 2011:



Meyer, Jan; Holtmann, Jörg; Meyer, Matthias: Formalisierung von Anforderungen und Betriebssystemeigenschaften zur fruehzeitigen Simulation von eingebetteten, automobilen Systemen. In: 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 294 , S. 203-215, 18. - 19. Mai 2011, Heinz Nixdorf Institut (Details)

Holtmann, Jörg; Meyer, Jan; Meyer, Matthias: A Seamless Model-Based Development Process for Automotive Systems. In: Software Engineering 2011 – Workshopband (inkl. Doktorandensymposium), GI-Edition Lecture Notes in Informatics (LNI), Band P-184 , S. 79-88, 2011, Bonner Koellen Verlag (Details)

Holtmann, Jörg; Meyer, Jan; von Detten, Markus: Automatic Validation and Correction of Formalized, Textual Requirements. In: Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2011, S. 486-495, 2011, IEEE Computer Society (Details)

Meyer, Jan; Holtmann, Jörg: Eine durchgängige Entwicklungsmethode von der Systemarchitektur bis zur Softwarearchitektur mit AUTOSAR. In: Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, S. 21-30, 2011, fortiss GmbH (Details)


Unsere Publikationen aus dem Jahr 2010:



Nafz, Florian; Holtmann, Jörg; Seebach, Hella; Holtmann, Jörg; Meyer, Jan; Tichy, Matthias; Reif, Wolfgang; Schäfer, Wilhelm: Designing Self-Healing in Automotive Systems. In: Proc. of the 7th International Conference on Autonomic and Trusted Computing (ATC 2010), Xi'an, China, 26-29 October, 2010, Lecture Notes in Computer Science, Band 6407 , S. 47-61, 26. - 29. Okt. 2010, Springer Verlag (Details)

Meyer, Jan; Holtmann, Jörg; Schäfer, Wilhelm; Nickel, Ulrich A.: Eine erweiterte Systemmodellierung zur Entwicklung von softwareintensiven Anwendungen in der Automobilindustrie. In: Software Engineering 2010 – Workshopband (inkl. Doktorandensymposium), GI-Edition - Lecture Notes in Informatics (LNI), Band P-160 , Feb. 2010, Bonner Koellen Verlag (Details)


Unsere Publikationen aus dem Jahr 2008:



Holtmann, Jörg; Tichy, Matthias: Component Story Diagrams in Fujaba4Eclipse. In: Proc. of the 6th International Fujaba Days 2008, Dresden, Germany, S. 44-47, Sep. 2008 (Details)

Tichy, Matthias; Henkler, Stefan; Holtmann, Jörg; Oberthür, Simon: Component Story Diagrams: A Transformation Language for Component Structures in Mechatronic Systems. In: Proceedings of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4), Paderborn, Germany, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 236 , S. 27-38, 1. Jan. 2008, Heinz Nixdorf Institut (Details)


Unsere Publikationen aus dem Jahr 2006: