Martin Hirsch

Universität Paderborn, Germany

other persons with the same name:

• Martin Hirsch - Martin-Luther-Universität Halle-Wittenberg, Germany

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
5	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
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

Coauthor Index

1	Stefan Artmann	[1]
2	Sven Burmester	[3] [7]
3	Alfonso Gambuzza	[7]
4	Matthias Gehrke	[6]
5	Holger Giese	[2] [3] [4] [5] [7]
6	Stefan Henkler	[4] [5] [7]
7	Florian Klein	[4]
8	Eckehard Münch	[7]
9	Ulrich Nickel	[6]
10	Oliver Niggemann	[6]
11	Florian Röhrbein	[1]
12	Wilhelm Schäfer	[6]
13	Daniela Schilling	[3]
14	Dirk Stichling	[6]
15	Matthias Tichy	[3] [7]
16	Henner Vöcking	[7]

Colors in the list of coauthors