Mirko Conrad

Research


 

Home

Vitae

Publications

Teaching

Research
  Research Topics
  Supervised Theses

Projects

Research Topics

 

MODEL-BASED DEVELOPMENT AND TESTING

> AUTOMATIC CODE GENERATION

> e-GUIDELINES

> SOFTWARE SAFETY (IEC 61508, ISO 26262)

TESTING TECHNIQUES FOR EMBEDDED SOFTWARE 

> CLASSIFICATION-TREE METHOD FOR EMBEDDED SYSTEMS 
   (CTMEMB)

> MODEL-BASED BLACK-BOX TESTING (MB3T)

> EVOLUTIONARY SAFETY TESTING (EST)

AUTOMOTIVE SOFTWARE ENGINEERING

> SIG Automotive Software Engineering (ASE) of the German Computer Society 


Supervised Diploma and PhD Theses

Matt Maruhn:
MODELLIERUNG UND ANALYSE VON HARDWARE- UND SOFTWAREFEHLERN KOMPLEXER TECHNISCHER SYSTEME MIT HILFE VON SIMULINK.
Technical University Berlin, 1998

Ingo Stürmer:
GRAPHTRANSFORMATIONEN ZUR MANIPULATION VON KLASSIFIKATIONSBÄUMEN BEIM MODELL-BASIERTEN TESTEN.
University of the Federal Armed Forces Munich, 2001 

Ingo Stürmer:
SYSTEMATIC TESTING OF CODE GENERATION TOOLS.
Technical University Berlin, 2006

Michael Sohn:
KORREKTHEITSBEGRIFFE FÜR MODELLBASIERTE CODEGENERATOREN
Martin-Luther University Halle-Wittenberg, 2006