Test Case Design Based on Z and the Classification-Tree Method. - Harbhajan Singh; Mirko Conrad; Sadegh Sadeghipour (ICFEM, 1997)

Selective Integration of Formal Methods in the Development of Electronic Control Units. - Mirko Conrad; Dieter Hötzer (ICFEM, 1998)

Graph Transformations for Model-based Testing. - Mirko Conrad; Heiko Dörr; Ingo Stürmer; Andy Schürr (Modellierung, 2002)

Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse. - Mirko Conrad; Sadegh Sadeghipour (Softwaretechnik-Trends, 2002)

Test Suite Design for Code Generation Tools. - Ingo Stürmer; Mirko Conrad (ASE, 2003)

Modell-basierter Test eingebetteter Software im Automobil - Auswahl und Beschreibung von Testzenarien. - Mirko Conrad (Deutscher Universitätsverlag, 2004)

Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). - Mirko Conrad (Perspectives of Model-Based Testing, 2004)

Code Generator Testing in Practice. - Ingo Stürmer; Mirko Conrad (GI Jahrestagung (2), 2004)

Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. - Mirko Conrad (ISoLA (Preliminary proceedings), 2004)

Systematic Model-Based Testing of Embedded Automotive Software. - Mirko Conrad; Ines Fey; Sadegh Sadeghipour (MBT, 2004)

Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien. - Mirko Conrad (2004)

Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software. - Mirko Conrad; Heiko Dörr; Ines Fey; Kerstin Buhr (MBEES, 2005)

Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. - Mirko Conrad; Ines Fey; Matthias Grochtmann; Torsten Klein (Inform. Forsch. Entwickl., 2005)

Ein Testverfahren für optimierende Codegeneratoren. - Ingo Stürmer; Mirko Conrad (Inform. Forsch. Entwickl., 2005)

Overview of existing safeguarding techniques for automatically generated code. - Ingo Stürmer; Daniela Weinberg; Mirko Conrad (ACM SIGSOFT Softw. Eng. Notes, 2005)

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. - Juergen Grossmann; Ines Fey; Alexander Krupp; Mirko Conrad; Christian Wewetzer; Wolfgang Müller 003 (ASWSD, 2006)

Model-based development of in-vehicle software. - Mirko Conrad; Heiko Dörr (DATE, 2006)

Automatic Test Generation for Model-Based Code Generators. - Sergey V. Zelenov; Denis V. Silakov; Alexander K. Petrenko; Mirko Conrad; Ines Fey (ISoLA, 2006)

Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze. - Mirko Conrad; Heiko Dörr (MBEES, 2006)

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios. - Mirko Conrad; Heiko Dörr (Modellierung, 2006)

An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. - Mirko Conrad; Alexander Krupp (MBT, 2006)

Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. - Mirko Conrad (MBEES, 2007)

Systematic Testing of Model-Based Code Generators. - Ingo Stürmer; Mirko Conrad; Heiko Dörr; Peter Pepper (IEEE Trans. Software Eng., 2007)

Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. - Mirko Conrad (Software Engineering (Workshops), 2008)

Demonstrating IEC 61508 Compliance in Model-Based Design. - Ines Fey; Mirko Conrad (MBEES, 2009)

Testing-based translation validation of generated code in the context of IEC 61508. - Mirko Conrad (Formal Methods Syst. Des., 2009)

Qualifying Software Tools According to ISO 26262. - Mirko Conrad; Patrick Munier; Frank Rauch (MBEES, 2010)

Testing-Based Translation Validation of Generated Code. - Mirko Conrad (Model-Based Testing for Embedded Systems, 2011)

ISO 26262 - Exemplary Tool Classification of Model-Based Design Tools. - Mirko Conrad; Ines Fey (Softwaretechnik-Trends, 2011)

Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design. - Mirko Conrad (GI-Jahrestagung, 2012)

Automating Code Reviews with Simulink Code Inspector. - Mirko Conrad; Tom Erkkinen; Matt Englehart; Xiaocang Lin; Appa Rao Nirakh; Bill Potter; Jaya Shankar; Pete Szpak; Jun Yan (MBEES, 2012)

Neue Ansätze und Methoden für die Fehlermodellierung und -behandlung bei automobilen Videodatenübertragungenstrecken (Novel Approaches and Techniques for Fault Modeling and Fault Handling in Automotive Video Links). - Karlheinz Blankenbach; Jan Bauer; Mirko Conrad; Andreas Hudak; Frank Langner; Matthäus Vogelmann; Chihao Xu (Software Engineering (Workshops), 2019)

Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges. - Elham Mirzaei; Carsten Thomas 003; Mirko Conrad (EDCC Workshops, 2020)

CertML: Initial Steps Towards Using N-Version Neural Networks for Improving AI Safety. - Philipp Jass; Hamzih Abukhashab; Carsten Thomas 003; Peter Woltersdorf; Michael Weber; Mirko Conrad; Ines Fey; Harald Schülzke (Datenschutz und Datensicherheit, 2023)

Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner. - Mirko Conrad; Georg Schildbach (CoRR, 2024)