Martin Hirsch Home Page Coauthor index DBLP Vis pubzone.org

Universität Paderborn, Germany

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan 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
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthias 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler, Martin Hirsch: Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS 2007: 248-272
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Stefan Henkler, Martin Hirsch, Florian Klein: Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM 2006: 67-74
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Martin Hirsch: Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS Satellite Events 2005: 67-78
2004
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlorian Röhrbein, Stefan Artmann, Martin Hirsch: IKAR/OS. Modellierung 2004: 327-328

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)