The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. - Sven Burmester; Holger Giese; Martin Hirsch 001; Daniela Schilling; Matthias Tichy (ICSE, 2005)

Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. - Holger Giese; Martin Hirsch 001 (MoDELS (Satellite Events), 2005)

Scenario-Based Verification of Automotive Software Systems. - Matthias Gehrke; Petra Nawratil; Oliver Niggemann; Wilhelm Schäfer; Martin Hirsch 001 (MBEES, 2006)

Nobody's perfect: interactive synthesis from parametrized real-time scenarios. - Holger Giese; Stefan Henkler; Martin Hirsch 001; Florian Klein 001 (SCESM, 2006)

Fujaba4Eclipse Real-Time Tool Suite. - Claudia Priesterjahn; Matthias Tichy; Stefan Henkler; Martin Hirsch 001; Wilhelm Schäfer (Model-Based Engineering of Embedded Real-Time Systems, 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 001; Matthias Tichy; Alfonso Gambuzza; Eckehard Münch; Henner Vöcking (ICSE, 2007)

Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. - Holger Giese; Stefan Henkler; Martin Hirsch 001 (WADS, 2007)

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. - Matthias Gehrke; Martin Hirsch 001; Wilhelm Schäfer; Oliver Niggemann; Dirk Stichling; Ulrich Nickel 002 (MBEES, 2007)

Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. - Matthias Gehrke; Martin Hirsch 001; Wilhelm Schäfer; Oliver Niggemann; Dirk Stichling; Ulrich Nickel 002 (Software Engineering, 2007)

Modeling collaborations with dynamic structural adaptation in mechatronic UML. - Martin Hirsch 001; Stefan Henkler; Holger Giese (SEAMS, 2008)

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. - Stefan Henkler; Martin Hirsch 001 (MBEES, 2008)

Modell-basierte Verifikation von vernetzten mechatronischen Systemen. - Martin Hirsch 001 (Logos-Verlag, 2008)

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. - Stefan Henkler; Joel Greenyer; Martin Hirsch 001; Wilhelm Schäfer; Kahtan Alhawash; Tobias Eckardt; Christian Heinzemann; Renate Löffler; Andreas Seibel; Holger Giese (ICSE, 2009)

Modeling and Verifying Dynamic Communication Structures based on Graph Transformations. - Stefan Henkler; Martin Hirsch 001; Claudia Priesterjahn; Wilhelm Schäfer (Software Engineering, 2010)

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. - Holger Giese; Stefan Henkler; Martin Hirsch 001 (Simul., 2011)

Modeling and verifying dynamic communication structures based on graph transformations. - Tobias Eckardt; Christian Heinzemann; Stefan Henkler; Martin Hirsch 001; Claudia Priesterjahn; Wilhelm Schäfer (Comput. Sci. Res. Dev., 2013)

Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems. - Stefan Henkler; Martin Hirsch 001 (HICSS, 2023)