Martin Hirsch

Universität Paderborn, Germany

other persons with the same name:

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

	2011
14		Holger Giese, Stefan Henkler, Martin Hirsch: A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simulation 87(9): 775-808 (2011)
	2010
13		Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer: Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering 2010: 153-164
	2009
12		Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese: Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE 2009: 615-618
	2008
11		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
10		Martin Hirsch: Modell-basierte Verifikation von vernetzten mechatronischen Systemen. University of Paderborn 2008: 1-189
	2007
9		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
8		Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel: Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. MBEES 2007: 73-82
7		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
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		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		Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch: Scenario-Based Verification of Automotive Software Systems. MBEES 2006: 35-42
3		Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
	2005
2		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
1		Holger Giese, Martin Hirsch: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS Satellite Events 2005: 67-78

Coauthor Index

1	Kahtan Alhawash	[12]
2	Sven Burmester	[2] [9]
3	Tobias Eckardt	[12]
4	Alfonso Gambuzza	[9]
5	Matthias Gehrke	[4] [6] [8]
6	Holger Giese	[1] [2] [3] [5] [9] [12] [14]
7	Joel Greenyer	[12]
8	Christian Heinzemann	[12]
9	Stefan Henkler	[3] [5] [7] [9] [11] [12] [13] [14]
10	Renate Loffler	[12]
11	Eckehard Münch	[9]
12	Petra Nawratil	[4]
13	Ulrich Nickel	[6] [8]
14	Oliver Niggemann	[4] [6] [8]
15	Claudia Priesterjahn	[7] [13]
16	Wilhelm Schäfer	[4] [6] [7] [8] [12] [13]
17	Daniela Schilling	[2]
18	Andreas Seibel	[12]
19	Florian Stallmann (Florian Klein)	[3]
20	Dirk Stichling	[6] [8]
21	Matthias Tichy	[2] [7] [9]
22	Henner Vöcking	[9]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page