Unsere Publikationen aus dem Jahr 2017:



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)

Geismann, Johannes; Pohlmann, Uwe; Schmelter, David: Towards an Automated Synthesis of a Real-time Scheduling for Cyber-physical Multi-core Systems. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Jan. 2017 (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)

Schubert, David; Heinzemann, Christian; Gerking, Christopher: Towards Safe Execution of Reconfigurations in Cyber-Physical Systems. In: Proceedings of the 19th international ACM Sigsoft symposium on component-based software engineering, Apr. 2016, ACM (Details)


Unsere Publikationen aus dem Jahr 2015:



Pohlmann, Uwe; Hüwe, Marcus: Model-Driven Allocation Engineering. In: Conference: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), Nov. 2015 ACM/IEEE, IEEE (Details)

Gerking, Christopher; Dziwok, Stefan; Heinzemann, Christian; Schäfer, Wilhelm: Domain-specific Model Checking for Cyber-physical Systems. In: Famelis, Michalis; Ratiu, Daniel; Seidl, Martina; Selim, Gehan (Hrsg.) Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa 2015), Ottawa, Sep. 2015 (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)


Unsere Publikationen aus dem Jahr 2014:



Dziwok, Stefan; Gerking, Christopher; Becker, Steffen; Thiele, Sebastian; Heinzemann, Christian; Pohlmann, Uwe: A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), S. 715--718, 16. - 22. Nov. 2014 (Details)

Dziwok, Stefan; Goschin, Sebastian; Becker, Steffen: Specifying Intra-Component Dependencies for Synthesizing Component Behaviors. In: Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems (ModComp) 2014, S. 16--25, Sep. 2014, ACM/IEEE (Details)

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)

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)

Pohlmann, Uwe; Dziwok, Stefan; Meyer, Matthias; Tichy, Matthias; Thiele, Sebastian: A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, Mrz. 2014 (Details)

Flaßkamp, Kathrin; Grösbrink, Stefan; Hartmann, Philip; Heinzemann, Christian; Kleinjohann, Bernd; Kleinjohann, Lisa; Krüger, Martin; Ober-Blöbaum, Sina; Priesterjahn, Claudia; Rasche, Christoph; Schäfer, Wilhelm; Steenken, Dominik; Trächtler, Ansgar; Wehrheim, Heike; Ziegert, Steffen: Development of the RailCab Vehicle. In: Dependability of Self-Optimizing Mechatronic Systems, S. 184-190. Springer-Verlag, Heidelberg, Germany, Jan. 2014 (Details)

Pohlmann, Uwe; Meyer, Matthias; Dann, Andreas Peter; Brink, Christopher: Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. In: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, S. 23:23--23:30, Jan. 2014, ACM, New York, NY, USA (Details)

Pohlmann, Uwe; Trsek, Henning; Dürkop, Lars; Dziwok, Stefan; Oestersötebier, Felix: Application of an Intelligent Network Architecture on a Cooperative Cyber-Physical System: An Experience Report. In: 19th IEEE Conference on Emerging Technologies and Factory Automation (Work-in-Progress), 1. Jan. 2014, IEEE (Details)

Heinzemann, Christian; Priesterjahn, Claudia; Steenken, Dominik; Ziegert, Steffen: Software Design. In: Design Methodology for Intelligent Technical Systems, Kapitel: 5.2, S. 197-222. Springer-Verlag, Heidelberg, Germany, Jan. 2014 (Details)

Flaßkamp, Kathrin; Heinzemann, Christian; Krüger, Martin; Ober-Blöbaum, Sina; Schäfer, Wilhelm; Steenken, Dominik; Trächtler, Ansgar; Wehrheim, Heike: Verification for Interacting Mechatronic Systems with Motion Profiles. In: Dependability of Self-optimizing Mechatronic Systems, Kapitel: 3.2.10, S. 119-128. Springer-Verlag, Heidelberg, Germany, Jan. 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)

