Martin Hirsch

Affiliations:
  • Fachhochschule Dortmund, Germany
  • Universität Paderborn, Germany (former)


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems.
Proceedings of the 56th Hawaii International Conference on System Sciences, 2023

2013
Modeling and verifying dynamic communication structures based on graph transformations.
Comput. Sci. Res. Dev., 2013

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

2010
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.
Proceedings of the Software Engineering 2010, 2010

2009
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Modell-basierte Verifikation von vernetzten mechatronischen Systemen.
PhD thesis, 2008

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

Modeling collaborations with dynamic structural adaptation in mechatronic UML.
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.
Proceedings of the Software Engineering 2007, 2007

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.
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.
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.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Fujaba4Eclipse Real-Time Tool Suite.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

2006
Nobody's perfect: interactive synthesis from parametrized real-time scenarios.
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.
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.
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.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005


  Loading...