| 2008 |
|---|
| 15 | EE | Heiko Dörr:
The AUTOSAR Way of Model-Based Engineering of Automotive Systems.
ICGT 2008: 38 |
| 2007 |
|---|
| 14 | EE | Willem Ridderhof,
Hans-Gerhard Groß,
Heiko Dörr:
Establishing Evidence for Safety Cases in Automotive Systems - A Case Study.
SAFECOMP 2007: 1-13 |
| 13 | EE | Ingo Stürmer,
Mirko Conrad,
Heiko Dörr,
Peter Pepper:
Systematic Testing of Model-Based Code Generators.
IEEE Trans. Software Eng. 33(9): 622-634 (2007) |
| 2006 |
|---|
| 12 | EE | Mirko Conrad,
Heiko Dörr:
Model-based development of in-vehicle software.
DATE 2006: 89-90 |
| 11 | | Mirko Conrad,
Heiko Dörr:
Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios.
Modellierung 2006: 245-254 |
| 2005 |
|---|
| 10 | | Heiko Dörr:
Abhängigkeitsmanagement in der Systementwicklung.
Software Engineering 2005: 23- |
| 9 | EE | Andy Schürr,
Heiko Dörr:
Introductory paper.
Software and System Modeling 4(2): 109-111 (2005) |
| 2004 |
|---|
| 8 | EE | Heiko Dörr,
Andy Schürr:
Introduction.
STTT 6(3): 183-185 (2004) |
| 2002 |
|---|
| 7 | | Hans-Werner Wiesbrock,
Heiko Dörr,
Hans Jürgen Holberg:
Model Checking im Automativbereich.
GI Jahrestagung 2002: 819-823 |
| 6 | | Mirko Conrad,
Heiko Dörr,
Ingo Stürmer,
Andy Schürr:
Graph Transformations for Model-based Testing.
Modellierung 2002: 39-50 |
| 2001 |
|---|
| 5 | | Wolfgang Grieskamp,
Maritta Heisel,
Heiko Dörr:
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.
Sci. Comput. Program. 40(1): 31-57 (2001) |
| 1998 |
|---|
| 4 | EE | Wolfgang Grieskamp,
Maritta Heisel,
Heiko Dörr:
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.
FASE 1998: 88-106 |
| 1995 |
|---|
| 3 | | Heiko Dörr:
Efficient Graph Rewriting and Its Implementation
Springer 1995 |
| 2 | | Heiko Dörr:
Computing an Upper Bound for SVS(gg) by Abstract Interpretation.
Developments in Language Theory 1995: 279-288 |
| 1994 |
|---|
| 1 | | Heiko Dörr:
Bypass Strong V-Structures and Find an Isomorphic Labelled Subgraph in Linear Time.
WG 1994: 305-318 |
