Stefan Henkler

发表

Abstraction Techniques for Compositional State-Based Scheduling Analysis

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2012, 2012 Brazilian Symposium on Computing System Engineering.

Seamless Segregation for Multi-Core Systems ∗

Ingo Stierand, Philipp Reinkemeier, Stefan Henkler, 2013 .

Towards a Transformation Language for Component Structures ∗

Stefan Henkler, M. Tichy, 2007 .

Technical Viewpoint

Philipp Reinkemeier, Stefan Henkler, Ingo Stierand, 2012, Model-Based Engineering of Embedded Systems.

From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

Eike Thaden, Stefan Henkler, Ingo Stierand, 2013 .

Modeling Techniques for Software-Intensive Systems

Holger Giese, Stefan Henkler, Matthias Tichy, 2009 .

Component Behavior Synthesis for Critical Systems

Stefan Henkler, Tobias Eckardt, Stefan Henkler, 2010, MBEES.

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

Holger Giese, Stefan Henkler, Martin Hirsch, 2011, Simul..

Impact analysis for timing requirements on real-time systems

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

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

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

State-based scheduling analysis for distributed real-time systems

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2014, Des. Autom. Embed. Syst..

State-based scheduling analysis for distributed real-time systems

Ingo Stierand, Tayfun Gezgin, Stefan Henkler, 2013, Design Automation for Embedded Systems.

Contract-Based Compositional Scheduling Analysis for Evolving Systems

Achim Rettberg, Stefan Henkler, Ingo Stierand, 2013, IESS.

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

Holger Giese, Stefan Henkler, Stefan Henkler, 2006, ROSATEA '06.

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

Holger Giese, Stefan Henkler, Martin Hirsch, 2008, WADS.

Introducing a group-based remote laboratory for embedded education

Stefan Henkler, Achim Rettberg, Chris Beck, 2023, 2023 IEEE 21st International Conference on Industrial Informatics (INDIN).

Fujaba4Eclipse Real-Time Tool Suite

Stefan Henkler, Matthias Tichy, Wilhelm Schäfer, 2007, Model-Based Engineering of Embedded Real-Time Systems.

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

Holger Giese, Stefan Henkler, Wilhelm Schäfer, 2009, 2009 IEEE 31st International Conference on Software Engineering.

Legacy component integration by the Fujaba real-time tool suite

Stefan Henkler, Ulrich Nickel, Jan Meyer, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

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

Stefan Henkler, Martin Hirsch, Stefan Henkler, 2007, 29th International Conference on Software Engineering (ICSE'07).

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

Stefan Henkler, H. Giese, F. Klein, 2006, SCESM '06.

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

Andreas Vogelsang, Frank Houdek, Stefan Henkler, 2014, CSER.

Integrating the Security Aspect into Design Space Exploration of Embedded Systems

Stefan Henkler, Ingo Stierand, Sibylle B. Fröschle, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.