Heiko Dörr

	2008
18		Heiko Dörr: The AUTOSAR Way of Model-Based Engineering of Automotive Systems. ICGT 2008: 38
	2007
17		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: 83-94
16		Willem Ridderhof, Hans-Gerhard Groß, Heiko Dörr: Establishing Evidence for Safety Cases in Automotive Systems - A Case Study. SAFECOMP 2007: 1-13
15		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
14		Mirko Conrad, Heiko Dörr: Model-based development of in-vehicle software. DATE 2006: 89-90
13		Mirko Conrad, Heiko Dörr: Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze. MBEES 2006: 6-18
12		Mirko Conrad, Heiko Dörr: Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios. Modellierung 2006: 245-254
	2005
11		Mirko Conrad, Heiko Dörr, Ines Fey, Kerstin Buhr: Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software. MBEES 2005: 63-72
10		Heiko Dörr: Abhängigkeitsmanagement in der Systementwicklung. Software Engineering 2005: 23-
9		Andy Schürr, Heiko Dörr: Introductory paper. Software and System Modeling 4(2): 109-111 (2005)
	2004
8		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		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

Coauthor Index

1	Kerstin Buhr	[11]
2	Mirko Conrad	[6] [11] [12] [13] [14] [15]
3	Ines Fey	[11]
4	Holger Giese	[17]
5	Wolfgang Grieskamp	[4] [5]
6	Hans-Gerhard Groß (Hans-Gerhard Gross)	[16]
7	Maritta Heisel	[4] [5]
8	Hans Jürgen Holberg	[7]
9	Udo Kelter	[17]
10	Peter Pepper	[15]
11	Willem Ridderhof	[16]
12	Andy Schürr	[6] [8] [9] [17]
13	Ingo Stürmer	[6] [15] [17]
14	Hans-Werner Wiesbrock	[7]
15	Albert Zündorf	[17]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page