dblp.uni-trier.dewww.uni-trier.de

Martin Hirsch

Universität Paderborn, Germany

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
7EESven 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
5EEHolger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272
2006
4EEHolger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
2005
3EESven 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
2EEHolger 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)