PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hirsch, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Verifying Dynamic Communication Structures based on Graph Transformations.

, , , and . Software Engineering, volume P-159 of LNI, page 153-164. GI, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Manuel Hirsch University of Stuttgart

Dr. Tobias Hirsch University of Stuttgart

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

 

Other publications of authors with the same name

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems., , and . Simulation, 87 (9): 775-808 (2011)Fujaba4Eclipse Real-Time Tool Suite., , , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 309-315. Springer, (2007)Hierarchical distributed controllers - design and verification., , and . ETFA, page 657-664. IEEE, (2007)Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite., , , , , , , , , and . ICSE, page 615-618. IEEE, (2009)Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen., , , , , and . Software Engineering, volume P-105 of LNI, page 251-252. GI, (2007)Modeling and Verifying Dynamic Communication Structures based on Graph Transformations., , , and . Software Engineering, volume P-159 of LNI, page 153-164. GI, (2010)Scenario-Based Verification of Automotive Software Systems., , , , and . MBEES, volume 2006-1 of Informatik-Bericht, page 35-42. TU Braunschweig, Institut für Software Systems Engineering, (2006)Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View., and . MBEES, volume 2008-2 of Informatik-Bericht, page 78-86. TU Braunschweig, Institut für Software Systems Engineering, (2008)Proposal for generalised supersymmetry Les Houches Accord for see-saw models and PDG numbering scheme., , , , , , , , and . Comput. Phys. Commun., 184 (3): 698-719 (2013)Modeling and verifying dynamic communication structures based on graph transformations., , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (2013)