Martin Hirsch

According to our database, Martin Hirsch authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems.

Stefan Henkler, Martin Hirsch

Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

2013

Modeling and verifying dynamic communication structures based on graph transformations.

Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer

Comput. Sci. Res. Dev., 2013

2011

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.

Holger Giese, Stefan Henkler, Martin Hirsch

Simul., 2011

2010

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.

Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer

Proceedings of the Software Engineering 2010, 2010

2009

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Modell-basierte Verifikation von vernetzten mechatronischen Systemen.

Martin Hirsch

PhD thesis, 2008

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.

Stefan Henkler, Martin Hirsch

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Modeling collaborations with dynamic structural adaptation in mechatronic UML.

Martin Hirsch, Stefan Henkler, Holger Giese

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

2007

Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel

Proceedings of the Software Engineering 2007, 2007

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.

Holger Giese, Stefan Henkler, Martin Hirsch

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.

Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Fujaba4Eclipse Real-Time Tool Suite.

Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006

Nobody's perfect: interactive synthesis from parametrized real-time scenarios.

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Scenario-Based Verification of Automotive Software Systems.

Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

2005

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.

Holger Giese, Martin Hirsch

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.

Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005