| 2008 |
|---|
| 7 | EE | Matthias Tichy,
Stefan Henkler,
Matthias Meyer,
Markus von Detten:
Safety of component-based systems: analysis and improvement using Fujaba4Eclipse.
ICSE Companion 2008: 973-974 |
| 2007 |
|---|
| 6 | EE | 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 |
| 5 | | Björn Axenath,
Stefan Henkler:
Ein verbessertes Softwaretechnikpraktikum: zwischen grüner Wiese und Legacy-Systemen.
SEUH 2007: 13-26 |
| 4 | EE | Holger Giese,
Stefan Henkler,
Martin Hirsch:
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.
WADS 2007: 248-272 |
| 2006 |
|---|
| 3 | EE | Holger Giese,
Stefan Henkler:
Architecture-driven platform independent deterministic replay for distributed hard real-time systems.
ROSATEA 2006: 28-38 |
| 2 | EE | Holger Giese,
Stefan Henkler,
Martin Hirsch,
Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
SCESM 2006: 67-74 |
| 1 | EE | 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) |