Heinzemann, Christian; Rieke, Jan; Schäfer, Wilhelm: Simulating Self-Adaptive Component-Based Systems using MATLAB/Simulink. In: Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO '13), S. 71-80, Sep. 2013, IEEE Computer Society Press (Details)

Priesterjahn, Claudia; Heinzemann, Christian; Schäfer, Wilhelm: From Timed Automata to Timed Failure Propagation Graphs . In: Proceedings of the Fourth IEEE Workshop on Self-Organizing Real-time Systems (SORT 2013), Jun. 2013, IEEE (Details)

Heinzemann, Christian; Becker, Steffen: Executing Reconfigurations in Hierarchical Component Architectures . In: Proceedings of the 16th international ACM Sigsoft symposium on Component based software engineering, Jun. 2013, ACM (Details)

Pohlmann, Uwe: Safe Deployment for Reconfigurable Cyber-Physical Systems. In: Proceedings of the 18th International Doctoral Symposium on Components and Architecture, S. 31--36, Vancouver, British Columbia, Canada, Jun. 2013 ACM, ACM, New York, NY, USA (Details)

Heinzemann, Christian; Sudmann, Oliver; Schäfer, Wilhelm; Tichy, Matthias: A Discipline-Spanning Development Process for Self-Adaptive Mechatronic Systems. In: Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, S. 36-45, 18. - 19. Mai 2013, ACM, New York, NY, USA (Details)

Flaßkamp, Kathrin; Heinzemann, Christian; Krüger, Martin; Steenken, Dominik; Ober-Blöbaum, Sina; Schäfer, Wilhelm; Trächtler, Ansgar; Wehrheim, Heike: Sichere Konvoibildung mit Hilfe optimaler Bremsprofile. In: 9. Paderborner Workshop Entwurf mechatronischer Systeme, Paderborn, 18. - 19. Apr. 2013, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Dziwok, Stefan; Just, Viktor; Schierbaum, Thomas; Schäfer, Wilhelm; Trächtler, Ansgar; Gausemeier, Jürgen; Pohlmann, Uwe; Schäfer, Wilhelm; Suck, Julian; Sudmann, Oliver; Tichy, Matthias: Integrierter Regelungs- und Softwareentwurf für komplexe mechatronische Systeme. In: 9. Paderborner Workshop Entwurf mechatronischer Systeme, Band 310 , S. 375--394, Apr. 2013 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, Stefan: Automata-Based Refinement Checking for Real-Time Systems. In: Proceedings of Software Engineering 2013 -- Fachtagung des GI-Fachbereichs Softwaretechnik, S. 99-112, 26. Feb. - 1. Mrz. 2013, Gesellschaft fuer Informatik (Details)


Unsere Publikationen aus dem Jahr 2012:



Anacker, Harald; Gausemeier, Jürgen; Dumitrescu, Roman; Dziwok, Stefan; Schäfer, Wilhelm: Solution Patterns of Software Engineering for the System Design of Advanced Mechatronic Systems. In: Proceedings of the 9th France-Japan / 7th Europe-Asia Congress 13th International Workshop on Research and Education in Mechatronics (MECATRONICS-REM 2012), S. 101-108, Supméca, Paris, France, 21. - 23. Nov. 2012 (Details)

Pohlmann, Uwe; Dziwok, Stefan; Suck, Julian; Wolf, Boris; Loh, Chia Choon; Tichy, Matthias: A Modelica Library for Real-Time Coordination Modeling. In: Proceedings of the 9th International Modelica Conference 2012, Munich, Germany, 3. - 5. Sep. 2012 DLR - Robotics and Mechatronics Center, Modelica Association (Details)

Heinzemann, Christian; Priesterjahn, Claudia; Becker, Steffen: Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE 2012), S. 23--28, Jun. 2012, ACM, New York, NY, USA (Details)

Dziwok, Stefan; Heinzemann, Christian; Tichy, Matthias: Real-Time Coordination Patterns for Advanced Mechatronic Systems. In: Proceedings of the 14th International Conference on Coordination Languages and Models (COORDINATION 2012), LNCS 7274, IFIP International Federation for Information Processing (2012), S. 166-180, Stockholm, Sweden, 2012 (Details)

