Publications

Stürmer, I., Pohlheim, H., Rogier, T.: Berechnung und Visualisierung der Modellkomplexität bei der modellbasierten Entwicklung sicherheits-relevanter Software, in Keller, B. et. al. (Hrsg.), Automotive - Safety & Security, Shaker Verlag, S. 69-82, 2010.

Schürr, A., Schäfer, W., Legros, E., Stürmer, I.: MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. Lecture Notes in Computer Science, invited contribution, to appear, 2009.

Choi, J.-W., Trögel, A., Stürmer, I.: TUDOOR - Ein Java Adapter für Telelogic DOORS. Proc. of Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme (MBEES), pp. 189-193, 2009.

Stürmer, I., Stamatov, S., Eisemann, U.: Automated Checking of MISRA TargetLink and AUTOSAR Guidelines. Proc. of SAE World Congress 2009, SAE Doc. #2009-01-0267, Detroit (USA), April, 2009.

Travkin, D., Stürmer, I.: Tool-supported Quality Assessment and Improvement of MATLAB Simulink and Stateflow Models. Proc. of the 4th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4 Post-proceedings), HNI Verlagsschriftenreihe, Vol. 236, Paderborn, pp. 61-68, 2008.

Stürmer, I., Pohlheim, H., Eisemann, U., Beine, M.: Automatisierte Prüfung der MISRA TargetLink Richtlinien für die Modell-basierte Entwicklung eingebetteter Software im Automobil. Automotive - Safety and Security, Shaker Verlag, Aachen, 2008.

Ameluxen, C., Legros, E., Schürr, A., Stürmer, I.: Checking and Enforcement of Modeling Guidelines with Graph Transformations. In Application of Graph Transformations with Industrial Relevance (AGTIVE 2007), LNCS Vol. 5088/2008, pp. 313-328, 2008.

Fey, I., and Stürmer, I.: Quality Assurance Methods for Model-based Development: A Survey and Assessment. SAE 2007 Transactions Journal of Passenger Cars: Mechanical Systems, V116-6, pp. 374-380, Aug. 2008.

Stürmer, I., Dziobek, C., Pohlheim, H.: Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. Proc. of Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2008), pp. 28-39, April, 2008.

Fey, I., and Stürmer, I.: Code Generation for Safety Critical Systems - Open Questions and Possible Solutions. Proc. of SAE World Congress 2008, SAE Doc. #2008-01-0385, Detroit (USA), April, 2008.