| 2008 |
|---|
| 19 | | Mirko Conrad:
Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.
Software Engineering (Workshops) 2008: 113-117 |
| 2007 |
|---|
| 18 | 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 |
|---|
| 17 | EE | 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 |
| 16 | EE | Mirko Conrad,
Heiko Dörr:
Model-based development of in-vehicle software.
DATE 2006: 89-90 |
| 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 | EE | 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 | EE | 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 | EE | Mirko Conrad,
Ines Fey,
Sadegh Sadeghipour:
Systematic Model-Based Testing of Embedded Automotive Software.
Electr. Notes Theor. Comput. Sci. 111: 13-26 (2005) |
| 11 | EE | Ingo Stürmer,
Mirko Conrad:
Ein Testverfahren für optimierende Codegeneratoren.
Inform., Forsch. Entwickl. 19(4): 213-223 (2005) |
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
