Stefan Henkler

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 5

Top Venues

IESS

INDIN

Software Engineering

Software Engineering (Workshops)

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Stefan Henkler, Martin Hirsch
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. HICSS (2023)
Christopher Beck, Luca Brodo, Camila Belen Quintanilla Docmac, Stefan Henkler, Achim Rettberg, Kristian Rother
Introducing a group-based remote laboratory for embedded education. INDIN (2023)
Aluko Tunde Oluwayemi, Kristian Rother, Stefan Henkler
A Prototype for Lab-Based System Testing of Cyber Physical Systems for Smart Farming. INDIN (2023)
Olaniyi Bayonle Alao, Kristian Rother, Stefan Henkler
Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture. IESS (2022)
Luca Brodo, Stefan Henkler, Kristian Rother
Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets. IESS (2022)
Ottmar Bender, Wolfgang Böhm, Frank Houdek, Stefan Henkler, Andreas Vogelsang, Thorsten Weyer
FünfterWorkshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION2020). Software Engineering & Management (2015)
Wolfgang Böhm, Stefan Henkler, Frank Houdek, Andreas Vogelsang, Thorsten Weyer
Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy. CSER (2014)
Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Oliver Sander, Andreas Vogelsang, Thorsten Weyer
4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). Software Engineering (2014)
Philipp Reinkemeier, Heinz Hille, Stefan Henkler
Towards Creating Flexible Tool Chains for the Design and Analysis of Multi-Core Systems. Software Engineering (Workshops) (2014)
Tayfun Gezgin, Ingo Stierand, Stefan Henkler, Achim Rettberg
State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
Impact analysis for timing requirements on real-time systems. RTCSA (2014)
Ingo Stierand, Sunil Malipatlolla, Sibylle B. Fröschle, Alexander Stühring, Stefan Henkler
Integrating the Security Aspect into Design Space Exploration of Embedded Systems. ISSRE Workshops (2014)
Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
Evaluation of a state-based real-time scheduling analysis technique. INDIN (2014)
Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28 (1) (2013)
Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
Contract-Based Compositional Scheduling Analysis for Evolving Systems. IESS (2013)
Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg
Contracts for evolving systems. ISORC (2013)
Christian Brenner, Christian Heinzemann, Wilhelm Schäfer, Stefan Henkler
Automata-Based Refinement Checking for Real-Time Systems. Software Engineering (2013)
Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden
A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development. Software Engineering (Workshops) (2013)
Ottmar Bender, Wolfgang Böhm, Stefan Henkler, Dietmar Sander, Andreas Vogelsang, Thorsten Weyer
3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020). Software Engineering (2013)
Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg
Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops (2012)
Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
Abstraction Techniques for Compositional State-Based Scheduling Analysis. SBESC (2012)
Stefan Henkler, Tobias Eckardt
Component Behavior Synthesis for Critical Systems. MBEES (2012)
Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel
Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. Comput. Syst. Sci. Eng. 26 (6) (2011)
Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler
A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) (2011)
Christian Heinzemann, Stefan Henkler
Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE (2011)
Holger Giese, Stefan Henkler, Martin Hirsch
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simul. 87 (9) (2011)
Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering (2010)
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel
Legacy component integration by the Fujaba real-time tool suite. ICSE (2) (2010)
Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel
Reverse Engineering vernetzter automotiver Softwaresysteme. MBEES (2010)
Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel
Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC (2010)
Tobias Eckardt, Stefan Henkler
. ISARCS (2010)
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE (2009)
Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. ICSE Companion (2008)
Martin Hirsch, Stefan Henkler, Holger Giese
Modeling collaborations with dynamic structural adaptation in mechatronic UML. SEAMS (2008)
Stefan Henkler, Martin Hirsch
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. MBEES (2008)
Holger Giese, Stefan Henkler, Martin Hirsch
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS (2007)
Björn Axenath, Stefan Henkler
Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen. SEUH (2007)
Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
Fujaba4Eclipse Real-Time Tool Suite. Model-Based Engineering of Embedded Real-Time Systems (2007)
Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. ICSE (2007)
Holger Giese, Stefan Henkler
A survey of approaches for the visual model-driven development of next generation software-intensive systems. J. Vis. Lang. Comput. 17 (6) (2006)
Holger Giese, Stefan Henkler
Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA (2006)
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM (2006)

Stefan Henkler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Henkler