dblp.uni-trier.dewww.uni-trier.de

Mirko Conrad Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
20 Mirko Conrad: Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. Software Engineering (Workshops) 2008: 113-117
2007
19EEIngo 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
18EEJuergen 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
17EEMirko Conrad, Heiko Dörr: Model-based development of in-vehicle software. DATE 2006: 89-90
16EESergey 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
14EEMirko 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
13EEIngo 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)
12EEMirko Conrad, Ines Fey, Sadegh Sadeghipour: Systematic Model-Based Testing of Embedded Automotive Software. Electr. Notes Theor. Comput. Sci. 111: 13-26 (2005)
11EEIngo Stürmer, Mirko Conrad: Ein Testverfahren für optimierende Codegeneratoren. Inform., Forsch. Entwickl. 19(4): 213-223 (2005)
10EEMirko 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
6EEMirko Conrad: Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). Perspectives of Model-Based Testing 2004
2003
5EEIngo 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
2EEMirko 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)