Get started
Author

Stefan Henkler

Observed name: Henkler, Stefan
ORCID: 0009-0000-4979-9456
Observed ORCID: 0009-0000-4979-9456
OpenAlex ID: A5031057579
Towards a Rigorous Modeling Formalism for Systems of Systems
2012 · Tayfun Gezgin, Christoph Etzien, et al. · IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) · 36
Modeling and verifying dynamic communication structures based on graph transformations
2011 · Tobias Eckardt, Christian Heinzemann, et al. · Computer Science - Research and Development · 36
A survey of approaches for the visual model-driven development of next generation software-intensive systems
2006 · Holger Giese, Stefan Henkler · Journal of Visual Languages & Computing · 35
Modeling collaborations with dynamic structural adaptation in mechatronic UML
2008 · Martin Hirsch, Stefan Henkler, et al. · International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) · 21
Introduction to the SPES Modeling Framework
2012 · Manfred Broy, Werner Damm, et al. · Springer eBooks · 20
Bridging the Gap between Systems and Software Engineering by Using the SPES Modeling Framework as a General Systems Engineering Philosophy
2014 · Wolfgang Böhm, Stefan Henkler, et al. · Procedia Computer Science · 18
12 Fujaba4Eclipse Real-Time Tool Suite
2010 · Claudia Priesterjahn, Matthias Tichy, et al. · Lecture notes in computer science · 17
Integrating the Security Aspect into Design Space Exploration of Embedded Systems
2014 · Ingo Stierand, Sunil Malipatlolla, et al. · IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) · 15
A pattern-based requirement specification language: Mapping automotive specific timing requirements.
2011 · Philipp Reinkemeier, Ingo Stierand, et al. · Software Engineering (Workshops) · 15
Towards the Design of Self-Optimizing Mechatronic Systems: Consistency Between Domain-Spanning and Domain-Specific Models
2007 · J. Gausemeier, Holger Giese, et al. · Guidelines for a Decision Support Method Adapted to NPD Processes · 13
Reusing dynamic communication protocols in self-adaptive embedded component architectures
2011 · Christian Heinzemann, Stefan Henkler · International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) · 12
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View
2007 · Sven Burmester, Holger Giese, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 12
Legacy component integration by the Fujaba real-time tool suite
2010 · Stefan Henkler, Jan Meyer, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 11
Modeling Techniques for Software-Intensive Systems
2009 · Holger Giese, Stefan Henkler, et al. · IGI Global eBooks · 11
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
2009 · Stefan Henkler, Joel Greenyer, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 11
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
2006 · Holger Giese, Stefan Henkler · 11
Component Behavior Synthesis for Critical Systems,
2010 · Tobias Eckardt, Stefan Henkler · Lecture notes in computer science · 10
Contracts for evolving systems
2013 · Christoph Etzien, Tayfun Gezgin, et al. · IEEE International Symposium on Real-Time Distributed Computing (ISORC) · 7
From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach
2013 · Ingo Stierand, Günter Ehmen, et al. · SAE International journal of passenger cars. Electronic and electrical systems · 6
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems
2010 · Holger Giese, Stefan Henkler, et al. · SIMULATION · 6
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML
2008 · Holger Giese, Stefan Henkler, et al. · Lecture notes in computer science · 6
State-based scheduling analysis for distributed real-time systems: Coping with the large state space by a compositional approach
2013 · Tayfun Gezgin, Ingo Stierand, et al. · Design Automation for Embedded Systems · 5
Development of Self-Optimizing Systems: Domain-Spanning and Domain-Specific Models Exemplified by an Air Gap Adjustment System for Autonomous Vehicles
2008 · Stefan Henkler, Martin Hirsch, et al. · ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (IDETC/CIE) · 5
Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture
2023 · Olaniyi Bayonle Alao, Kristian Rother, et al. · IFIP advances in information and communication technology · 4
Abstraction Techniques for Compositional State-Based Scheduling Analysis
2012 · Tayfun Gezgin, Stefan Henkler, et al. · Brazilian Symposium on Computing System Engineering (SBESC) · 4
Works count: 59
Citation count: 387
H-index: 12
I10-index: 17
Year
Topic
Type