| 2007 |
|---|
| 7 | 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 |
| 6 | | Matthias Gehrke,
Martin Hirsch,
Wilhelm Schäfer,
Oliver Niggemann,
Dirk Stichling,
Ulrich Nickel:
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.
Software Engineering 2007: 251-252 |
| 2006 |
|---|
| 5 | EE | Valeriy Vyatkin,
Martin Hirsch,
Hans-Michael Hanisch:
Systematic Design and Implementation of Distributed Controllers in Industrial Automation.
ETFA 2006: 633-640 |
| 4 | EE | Holger Giese,
Stefan Henkler,
Martin Hirsch,
Florian Klein:
Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
SCESM 2006: 67-74 |
| 2005 |
|---|
| 3 | EE | Sven Burmester,
Holger Giese,
Martin Hirsch,
Daniela Schilling,
Matthias Tichy:
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.
ICSE 2005: 670-671 |
| 2 | EE | Holger Giese,
Martin Hirsch:
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.
MoDELS Satellite Events 2005: 67-78 |
| 2004 |
|---|
| 1 | | Florian Röhrbein,
Stefan Artmann,
Martin Hirsch:
IKAR/OS.
Modellierung 2004: 327-328 |
