Main page 
Automatic Code Generation Autocode Glossary Publications Curriculum Vitae Dissertation | Main page |
Automatic Code Generation |
Autocode Glossary |
Publications |
Curriculum Vitae |
Dissertation |
|
 |
Pohlheim, H., Stürmer, I., Salecker, E.:
Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software,
8. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2012), pp. 11-20, 2012.
Paper (pdf, 276 KB) |
 |
Stürmer, I., Pohlheim, H.:
Model Quality Assessment in Practice: How to Measure and Assess the Quality of Software Models During the Embedded Software Development Process,
Proc. of Int. Congress of Embedded Real Time Software and Systems (ERTS 2012), Toulouse (France), Feb., 2012.
Paper (pdf, 911 KB) |
|
|
|
Hu, W., Wegener, J., Stürmer, I., Reichert, R., Salecker, E., Glesner, S.:
MeMo - Methods of Model Quality,
7. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2011), S. 127-132, 2011.
Paper (pdf, 99 KB) |
|
|
|
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.
Slides (pdf, 721 KB) |
|
|
|
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.
Paper (pdf, 459 KB) |
|
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. Slides (pdf, 576 KB) |
|
|
|
Stürmer, I., Travkin, D.:
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.
In Automotive - Safety and Security 2008, 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.
Electronic edition |
|
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. Electronic edition |
|
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.
Paper (pdf, 422 KB) | Slides (pdf, 763 KB) |
|
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. Also appeared in SAE Int. Journal Passenger Cars - Electronic Systems 1(1):150-155, 2008 Paper (pdf, 190 KB) | Electronic edition |
|
Stürmer, I.:
Certification of Model-based Code Generators.
Proc. of 4th Int. Congress of Embedded Real Time Software (ERTS 2008), Toulouse (France), Jan., 2008 Slides (pdf, 816 KB) |
|
|
|
Stürmer, I., Travkin, D.:
Automated Transformation of MATLAB Simulink and Stateflow Models.
Proc. of 4th Workshop on Object-oriented Modeling of Embedded Real-time Systems, pp. 57-62, 2007. Paper (pdf, 188 KB) | Slides (pdf, 1179 KB) |
|
Stürmer, I., Conrad, M., Dörr, H., Pepper. P.:
Systematic Testing of Model-based Code Generators.
IEEE Transactions on Software Engineering, Vol. 33(9), pp. 622-634, Sept., 2007. Electronic edition |
|
Stürmer, I., Kreuz, I., Schäfer, W., Schürr, A.:
The MATE Approach: Enhanced Simulink and Statfelow Model Transformation.
Proc. of MathWorks Automotive Conference (MAC 2007), Jun. 19-20, Dearborn (MI), USA, 2007. Paper (pdf, 307 KB) | Slides (pdf, 529 KB) |
|
Fey, I., and Stürmer, I.:
Quality Assurance Methods for Model-based Development: A Survey and Assessment.
SAE World Congress, SAE Doc. #2007-01-0506, Detroit, 2007. Also appears in SAE 2007 Transactions Journal
of Passenger Cars: Mechanical Systems, V116-6, Aug. 2008. Paper (pdf, 221 KB) | Slides (pdf, 2525 KB) | Electronic edition |
|
Stürmer, I., Dörr, H., Giese, H., Kelter, U., Schürr, A., Zündorf, A.:
Das MATE Projekt - Visuelle Spezifikation von MATLAB/Simulink/Stateflow Analysen und Transformationen.
Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme , Jan. 2007. Paper (pdf, 176 KB) | Slides (pdf, 886 KB) |
|
|
Stürmer, I.:
Zertifizierung von Codegeneratoren - Probleme und Lösungsmöglichkeiten.
Vortrag auf dem Workshop Zertifizierung von generierter Software für Luft- und Raumfahrtsysteme der
Deutschen Gesellschaft für Luft und Raumfahrt, Garching, 11. Okt. 2006. Slides (pdf, 932 KB) |
|
Holmlund, B., Settle-Murphy, N., Stürmer, I., and Young, J.:
Managing Effective Virtual Teams.
Tutorial of Collaborative Technologies Conference (CTC 2006), Boston, MA, June 19.-22., 2006. Tutorial Handout (pdf, 1185 KB) |
|
Stürmer, I., Conrad, M., Fey, I., and Dörr, H.:
Experiences with Model and Autocode Reviews in Model-based Software Development.
Proc. of 3rd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2006), Shanghai, 2006. Slides (pdf, 1215 KB) | Author's version (pdf, 221 KB) |
|
Stürmer, I.:
Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation.
Dissertation, Pro BUSINESS, Berlin, 2006. Abstract | link to publisher |
|
Neema, S. and Stürmer, I.:
Automated Test Case Generation for Code Generators based on Graph-Transformation Rules.
Vanderbilt University, Technical Report #ISIS-06-0701, 2006. Abstract | Electronic edition |
|
Conrad, M., Dörr, H., Fey, I., and Stürmer, I.:
Using Model and Code Reviews in Model-based Development of ECU Software.
Proc. of SAE World Congress, SAE Doc. #2006-01-1240, Detroit, 2006. Paper (pdf, 120 KB) | Slides (pdf, 310 KB) | Electronic edition |
|
|
|
Stürmer, I. and Conrad, M.:
Ein Testverfahren für optimierende Codegeneratoren.
Informatik - Forschung und Entwicklung, Vol. 19(4), pp. 213-223, 2005. Author's version (pdf, 498 KB) | Electronic edition |
|
Stürmer, I., Weinberg, D., and Conrad, M.:
Overview of Existing Safeguarding Techniques for Automatically Generated Code.
Proc. of 2nd Intl. ICSE Workshop on Software Engineering for Automotive Systems (SEAS'05), St. Louis, Missouri, USA, May. 21, pp. 1-6, 2005. Slides (pdf, 802 KB) | Author's version | Electronic edition |
|
Conrad, M., Dörr, H., Fey, I., Pohlheim, H., Stürmer, I.:
Guidelines und Reviews in der modell-basierten Entwicklung von Steuergeräte-Software.
Simulation und Test in der Funktions- und Softwareentwicklung für die Automobilelektronik, Expert-Verlag, Berlin, 2005. Abstract | Paper (pdf, 225 KB) |
|
|
|
Baldan, P., König, B., Stürmer, I.:
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.
Proc. of 2nd Int. Conference on Graph Transformation (ICGT), Lecture Notes in Computer Science No. 3256, pp.194-209, 2004. Abstract | electronic edition |
|
Stürmer, I., Conrad, M.:
Code Generator Certification: A Testsuite-oriented Approach.
in Plödereder et al. (eds), Automotive - Safety & Security, Shaker Verlag, pp. 81 85, 2004. Slides (pdf, 300 KB) | paper (pdf, 124 KB) |
|
Stürmer, I., Conrad, M.:
Code Generator Testing in Practise.
GI Jahrestagung (2) 2004, pp. 33-37. Abstract | paper (pdf, 135 KB) |
|
Stürmer, I.:
Integration of the Code Generation Approach in the Model-based Development Process by Means of Tool Certification.
Journal of Integrated Design & Process Science, Vol. 8(2), pp.1-11, 2004. Abstract | electronic edition |
|
|
|
Stürmer, I., Conrad, M.:
Test Suite Design for Code Generation Tools.
Proc. of 18th IEEE Int. Conference on Automated Software Engineering (ASE 2003), pp. 286-290, 2003. Poster (pdf, 90 KB) | electronic edition |
|
|
|
Stürmer, I.:
A Contribution of Graph-Grammar Techniques for the
Specification, Verification and Certification of Code Generation Tools.
Proc. of Int. Workshop on Graph-based Tools (GraBaTs 2002), published in Electronic Notes in Theoretical Computer Science, Vol. 72 (2), 2002. Abstract | paper (pdf, 245 KB) |
|
Conrad, M., Dörr, H., Schürr, A., Stürmer, I.:
Graph-Transformations for Model-based
Testing.
Modellierung 2002, GI-Lecture Notes in Informatics, P-12, page 39-50, 2002. Abstract | paper (pdf, 325 KB) |
|
previous:
 |
Autocode Glossary |
next:
 |
Curriculum Vitae
|
| Main page |
Automatic Code Generation |
Autocode Glossary |
Publications |
Curriculum Vitae |
Dissertation |