Ingo Stürmer

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