Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stefan Henkler
2010 – today
- 2013
[j4]Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer: Modeling and verifying dynamic communication structures based on graph transformations. Computer Science - R&D 28(1): 3-22 (2013)- 2012
- [c18]Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg: Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops 2012: 204-211
- [c17]Stefan Henkler, Tobias Eckardt: Component Behavior Synthesis for Critical Systems. MBEES 2012: 113-122
- 2011
- [j3]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)
- [j2]Holger Giese, Stefan Henkler, Martin Hirsch: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simulation 87(9): 775-808 (2011)
- [c16]Christian Heinzemann, Stefan Henkler: Reusing dynamic communication protocols in self-adaptive embedded component architectures. CBSE 2011: 109-118
- [c15]Philipp Reinkemeier, Ingo Stierand, Philip Rehkop, Stefan Henkler: A pattern-based requirement specification language: Mapping automotive specific timing requirements. Software Engineering (Workshops) 2011: 99-108
- 2010
- [c14]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: 267-270
- [c13]Tobias Eckardt, Stefan Henkler: Component Behavior Synthesis for Critical Systems, . ISARCS 2010: 52-71
- [c12]Stefan Henkler, Simon Oberthür, Holger Giese, Andreas Seibel: Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures. ISORC 2010: 58-65
- [c11]Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Ulrich Nickel: Reverse Engineering vernetzter automotiver Softwaresysteme. MBEES 2010: 77-86
- [c10]Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer: Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering 2010: 153-164
2000 – 2009
- 2009
- [c9]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: 615-618
- 2008
- [c8]Matthias Tichy, Stefan Henkler, Matthias Meyer, Markus von Detten: Safety of component-based systems: analysis and improvement using Fujaba4Eclipse. ICSE Companion 2008: 973-974
- [c7]Stefan Henkler, Martin Hirsch: Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. MBEES 2008: 78-86
- 2007
- [c6]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: 309-315
- [c5]Holger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272
- [c4]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: 801-804
- [c3]Björn Axenath, Stefan Henkler: Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen. SEUH 2007: 13-26
- 2006
- [j1]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): 528-550 (2006)
- [c2]Holger Giese, Stefan Henkler: Architecture-driven platform independent deterministic replay for distributed hard real-time systems. ROSATEA 2006: 28-38
- [c1]Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-29 22:16 CET by the dblp team