Search the dblp DataBase
Mirko Conrad :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Mirko Conrad Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). [Citation Graph (0, 0)][DBLP ] Perspectives of Model-Based Testing, 2004, pp:- [Conf ] Mirko Conrad , Heiko Dörr Model-based development of in-vehicle software. [Citation Graph (0, 0)][DBLP ] DATE, 2006, pp:89-90 [Conf ] Ingo Stürmer , Mirko Conrad Code Generator Testing in Practice. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung (2), 2004, pp:33-37 [Conf ] Mirko Conrad , Dieter Hötzer Selective Integration of Formal Methods in the Development of Electronic Control Units. [Citation Graph (0, 0)][DBLP ] ICFEM, 1998, pp:144-0 [Conf ] Harbhajan Singh , Mirko Conrad , Sadegh Sadeghipour Test Case Design Based on Z and the Classification-Tree Method. [Citation Graph (0, 0)][DBLP ] ICFEM, 1997, pp:81-90 [Conf ] Ingo Stürmer , Mirko Conrad Test Suite Design for Code Generation Tools. [Citation Graph (0, 0)][DBLP ] ASE, 2003, pp:286-290 [Conf ] Mirko Conrad , Heiko Dörr Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios. [Citation Graph (0, 0)][DBLP ] Modellierung, 2006, pp:245-254 [Conf ] Mirko Conrad , Heiko Dörr , Ingo Stürmer , Andy Schürr Graph Transformations for Model-based Testing. [Citation Graph (0, 0)][DBLP ] Modellierung, 2002, pp:39-50 [Conf ] Torsten Klein , Mirko Conrad , Ines Fey , Matthias Grochtmann Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. [Citation Graph (0, 0)][DBLP ] Modellierung, 2004, pp:31-41 [Conf ] Mirko Conrad , Ines Fey , Sadegh Sadeghipour Systematic Model-Based Testing of Embedded Automotive Software. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:111, n:, pp:13-26 [Journal ] Mirko Conrad , Alexander Krupp An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:3-11 [Journal ] Mirko Conrad , Ines Fey , Matthias Grochtmann , Torsten Klein Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 2005, v:20, n:1-2, pp:3-10 [Journal ] Ingo Stürmer , Mirko Conrad Ein Testverfahren für optimierende Codegeneratoren. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 2005, v:19, n:4, pp:213-223 [Journal ] Mirko Conrad , Sadegh Sadeghipour Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse. [Citation Graph (0, 0)][DBLP ] Softwaretechnik-Trends, 2002, v:22, n:2, pp:- [Journal ] Ingo Stürmer , Mirko Conrad , Heiko Dörr , Peter Pepper Systematic Testing of Model-Based Code Generators. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2007, v:33, n:9, pp:622-634 [Journal ] Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. [Citation Graph (, )][DBLP ] Automatic Test Generation for Model-Based Code Generators. [Citation Graph (, )][DBLP ] Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. [Citation Graph (, )][DBLP ] TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. [Citation Graph (, )][DBLP ] Qualifying Software Tools According to ISO 26262. [Citation Graph (, )][DBLP ] Demonstrating IEC 61508 Compliance in Model-Based Design. [Citation Graph (, )][DBLP ] Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. [Citation Graph (, )][DBLP ] Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze. [Citation Graph (, )][DBLP ] Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs