Mirko Conrad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1997–2020
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | EDCC | Safety Cases for Adaptive Systems of Systems: State of the Art and Current Challenges. | Elham Mirzaei, Carsten Thomas, Mirko Conrad |
| 2012 | GI | Artifact-Centric Compliance Demonstration for ISO 26262 Projects Using Model-Based Design. | Mirko Conrad |
| 2006 | DATE | Model-based development of in-vehicle software. | Mirko Conrad, Heiko Drr |
| 2006 | ISoLA | Automatic Test Generation for Model-Based Code Generators. | Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey |
| 2004 | GI | Code Generator Testing in Practice. | Ingo Strmer, Mirko Conrad |
| 2004 | ISoLA | Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way. | Mirko Conrad |
| 1998 | ICFEM | Selective Integration of Formal Methods in the Development of Electronic Control Units. | Mirko Conrad, Dieter Htzer |
| 1997 | ICFEM | Test Case Design Based on Z and the Classification-Tree Method. | Harbhajan Singh, Mirko Conrad, Sadegh Sadeghipour |