Mirko Conrad

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 4

Top Venues

CoRR

Datenschutz und Datensicherheit

EDCC Workshops

Software Engineering (Workshops)

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Mirko Conrad, Georg Schildbach
Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner. CoRR (2024)
Philipp Jass, Hamzih Abukhashab, Carsten Thomas, Peter Woltersdorf, Michael Weber, Mirko Conrad, Ines Fey, Harald Schülzke
CertML: Initial Steps Towards Using N-Version Neural Networks for Improving AI Safety. Datenschutz und Datensicherheit 47 (8) (2023)
Elham Mirzaei, Carsten Thomas, Mirko Conrad
Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges. EDCC Workshops (2020)
Karlheinz Blankenbach, Jan Bauer, Mirko Conrad, Andreas Hudak, Frank Langner, Matthäus Vogelmann, Chihao Xu
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). Software Engineering (Workshops) (2019)
Mirko Conrad
Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design. GI-Jahrestagung (2012)
Mirko Conrad, Tom Erkkinen, Matt Englehart, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan
Automating Code Reviews with Simulink Code Inspector. MBEES (2012)
Mirko Conrad, Ines Fey
ISO 26262 - Exemplary Tool Classification of Model-Based Design Tools. Softwaretechnik-Trends 31 (3) (2011)
Mirko Conrad, Patrick Munier, Frank Rauch
Qualifying Software Tools According to ISO 26262. MBEES (2010)
Ines Fey, Mirko Conrad
Demonstrating IEC 61508 Compliance in Model-Based Design. MBEES (2009)
Mirko Conrad
Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods Syst. Des. 35 (3) (2009)
Mirko Conrad
Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. Software Engineering (Workshops) (2008)
Mirko Conrad
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. MBEES (2007)
Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper
Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. 33 (9) (2007)
Mirko Conrad, Heiko Dörr
Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios. Modellierung (2006)
Juergen 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)
Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey
Automatic Test Generation for Model-Based Code Generators. ISoLA (2006)
Mirko Conrad, Heiko Dörr
Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze. MBEES (2006)
Mirko Conrad, Heiko Dörr
Model-based development of in-vehicle software. DATE (2006)
Mirko Conrad, Alexander Krupp
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. Electron. Notes Theor. Comput. Sci. 164 (4) (2006)
Ingo Stürmer, Daniela Weinberg, Mirko Conrad
Overview of existing safeguarding techniques for automatically generated code. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Mirko Conrad, Ines Fey, Matthias Grochtmann, Torsten Klein
Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Inform. Forsch. Entwickl. 20 (1-2) (2005)
Ingo Stürmer, Mirko Conrad
Ein Testverfahren für optimierende Codegeneratoren. Inform. Forsch. Entwickl. 19 (4) (2005)
Mirko Conrad, Heiko Dörr, Ines Fey, Kerstin Buhr
Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software. MBEES (2005)
Mirko Conrad, Ines Fey, Sadegh Sadeghipour
Systematic Model-Based Testing of Embedded Automotive Software. Electron. Notes Theor. Comput. Sci. 111 (2005)
Mirko Conrad
Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. ISoLA (Preliminary proceedings) (2004)
Mirko Conrad
Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). Perspectives of Model-Based Testing (2004)
Torsten Klein, Mirko Conrad, Ines Fey, Matthias Grochtmann
Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Modellierung (2004)
Ingo Stürmer, Mirko Conrad
Code Generator Testing in Practice. GI Jahrestagung (2) (2004)
Ingo Stürmer, Mirko Conrad
Test Suite Design for Code Generation Tools. ASE (2003)
Mirko Conrad, Sadegh Sadeghipour
Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse. Softwaretechnik-Trends 22 (2) (2002)
Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr
Graph Transformations for Model-based Testing. Modellierung (2002)
Mirko Conrad, Dieter Hötzer
Selective Integration of Formal Methods in the Development of Electronic Control Units. ICFEM (1998)
Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour
Test Case Design Based on Z and the Classification-Tree Method. ICFEM (1997)

Mirko Conrad.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mirko Conrad