The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mirko Conrad: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Mirko Conrad, Heiko Dörr
    Model-based development of in-vehicle software. [Citation Graph (0, 0)][DBLP]
    DATE, 2006, pp:89-90 [Conf]
  3. Ingo Stürmer, Mirko Conrad
    Code Generator Testing in Practice. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2004, pp:33-37 [Conf]
  4. 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]
  5. 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]
  6. Ingo Stürmer, Mirko Conrad
    Test Suite Design for Code Generation Tools. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:286-290 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]

  16. Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. [Citation Graph (, )][DBLP]


  17. Automatic Test Generation for Model-Based Code Generators. [Citation Graph (, )][DBLP]


  18. Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. [Citation Graph (, )][DBLP]


  19. TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. [Citation Graph (, )][DBLP]


  20. Qualifying Software Tools According to ISO 26262. [Citation Graph (, )][DBLP]


  21. Demonstrating IEC 61508 Compliance in Model-Based Design. [Citation Graph (, )][DBLP]


  22. Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. [Citation Graph (, )][DBLP]


  23. Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze. [Citation Graph (, )][DBLP]


  24. Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002