Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   ICSE, 2005, pp:670-671 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   ICSE, 2007, pp:801-804 [Conf]
   
3. Florian Röhrbein, Stefan Artmann, Martin Hirsch
   IKAR/OS. [Citation Graph (0, 0)][DBLP]
   Modellierung, 2004, pp:327-328 [Conf]
   
4. Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
   Nobody's perfect: interactive synthesis from parametrized real-time scenarios. [Citation Graph (0, 0)][DBLP]
   SCESM, 2006, pp:67-74 [Conf]
   
5. Holger Giese, Martin Hirsch
   Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. [Citation Graph (0, 0)][DBLP]
   MoDELS Satellite Events, 2005, pp:67-78 [Conf]
   
6. Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
   Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. [Citation Graph (0, 0)][DBLP]
   Software Engineering, 2007, pp:251-252 [Conf]
   
7. 
   Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. [Citation Graph (, )][DBLP]
   
   
8. 
   Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. [Citation Graph (, )][DBLP]
   
   
9. 
   Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. [Citation Graph (, )][DBLP]
   
   
10. 
    Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. [Citation Graph (, )][DBLP]
    
    
11. 
    Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. [Citation Graph (, )][DBLP]
    
    
12. 
    Scenario-Based Verification of Automotive Software Systems. [Citation Graph (, )][DBLP]