Mirko Conrad

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