Ingo Stürmer

According to our database, Ingo Stürmer authored at least 19 papers between 2002 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

JUST SIMPLIFY - Heuristische Clone Detection auf Modellen.

Heiko Dörr, Ingo Stürmer

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012

Reviewing Software Models in Compliance with ISO 26262.

Ingo Stürmer, Elke Salecker, Hartmut Pohlheim

Proceedings of the Computer Safety, Reliability, and Security, 2012

Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software.

Hartmut Pohlheim, Ingo Stürmer

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

MeMo - Methods of Model Quality.

Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

2009

TUDOOR - Ein Java Adapter für Telelogic DOORS.

Jae-Won Choi, Anna Trögel, Ingo Stürmer

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008

Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development.

Ingo Stürmer, Christian Dziobek, Hartmut Pohlheim

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IV, 2008

2007

Systematic Testing of Model-Based Code Generators.

Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper

IEEE Trans. Software Eng., 2007

Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen.

Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

MATE - A Model Analysis and Transformation Environment for MATLAB Simulink.

Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

Checking and Enforcement of Modeling Guidelines with Graph Transformations.

Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

Systematic testing of code generation tools: a test suite oriented approach for safeguarding model based code generation.

Ingo Stürmer

PhD thesis, 2006

2005

Overview of existing safeguarding techniques for automatically generated code.

Ingo Stürmer, Daniela Weinberg, Mirko Conrad

ACM SIGSOFT Softw. Eng. Notes, 2005

Ein Testverfahren für optimierende Codegeneratoren.

Ingo Stürmer, Mirko Conrad

Inform. Forsch. Entwickl., 2005

2004

Integration of the Code Generation Approach in the Model-Based Development Process by Means of Tool Certification.

Ingo Stürmer

Trans. SDPS, 2004

Code Generator Testing in Practice.

Ingo Stürmer, Mirko Conrad

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.

Paolo Baldan, Barbara König, Ingo Stürmer

Proceedings of the Graph Transformations, Second International Conference, 2004

2003

Test Suite Design for Code Generation Tools.

Ingo Stürmer, Mirko Conrad

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools.

Ingo Stürmer

Proceedings of the International Workshop on Graph-Based Tools, 2002

Graph Transformations for Model-based Testing.

Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr

Proceedings of the Modellierung 2002, 2002