Mirko Conrad - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 35 from 35

2023

CertML: Initial Steps Towards Using N-Version Neural Networks for Improving AI SafetyPhilipp Jass, Hamzih Abukhashab, Carsten Thomas 0003, Peter Woltersdorf, Michael Weber, Mirko Conrad, Ines Fey, Harald Schülzke. dud, 47(8):483-486, 2023. [doi]

2020

Safety Cases for Adaptive Systems of Systems: State of the Art and Current ChallengesElham Mirzaei, Carsten Thomas 0003, Mirko Conrad. edcc 2020: 127-138 [doi]

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. se 2019: 30-36 [doi]

2012

Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based DesignMirko Conrad. gi 2012: 807-816

Automating Code Reviews with Simulink Code InspectorMirko Conrad, Tom Erkkinen, Matt Englehart, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan. mbees 2012: 31-36

2011

ISO 26262 - Exemplary Tool Classification of Model-Based Design ToolsMirko Conrad, Ines Fey. stt, 31(3), 2011. [doi]

Testing-Based Translation Validation of Generated CodeMirko Conrad. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]

2010

Qualifying Software Tools According to ISO 26262Mirko Conrad, Patrick Munier, Frank Rauch. mbees 2010: 117-128 [doi]

2009

Testing-based translation validation of generated code in the context of IEC 61508Mirko Conrad. fmsd, 35(3):389-401, 2009. [doi]

Demonstrating IEC 61508 Compliance in Model-Based DesignInes Fey, Mirko Conrad. mbees 2009: 171-181 [doi]

2008

Model-Based Design for IEC 61508: Towards Translation Validation of Generated CodeMirko Conrad. se 2008: 113-117

2007

Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive ApplicationsMirko Conrad. mbees 2007: 41-50 [doi]

Systematic Testing of Model-Based Code GeneratorsIngo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper. TSE, 33(9):622-634, 2007. [doi]

2006

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions ScenariosMirko Conrad, Heiko Dörr. modellierung 2006: 245-254

Model-based development of in-vehicle softwareMirko Conrad, Heiko Dörr. date 2006: 89-90 [doi]

An Extension of the Classification-Tree Method for Embedded Systems for the Description of EventsMirko Conrad, Alexander Krupp. ENTCS, 164(4):3-11, 2006. [doi]

Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und LösungsansätzeMirko Conrad, Heiko Dörr. mbees 2006: 6-18 [doi]

TestML - A Test Exchange Language for Model-Based Testing of Embedded SoftwareJuergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller 0003. aswsd 2008: 98-117 [doi]

Automatic Test Generation for Model-Based Code GeneratorsSergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey. ISoLA 2006: 75-81 [doi]

2005

2004

Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based WayMirko Conrad. ISoLA 2004: 188-188

Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES)Mirko Conrad. Dagstuhl 2005: [doi]

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

Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von TestszenarienMirko Conrad. PhD thesis, Berlin Institute of Technology, 2004.

Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChryslerTorsten Klein, Mirko Conrad, Ines Fey, Matthias Grochtmann. modellierung 2004: 31-41

Code Generator Testing in PracticeIngo Stürmer, Mirko Conrad. gi 2004: 33-37

2003

Test Suite Design for Code Generation ToolsIngo Stürmer, Mirko Conrad. ASE 2003: 286-290 [doi]

2002

Graph Transformations for Model-based TestingMirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr. modellierung 2002: 39-50

Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle ErgebnisseMirko Conrad, Sadegh Sadeghipour. stt, 22(2), 2002.

1998

Selective Integration of Formal Methods in the Development of Electronic Control UnitsMirko Conrad, Dieter Hötzer. icfem 1998: 144 [doi]

1997

Test Case Design Based on Z and the Classification-Tree MethodHarbhajan Singh, Mirko Conrad, Sadegh Sadeghipour. icfem 1997: 81-90

Sign in or sign up to see more results.

runs on WebDSL