Heinzemann, Christian; Pohlmann, Uwe; Rieke, Jan; Schäfer, Wilhelm; Sudmann, Oliver; Tichy, Matthias: Generating Simulink and Stateflow Models From Software Specifications. In: Proceedings of the 12h International Design Conference DESIGN 2012, 2012 (Details)

Dziwok, Stefan; Bröker, Kathrin; Heinzemann, Christian; Tichy, Matthias: A Catalog of Real-Time Coordination Patterns for Advanced Mechatronic Systems. tr-ri-12-319, Paderborn, Germany, Feb. 2012 (Details)

Priesterjahn, Claudia; Heinzemann, Christian; Schäfer, Wilhelm; Tichy, Matthias: Runtime Safety Analysis for Safe Reconfiguration. In: Proceedings of the 3. Workshop „Self-X and Autonomous Control in Engineering Applications”, 10. IEEE International Conference on Industrial Informatics, 25. – 27. Juli 2012, Beijing, China, 2012 (Details)


Unsere Publikationen aus dem Jahr 2011:



Heinzemann, Christian; Henkler, Stefan: Reusing Dynamic Communication Protocols in Self-Adaptive Embedded Component Architectures. In: Proceedings of the 14th International Symposium on Component Based Software Engineering (CBSE-2011), Jun. 2011 (Details)

Gausemeier, Jürgen; Schäfer, Wilhelm; Anacker, Harald; Bauer, Frank; Dziwok, Stefan: Einsatz semantischer Technologien im Entwurf mechatronischer Systeme. In: Gausemeier, Jürgen; Rammig, Franz-Josef; Schäfer, Wilhelm; Trächtler, Ansgar (Hrsg.) 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 294 , S. 7-35, 19. - 20. Mai 2011 Heinz Nixdorf Institut (Details)

Eckardt, Tobias; Heinzemann, Christian: Providing Timing Computations for FUJABA. In: Proceedings of the 8th International Fujaba Days (University of Tartu, Estonia), Mai 2011 (Details)


Unsere Publikationen aus dem Jahr 2010:



Heinzemann, Christian: Verifikation von Protokollverfeinerungen. In: Informatiktage 2010 - Fachwissenschaftlicher Informatik-Kongress 19. und 20. Maerz 2010, B-IT Bonn-Aachen International Center for Information Technology in Bonn, LNI, Band S-9 , S. 57-60, Mrz. 2010, GI (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)

Schäfer, Wilhelm; Wehrheim, Heike: Model-driven development with Mechatronic UML. In: Engels, Gregor; Lewerentz, Claus; Schäfer, Wilhelm; Schürr, Andy; Westfechtel, Bernhard (Hrsg.) Graph transformations and model-driven engineering, Lecture Notes in Computer Science, Band 5765 , S. 533-554. Springer-Verlag, Berlin, Heidelberg, Jan. 2010 (Details)


Unsere Publikationen aus dem Jahr 2009:



Heinzemann, Christian; Henkler, Stefan; Zündorf, Albert: Specification and Refinement Checking of Dynamic Systems. In: Proceedings of the 7th International Fujaba Days, S. 6-10, Eindhoven University of Technology, The Netherlands, Nov. 2009 (Details)

Henkler, Stefan; Greenyer, Joel; Hirsch, Martin; Schäfer, Wilhelm; Alhawash, Kahtan; Eckardt, Tobias; Heinzemann, Christian; Löffler, Renate; Seibel, Andreas; Giese, Holger: Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, S. 615-618, Mai 2009 (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)

Alhawash, Kahtan; Ceylan, Toni; Eckardt, Tobias; Fazal-Baqaie, Masud; Greenyer, Joel; Heinzemann, Christian; Henkler, Stefan; Ristov, Renate; Travkin, Dietrich; Yalcin, Coni: The Fujaba Automotive Tool Suite. In: Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, Band TUD-FI08-09 , S. 36-39, Dresden, Germany, Sep. 2008, Technische Universitaet Dresden (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)