Mirko Conrad

According to our database, Mirko Conrad authored at least 34 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

CertML: Initial Steps Towards Using N-Version Neural Networks for Improving AI Safety.

Philipp Jass, Hamzih Abukhashab, Carsten Thomas, Peter Woltersdorf, Michael Weber, Mirko Conrad, Ines Fey, Harald Schülzke

Datenschutz und Datensicherheit, 2023

2020

Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges.

Elham Mirzaei, Carsten Thomas, Mirko Conrad

Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020

2019

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

Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

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

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design.

Mirko Conrad

Proceedings of the 57. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie, 42. Jahrestagung der Gesellschaft für Informatik, Was bewegt uns in der/die Zukunft?, 2012

2011

ISO 26262 - Exemplary Tool Classification of Model-Based Design Tools.

Mirko Conrad, Ines Fey

Softwaretechnik-Trends, 2011

Testing-Based Translation Validation of Generated Code.

Mirko Conrad

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Qualifying Software Tools According to ISO 26262.

Mirko Conrad, Patrick Munier, Frank Rauch

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI, 2010

2009

Testing-based translation validation of generated code in the context of IEC 61508.

Mirko Conrad

Formal Methods Syst. Des., 2009

Demonstrating IEC 61508 Compliance in Model-Based Design.

Ines Fey, Mirko Conrad

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, 2009

2008

Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.

Mirko Conrad

Proceedings of the Software Engineering 2008, 2008

2007

Systematic Testing of Model-Based Code Generators.

Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper

IEEE Trans. Software Eng., 2007

Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications.

Mirko Conrad

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006

An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events.

Mirko Conrad, Alexander Krupp

Proceedings of the Second Workshop on Model Based Testing, 2006

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios.

Mirko Conrad, Heiko Dörr

Proceedings of the Modellierung 2006, 2006

Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze.

Mirko Conrad, Heiko Dörr

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Automatic Test Generation for Model-Based Code Generators.

Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey

Proceedings of the Leveraging Applications of Formal Methods, 2006

Model-based development of in-vehicle software.

Mirko Conrad, Heiko Dörr

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

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

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005

Overview of existing safeguarding techniques for automatically generated code.

Ingo Stürmer, Daniela Weinberg, Mirko Conrad

ACM SIGSOFT Softw. Eng. Notes, 2005

Ein Testverfahren für optimierende Codegeneratoren.

Ingo Stürmer, Mirko Conrad

Inform. Forsch. Entwickl., 2005

Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler.

Mirko Conrad, Ines Fey, Matthias Grochtmann, Torsten Klein

Inform. Forsch. Entwickl., 2005

Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software.

Mirko Conrad, Heiko Dörr, Ines Fey, Kerstin Buhr

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

2004

Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien.

Mirko Conrad

PhD thesis, 2004

Systematic Model-Based Testing of Embedded Automotive Software.

Mirko Conrad, Ines Fey, Sadegh Sadeghipour

Proceedings of the Workshop on Model Based Testing, 2004

Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way.

Mirko Conrad

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Code Generator Testing in Practice.

Ingo Stürmer, Mirko Conrad

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES).

Mirko Conrad

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

Modell-basierter Test eingebetteter Software im Automobil - Auswahl und Beschreibung von Testzenarien.

Mirko Conrad

Deutscher Universitätsverlag, 2004

2003

Test Suite Design for Code Generation Tools.

Ingo Stürmer, Mirko Conrad

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse.

Mirko Conrad, Sadegh Sadeghipour

Softwaretechnik-Trends, 2002

Graph Transformations for Model-based Testing.

Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr

Proceedings of the Modellierung 2002, 2002

1998

Selective Integration of Formal Methods in the Development of Electronic Control Units.

Mirko Conrad, Dieter Hötzer

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Test Case Design Based on Z and the Classification-Tree Method.

Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997