Architecture-driven platform independent deterministic replay for distributed hard real-time systems. - Holger Giese; Stefan Henkler (ROSATEA, 2006)

Nobody's perfect: interactive synthesis from parametrized real-time scenarios. - Holger Giese; Stefan Henkler; Martin Hirsch 001; Florian Klein 001 (SCESM, 2006)

A survey of approaches for the visual model-driven development of next generation software-intensive systems. - Holger Giese; Stefan Henkler (J. Vis. Lang. Comput., 2006)

Fujaba4Eclipse Real-Time Tool Suite. - Claudia Priesterjahn; Matthias Tichy; Stefan Henkler; Martin Hirsch 001; Wilhelm Schäfer (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. - Sven Burmester; Holger Giese; Stefan Henkler; Martin Hirsch 001; Matthias Tichy; Alfonso Gambuzza; Eckehard Münch; Henner Vöcking (ICSE, 2007)

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. - Holger Giese; Stefan Henkler; Martin Hirsch 001 (WADS, 2007)

Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen. - Björn Axenath; Stefan Henkler (SEUH, 2007)

Modeling collaborations with dynamic structural adaptation in mechatronic UML. - Martin Hirsch 001; Stefan Henkler; Holger Giese (SEAMS, 2008)

Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. - Matthias Tichy; Stefan Henkler; Matthias Meyer 001; Markus von Detten (ICSE Companion, 2008)

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. - Stefan Henkler; Martin Hirsch 001 (MBEES, 2008)

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Legacy component integration by the Fujaba real-time tool suite. - Stefan Henkler; Jan Meyer; Wilhelm Schäfer; Markus von Detten; Ulrich Nickel 002 (ICSE (2), 2010)

Component Behavior Synthesis for Critical Systems, . - Tobias Eckardt; Stefan Henkler (ISARCS, 2010)

Reverse Engineering vernetzter automotiver Softwaresysteme. - Stefan Henkler; Jan Meyer; Wilhelm Schäfer; Ulrich Nickel 002 (MBEES, 2010)

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. - Stefan Henkler; Martin Hirsch 001; Claudia Priesterjahn; Wilhelm Schäfer (Software Engineering, 2010)

Reusing dynamic communication protocols in self-adaptive embedded component architectures. - Christian Heinzemann; Stefan Henkler (CBSE, 2011)

A pattern-based requirement specification language: Mapping automotive specific timing requirements. - Philipp Reinkemeier; Ingo Stierand; Philip Rehkop; Stefan Henkler (Software Engineering (Workshops), 2011)

Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. - Stefan Henkler; Simon Oberthür; Holger Giese; Andreas Seibel (Comput. Syst. Sci. Eng., 2011)

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. - Holger Giese; Stefan Henkler; Martin Hirsch 001 (Simul., 2011)

Introduction to the SPES Modeling Framework. - Manfred Broy; Werner Damm; Stefan Henkler; Klaus Pohl; Andreas Vogelsang; Thorsten Weyer (Model-Based Engineering of Embedded Systems, 2012)

Technical Viewpoint. - Raphael Weber; Philipp Reinkemeier; Stefan Henkler; Ingo Stierand (Model-Based Engineering of Embedded Systems, 2012)

Towards a Rigorous Modeling Formalism for Systems of Systems. - Tayfun Gezgin; Christoph Etzien; Stefan Henkler; Achim Rettberg (ISORC Workshops, 2012)

Component Behavior Synthesis for Critical Systems. - Stefan Henkler; Tobias Eckardt (MBEES, 2012)

Abstraction Techniques for Compositional State-Based Scheduling Analysis. - Tayfun Gezgin; Stefan Henkler; Achim Rettberg; Ingo Stierand (SBESC, 2012)

Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme. - Stefan Henkler (2012)

Contract-Based Compositional Scheduling Analysis for Evolving Systems. - Tayfun Gezgin; Stefan Henkler; Achim Rettberg; Ingo Stierand (IESS, 2013)

Contracts for evolving systems. - Christoph Etzien; Tayfun Gezgin; Sibylle B. Fröschle; Stefan Henkler; Achim Rettberg (ISORC, 2013)

3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). - Ottmar Bender; Wolfgang Böhm 002; Stefan Henkler; Dietmar Sander; Andreas Vogelsang; Thorsten Weyer (Software Engineering, 2013)

