default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMirko Conrad
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i2]Mirko Conrad, Georg Schildbach:
Analysis of Functional Insufficiencies and Triggering Conditions to Improve the SOTIF of an MPC-based Trajectory Planner. CoRR abs/2407.21569 (2024)- 2023
- [j8]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): 483-486 (2023) - 2020
- [c23]Elham Mirzaei
, Carsten Thomas, Mirko Conrad:
Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges. EDCC Workshops 2020: 127-138
2010 – 2019
- 2019
- [c22]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: 30-36 - 2012
- [c21]Mirko Conrad:
Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design. GI-Jahrestagung 2012: 807-816 - [c20]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: 31-36 - 2011
- [j7]Mirko Conrad, Ines Fey:
ISO 26262 - Exemplary Tool Classification of Model-Based Design Tools. Softwaretechnik-Trends 31(3) (2011) - [p1]Mirko Conrad:
Testing-Based Translation Validation of Generated Code. Model-Based Testing for Embedded Systems 2011 - 2010
- [c19]Mirko Conrad, Patrick Munier, Frank Rauch:
Qualifying Software Tools According to ISO 26262. MBEES 2010: 117-128
2000 – 2009
- 2009
- [j6]Mirko Conrad:
Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods Syst. Des. 35(3): 389-401 (2009) - [c18]Ines Fey, Mirko Conrad:
Demonstrating IEC 61508 Compliance in Model-Based Design. MBEES 2009: 171-181 - 2008
- [c17]Mirko Conrad:
Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code. Software Engineering (Workshops) 2008: 113-117 - 2007
- [j5]Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper:
Systematic Testing of Model-Based Code Generators. IEEE Trans. Software Eng. 33(9): 622-634 (2007) - [c16]Mirko Conrad:
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. MBEES 2007: 41-50 - [e1]Mirko Conrad, Holger Giese, Bernhard Rumpe, Bernhard Schätz:
Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. Informatik-Bericht 2007-1, TU Braunschweig, Institut für Software Systems Engineering 2007 [contents] - 2006
- [c15]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: 98-117 - [c14]Mirko Conrad, Heiko Dörr:
Model-based development of in-vehicle software. DATE 2006: 89-90 - [c13]Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey:
Automatic Test Generation for Model-Based Code Generators. ISoLA 2006: 75-81 - [c12]Mirko Conrad, Heiko Dörr:
Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze. MBEES 2006: 6-18 - [c11]Mirko Conrad, Heiko Dörr:
Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios. Modellierung 2006: 245-254 - [c10]Mirko Conrad, Alexander Krupp:
An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events. MBT 2006: 3-11 - 2005
- [j4]Ingo Stürmer, Mirko Conrad:
Ein Testverfahren für optimierende Codegeneratoren. Inform. Forsch. Entwickl. 19(4): 213-223 (2005) - [j3]Mirko Conrad, Ines Fey, Matthias Grochtmann, Torsten Klein:
Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Inform. Forsch. Entwickl. 20(1-2): 3-10 (2005) - [j2]Ingo Stürmer, Daniela Weinberg, Mirko Conrad:
Overview of existing safeguarding techniques for automatically generated code. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-6 (2005) - [c9]Mirko Conrad, Heiko Dörr, Ines Fey, Kerstin Buhr:
Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software. MBEES 2005: 63-72 - 2004
- [b2]Mirko Conrad:
Modell-basierter Test eingebetteter Software im Automobil - Auswahl und Beschreibung von Testzenarien. Deutscher Universitätsverlag 2004, pp. I-XV, 1-169 - [b1]Mirko Conrad:
Modell-basierter Test eingebetteter Software im Automobil: Auswahl und Beschreibung von Testszenarien. Berlin Institute of Technology, 2004, ISBN 3-8244-2188-7, pp. 1-169 - [c8]Ingo Stürmer, Mirko Conrad:
Code Generator Testing in Practice. GI Jahrestagung (2) 2004: 33-37 - [c7]Mirko Conrad:
Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. ISoLA (Preliminary proceedings) 2004: 188-188 - [c6]Torsten Klein, Mirko Conrad, Ines Fey, Matthias Grochtmann:
Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. Modellierung 2004: 31-41 - [c5]Mirko Conrad, Ines Fey, Sadegh Sadeghipour:
Systematic Model-Based Testing of Embedded Automotive Software. MBT 2004: 13-26 - [i1]Mirko Conrad:
Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES). Perspectives of Model-Based Testing 2004 - 2003
- [c4]Ingo Stürmer, Mirko Conrad:
Test Suite Design for Code Generation Tools. ASE 2003: 286-290 - 2002
- [j1]Mirko Conrad, Sadegh Sadeghipour:
Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse. Softwaretechnik-Trends 22(2) (2002) - [c3]Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr:
Graph Transformations for Model-based Testing. Modellierung 2002: 39-50
1990 – 1999
- 1998
- [c2]Mirko Conrad, Dieter Hötzer:
Selective Integration of Formal Methods in the Development of Electronic Control Units. ICFEM 1998: 144-157 - 1997
- [c1]Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour:
Test Case Design Based on Z and the Classification-Tree Method. ICFEM 1997: 81-90
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
