| The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems S Burmester, H Giese, M Hirsch, D Schilling, M Tichy Proceedings of the 27th international conference on Software engineering …, 2005 | 91 | 2005 |
| Incremental design and formal verification with UML/RT in the FUJABA real-time tool suite S Burmester, H Giese, M Hirsch, D Schilling Proceedings of the International Workshop on Specification and Validation of …, 2004 | 61 | 2004 |
| Modeling and verifying dynamic communication structures based on graph transformations T Eckardt, C Heinzemann, S Henkler, M Hirsch, C Priesterjahn, W Schäfer Computer Science-Research and Development 28, 3-22, 2013 | 51 | 2013 |
| Modeling collaborations with dynamic structural adaptation in mechatronic uml M Hirsch, S Henkler, H Giese Proceedings of the 2008 international workshop on Software engineering for …, 2008 | 33 | 2008 |
| Tool support for developing advanced mechatronic systems: Integrating the fujaba real-time tool suite with camel-view S Burmester, H Giese, S Henkler, M Hirsch, M Tichy, A Gambuzza, ... 29th International Conference on Software Engineering (ICSE'07), 801-804, 2007 | 28 | 2007 |
| Modular verification of safe online-reconfiguration for proactive components in mechatronic UML H Giese, M Hirsch International Conference on Model Driven Engineering Languages and Systems …, 2005 | 26 | 2005 |
| Modeling techniques for software-intensive systems H Giese, S Henkler, M Hirsch, V Rubin, M Tichy Designing Software-Intensive Systems: Methods and Principles, 21-57, 2009 | 21 | 2009 |
| Synthesis of timed behavior from scenarios in the fujaba real-time tool suite S Henkler, J Greenyer, M Hirsch, W Schafer, K Alhawash, T Eckardt, ... 2009 IEEE 31st International Conference on Software Engineering, 615-618, 2009 | 15 | 2009 |
| 12 Fujaba4Eclipse Real-Time Tool Suite C Priesterjahn, M Tichy, S Henkler, M Hirsch, W Schäfer Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007 | 15 | 2007 |
| Modeling and verifying dynamic communication structures based on graph transformations S Henkler, M Hirsch, C Priesterjahn, W Schäfer Software Engineering 2010, 2010 | 13 | 2010 |
| Combining Formal Verification and Testing for Correct Legacy Component Integrationin Mechatronic UML H Giese, S Henkler, M Hirsch Lecture Notes in Computer Science 5135, 248, 2008 | 13 | 2008 |
| Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL M Hirsch Master’s thesis, University of Paderborn, 2004 | 13 | 2004 |
| Safe online-reconfiguration of self-optimzing mechatronic systems S Osmic, E Münch, A Trächtler, S Henkler, W Schäfer, H Giese, M Hirsch Selbstoptimierende mechatronische Systeme: Die Zukunft gestalten 7, 411-426, 2008 | 11 | 2008 |
| Nobody's perfect: interactive synthesis from parametrized real-time scenarios H Giese, S Henkler, M Hirsch, F Klein Proceedings of the 2006 international workshop on Scenarios and state …, 2006 | 11 | 2006 |
| Scenario-Based Verification of Automotive Software Systems. M Gehrke, P Nawratil, O Niggemann, W Schäfer, M Hirsch MBEES, 35-42, 2006 | 11 | 2006 |
| Modell-basierte Verifikation von vernetzten mechatronischen Systemen M Hirsch Logos Verlag Berlin GmbH, 2008 | 10 | 2008 |
| Syntax and semantics of hybrid components S Burmester, H Giese, M Hirsch Technical Report tr-ri-05-264, University of Paderborn, 2005 | 9 | 2005 |
| Towards the incremental model checking of complex real-time uml models M Hirsch, H Giese Proc. of the Fujaba Days, 2003 | 9 | 2003 |
| Development of self-optimizing systems: Domain-spanning and domain-specific models exemplified by an air gap adjustment system for autonomous vehicles S Henkler, M Hirsch, S Kahl, A Schmidt International Design Engineering Technical Conferences and Computers and …, 2008 | 8 | 2008 |
| A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems H Giese, S Henkler, M Hirsch Simulation 87 (9), 775-808, 2011 | 7 | 2011 |
