Ingo Stürmer

Publication Activity (10 Years)

Years Active: 2002-2013
Publications (10 Years): 0

Top Venues

SAFECOMP

GI-Jahrestagung

MBEES

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Heiko Dörr, Ingo Stürmer
JUST SIMPLIFY - Heuristische Clone Detection auf Modellen. GI-Jahrestagung (2013)
Hartmut Pohlheim, Ingo Stürmer
Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter Software. MBEES (2012)
Ingo Stürmer, Elke Salecker, Hartmut Pohlheim
Reviewing Software Models in Compliance with ISO 26262. SAFECOMP (2012)
Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner
MeMo - Methods of Model Quality. MBEES (2011)
Jae-Won Choi, Anna Trögel, Ingo Stürmer
TUDOOR - Ein Java Adapter für Telelogic DOORS. MBEES (2009)
Ingo Stürmer, Christian Dziobek, Hartmut Pohlheim
Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. MBEES (2008)
Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. Model-Based Engineering of Embedded Real-Time Systems (2007)
Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. MBEES (2007)
Carsten Amelunxen, Elodie Legros, Andy Schürr, Ingo Stürmer
Checking and Enforcement of Modeling Guidelines with Graph Transformations. AGTIVE (2007)
Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper
Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. 33 (9) (2007)
Ingo Stürmer, Daniela Weinberg, Mirko Conrad
Overview of existing safeguarding techniques for automatically generated code. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Ingo Stürmer, Mirko Conrad
Ein Testverfahren für optimierende Codegeneratoren. Inform. Forsch. Entwickl. 19 (4) (2005)
Paolo Baldan, Barbara König, Ingo Stürmer
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. ICGT (2004)
Ingo Stürmer
Integration of the Code Generation Approach in the Model-Based Development Process by Means of Tool Certification. Trans. SDPS 8 (2) (2004)
Ingo Stürmer, Mirko Conrad
Code Generator Testing in Practice. GI Jahrestagung (2) (2004)
Ingo Stürmer, Mirko Conrad
Test Suite Design for Code Generation Tools. ASE (2003)
Ingo Stürmer
A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools. Electron. Notes Theor. Comput. Sci. 72 (2) (2002)
Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr
Graph Transformations for Model-based Testing. Modellierung (2002)

Ingo Stürmer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ingo Stürmer