Martin Hirsch

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 1

Top Venues

HICSS

Comput. Sci. Res. Dev.

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Stefan Henkler, Martin Hirsch
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. HICSS (2023)
Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
Modeling and verifying dynamic communication structures based on graph transformations. Comput. Sci. Res. Dev. 28 (1) (2013)
Holger Giese, Stefan Henkler, Martin Hirsch
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. Simul. 87 (9) (2011)
Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. Software Engineering (2010)
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. ICSE (2009)
Martin Hirsch, Stefan Henkler, Holger Giese
Modeling collaborations with dynamic structural adaptation in mechatronic UML. SEAMS (2008)
Stefan Henkler, Martin Hirsch
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. MBEES (2008)
Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. Software Engineering (2007)
Holger Giese, Stefan Henkler, Martin Hirsch
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. WADS (2007)
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)
Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. MBEES (2007)
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)
Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch
Scenario-Based Verification of Automotive Software Systems. MBEES (2006)
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
Nobody's perfect: interactive synthesis from parametrized real-time scenarios. SCESM (2006)
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)
Holger Giese, Martin Hirsch
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. MoDELS (Satellite Events) (2005)

Martin Hirsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Hirsch