Stefan Henkler

According to our database, Stefan Henkler authored at least 47 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

CoRR, 2024

2023

A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming.

Aluko Tunde Oluwayemi, Kristian Rother, Stefan Henkler

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Introducing a group-based remote laboratory for embedded education.

Christopher Beck, Luca Brodo, Camila Belen Quintanilla Docmac, Stefan Henkler, Achim Rettberg, Kristian Rother

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems.

Stefan Henkler, Martin Hirsch

Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

2022

Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets.

Luca Brodo, Stefan Henkler, Kristian Rother

Proceedings of the Designing Modern Embedded Systems: Software, Hardware, and Applications, 2022

Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture.

Olaniyi Bayonle Alao, Kristian Rother, Stefan Henkler

Proceedings of the Designing Modern Embedded Systems: Software, Hardware, and Applications, 2022

2016

SPES XT Systems Engineering Extensions.

Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

The SPES XT Tool Platform.

Karsten Albers, Ömer Gürsoy, Stefan Henkler, Michael Schulze, Bastian Tenbergen, Axel Terfloth, Raphael Weber

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020).

Ottmar Bender, Wolfgang Böhm, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

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

Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems.

Philipp Reinkemeier, Heinz Hille, Stefan Henkler

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020).

Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Oliver Sander, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Impact analysis for timing requirements on real-time systems.

Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 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

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Evaluation of a state-based real-time scheduling analysis technique.

Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy.

Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Conference on Systems Engineering Research, 2014

2013

Modeling and verifying dynamic communication structures based on graph transformations.

Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2013

A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development.

Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Automata-Based Refinement Checking for Real-Time Systems.

Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020).

Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Dietmar Sander, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Contracts for evolving systems.

Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

Ein komponentenbasierter, modellgetriebener Softwareentwicklungsansatz für vernetzte, mechatronische Systeme.

Stefan Henkler

PhD thesis, 2012

Abstraction Techniques for Compositional State-Based Scheduling Analysis.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Component Behavior Synthesis for Critical Systems.

Stefan Henkler, Tobias Eckardt

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Towards a Rigorous Modeling Formalism for Systems of Systems.

Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

Technical Viewpoint.

Raphael Weber, Philipp Reinkemeier, Stefan Henkler, Ingo Stierand

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

Introduction to the SPES Modeling Framework.

Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.

Holger Giese, Stefan Henkler, Martin Hirsch

Simul., 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 pattern-based requirement specification language: Mapping automotive specific timing requirements.

Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler

Proceedings of the Software Engineering 2011, 2011

Reusing dynamic communication protocols in self-adaptive embedded component architectures.

Christian Heinzemann, Stefan Henkler

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.

Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer

Proceedings of the Software Engineering 2010, 2010

Reverse Engineering vernetzter automotiver Softwaresysteme.

Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

Component Behavior Synthesis for Critical Systems^,.

Tobias Eckardt, Stefan Henkler

Proceedings of the Architecting Critical Systems, First International Symposium, 2010

Legacy component integration by the Fujaba real-time tool suite.

Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.

Stefan Henkler, Martin Hirsch

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.

Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Modeling collaborations with dynamic structural adaptation in mechatronic UML.

Martin Hirsch, Stefan Henkler, Holger Giese

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

2007

Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen.

Björn Axenath, Stefan Henkler

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2007

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.

Holger Giese, Stefan Henkler, Martin Hirsch

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 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, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Fujaba4Eclipse Real-Time Tool Suite.

Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

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

Nobody's perfect: interactive synthesis from parametrized real-time scenarios.

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Architecture-driven platform independent deterministic replay for distributed hard real-time systems.

Holger Giese, Stefan Henkler

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006