Martin Hirsch

17 papers A* 3A 1B 1C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2023 — conf
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems.
HICSS
Stefan Henkler, Martin Hirsch
2013 J jnl
Modeling and verifying dynamic communication structures based on graph transformations.
Comput. Sci. Res. Dev.
Tobias Eckardt, Christian Heinzemann, Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
2011 J jnl
A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems.
Simul.
Holger Giese, Stefan Henkler, Martin Hirsch
2010 C conf
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.
Software Engineering
Stefan Henkler, Martin Hirsch, Claudia Priesterjahn, Wilhelm Schäfer
2009 A* conf
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.
ICSE
Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese
2008 A conf
Modeling collaborations with dynamic structural adaptation in mechatronic UML.
SEAMS
Martin Hirsch, Stefan Henkler, Holger Giese
2008 — —
Modell-basierte Verifikation von vernetzten mechatronischen Systemen.
Martin Hirsch
2008 — conf
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
MBEES
Stefan Henkler, Martin Hirsch
2007 B conf
Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML.
WADS
Holger Giese, Stefan Henkler, Martin Hirsch
2007 — conf
Fujaba4Eclipse Real-Time Tool Suite.
Model-Based Engineering of Embedded Real-Time Systems
Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer
2007 A* conf
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
ICSE
Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Münch, Henner Vöcking
2007 — conf
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.
MBEES
Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
2007 C conf
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.
Software Engineering
Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
2006 — conf
Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
SCESM
Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
2006 — conf
Scenario-Based Verification of Automotive Software Systems.
MBEES
Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch
2005 — conf
Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML.
MoDELS (Satellite Events)
Holger Giese, Martin Hirsch
2005 A* conf
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems.
ICSE
Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy