Mirko Conrad

According to our database1, Mirko Conrad authored at least 33 papers between 1997 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges.
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).
Proceedings of the Workshops of the Software Engineering Conference 2019, 2019

2012
Automating Code Reviews with Simulink Code Inspector.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design.
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.
Softwaretechnik-Trends, 2011

Testing-Based Translation Validation of Generated Code.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010
Qualifying Software Tools According to ISO 26262.
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.
Formal Methods Syst. Des., 2009

Demonstrating IEC 61508 Compliance in Model-Based Design.
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.
Proceedings of the Software Engineering 2008, 2008

2007
Systematic Testing of Model-Based Code Generators.
IEEE Trans. Software Eng., 2007

Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications.
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.
Electron. Notes Theor. Comput. Sci., 2006

Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios.
Proceedings of the Modellierung 2006, 2006

Einsatz von Modell-basierten Entwicklungstechniken in sicherheitsrelevanten Anwendungen: Herausforderungen und Lösungsansätze.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Automatic Test Generation for Model-Based Code Generators.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Model-based development of in-vehicle software.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Overview of existing safeguarding techniques for automatically generated code.
ACM SIGSOFT Softw. Eng. Notes, 2005

Ein Testverfahren für optimierende Codegeneratoren.
Inform. Forsch. Entwickl., 2005

Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler.
Inform. Forsch. Entwickl., 2005

Systematic Model-Based Testing of Embedded Automotive Software.
Electron. Notes Theor. Comput. Sci., 2005

Eine Integrierte Methodik für die Modell-basierte Entwicklung von Steuergeräte-Software.
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.
PhD thesis, 2004

Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Code Generator Testing in Practice.
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).
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.
Deutscher Universitätsverlag, 2004

2003
Test Suite Design for Code Generation Tools.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002
Einsatz von Überdeckungskriterien auf Modellebene - Erfahrungsbericht und experimentelle Ergebnisse.
Softwaretechnik-Trends, 2002

Graph Transformations for Model-based Testing.
Proceedings of the Modellierung 2002, 2002

1998
Selective Integration of Formal Methods in the Development of Electronic Control Units.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997
Test Case Design Based on Z and the Classification-Tree Method.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997


  Loading...