Automata-Based Refinement Checking for Real-Time Systems. - Christian Brenner 001; Christian Heinzemann; Wilhelm Schäfer; Stefan Henkler (Software Engineering, 2013)

A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development. - Matthias Büker; Stefan Henkler; Stefanie Schlegel; Eike Thaden (Software Engineering (Workshops), 2013)

Modeling and verifying dynamic communication structures based on graph transformations. - Tobias Eckardt; Christian Heinzemann; Stefan Henkler; Martin Hirsch 001; Claudia Priesterjahn; Wilhelm Schäfer (Comput. Sci. Res. Dev., 2013)

Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy. - Wolfgang Böhm 002; Stefan Henkler; Frank Houdek; Andreas Vogelsang; Thorsten Weyer (CSER, 2014)

Evaluation of a state-based real-time scheduling analysis technique. - Tayfun Gezgin; Stefan Henkler; Ingo Stierand; Achim Rettberg (INDIN, 2014)

Integrating the Security Aspect into Design Space Exploration of Embedded Systems. - Ingo Stierand; Sunil Malipatlolla; Sibylle B. Fröschle; Alexander Stühring; Stefan Henkler (ISSRE Workshops, 2014)

Impact analysis for timing requirements on real-time systems. - Tayfun Gezgin; Stefan Henkler; Ingo Stierand; Achim Rettberg (RTCSA, 2014)

4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). - Ottmar Bender; Wolfgang Böhm 002; Stefan Henkler; Oliver Sander; Andreas Vogelsang; Thorsten Weyer (Software Engineering, 2014)

Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems. - Philipp Reinkemeier; Heinz Hille; Stefan Henkler (Software Engineering (Workshops), 2014)

State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. - Tayfun Gezgin; Ingo Stierand; Stefan Henkler; Achim Rettberg (Des. Autom. Embed. Syst., 2014)

FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020). - Ottmar Bender; Wolfgang Böhm 002; Frank Houdek; Stefan Henkler; Andreas Vogelsang; Thorsten Weyer (Software Engineering & Management, 2015)

The SPES XT Tool Platform. - Karsten Albers; Ömer Gürsoy; Stefan Henkler; Michael Schulze; Bastian Tenbergen; Axel Terfloth; Raphael Weber (Advanced Model-Based Engineering of Embedded Systems, 2016)

SPES XT Systems Engineering Extensions. - Wolfgang Böhm 002; Stefan Henkler; Frank Houdek; Andreas Vogelsang; Thorsten Weyer (Advanced Model-Based Engineering of Embedded Systems, 2016)

Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture. - Olaniyi Bayonle Alao; Kristian Rother; Stefan Henkler (IESS, 2022)

Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets. - Luca Brodo; Stefan Henkler; Kristian Rother (IESS, 2022)

Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. - Stefan Henkler; Martin Hirsch 001 (HICSS, 2023)

Introducing a group-based remote laboratory for embedded education. - Christopher Beck; Luca Brodo; Camila Belen Quintanilla Docmac; Stefan Henkler; Achim Rettberg; Kristian Rother (INDIN, 2023)

A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming. - Aluko Tunde Oluwayemi; Kristian Rother; Stefan Henkler (INDIN, 2023)

Human-In-The-Loop Reasoning for Traffic Sign Detection: Collaborative Approach YOLO with Video-LLaVA. - Mehdi Azarafza; Fatima Idrees; Ali Ehteshami Bejnordi; Charles Steinmetz; Stefan Henkler; Achim Rettberg (FICC (1), 2025)