Mirko Conrad

	2009
21		Mirko Conrad: Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods in System Design 35(3): 389-401 (2009)
	2008
20		Mirko Conrad: Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. Software Engineering (Workshops) 2008: 113-117
	2007
19		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
18		Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller: TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD 2006: 98-117
17		Mirko Conrad, Heiko Dörr: Model-based development of in-vehicle software. DATE 2006: 89-90
16		Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey: Automatic Test Generation for Model-Based Code Generators. ISoLA 2006: 75-81
15		Mirko Conrad, Heiko Dörr: Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios. Modellierung 2006: 245-254
14		Mirko Conrad, Alexander Krupp: An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. Electr. Notes Theor. Comput. Sci. 164(4): 3-11 (2006)
	2005
13		Ingo Stürmer, Daniela Weinberg, Mirko Conrad: Overview of existing safeguarding techniques for automatically generated code. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
12		Mirko Conrad, Ines Fey, Sadegh Sadeghipour: Systematic Model-Based Testing of Embedded Automotive Software. Electr. Notes Theor. Comput. Sci. 111: 13-26 (2005)
11		Ingo Stürmer, Mirko Conrad: Ein Testverfahren für optimierende Codegeneratoren. Inform., Forsch. Entwickl. 19(4): 213-223 (2005)
10		Mirko Conrad, Ines Fey, Matthias Grochtmann, Torsten Klein: Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Inform., Forsch. Entwickl. 20(1-2): 3-10 (2005)
	2004
9		Ingo Stürmer, Mirko Conrad: Code Generator Testing in Practice. GI Jahrestagung (2) 2004: 33-37
8		Mirko Conrad: Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. ISoLA (Preliminary proceedings) 2004: 188-188
7		Torsten Klein, Mirko Conrad, Ines Fey, Matthias Grochtmann: Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Modellierung 2004: 31-41
6		Mirko Conrad: Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). Perspectives of Model-Based Testing 2004
	2003
5		Ingo Stürmer, Mirko Conrad: Test Suite Design for Code Generation Tools. ASE 2003: 286-290
	2002
4		Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr: Graph Transformations for Model-based Testing. Modellierung 2002: 39-50
3		Mirko Conrad, Sadegh Sadeghipour: Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse. Softwaretechnik-Trends 22(2): (2002)
	1998
2		Mirko Conrad, Dieter Hötzer: Selective Integration of Formal Methods in the Development of Electronic Control Units. ICFEM 1998: 144-
	1997
1		Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour: Test Case Design Based on Z and the Classification-Tree Method. ICFEM 1997: 81-90

Coauthor Index

1	Heiko Dörr	[4] [15] [17] [19]
2	Ines Fey	[7] [10] [12] [16] [18]
3	Matthias Grochtmann	[7] [10]
4	Jürgen Großmann (Juergen Grossmann)	[18]
5	Dieter Hötzer	[2]
6	Torsten Klein	[7] [10]
7	Alexander Krupp	[14] [18]
8	Wolfgang Müller	[18]
9	Peter Pepper	[19]
10	Alexander K. Petrenko	[16]
11	Sadegh Sadeghipour	[1] [3] [12]
12	Andy Schürr	[4]
13	Denis V. Silakov	[16]
14	Harbhajan Singh	[1]
15	Ingo Stürmer	[4] [5] [9] [11] [13] [19]
16	Daniela Weinberg	[13]
17	Christian Wewetzer	[18]
18	Sergey V. Zelenov	[16]

Colors in the list of coauthors