direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

CorMoran Project

funded by the DFG (German National Research Foundation)

Correct Model Transformations (CorMoran)

In the KorMoran project - Correct Model Transformations - concepts and methods will be developed to verify the soundness of model transformations. The approach should analyze and verify the soundness of the transformations and the correctness of the transformation results. The methods and algorithms developed should be integrated into existing tools and evaluated with practical relevant case studies, e.g. from the automotive area (Matlab/Simulink) or from the area of Cyber-Physical Systems.

Project Partner

Prof. Dr. Holger Giese (HPI Potsdam)
Fachgebiet Systemanalyse und Modell
Hasso Plattner Institut an der Universit├Ąt Potsdam
https://hpi.de/giese/forschung/projekte/kormoran-iii.html

Project Team

Supervisor
Prof. Dr. Sabine Glesner
Research Assistant
Guilherme Azzi
Former Research Assistants
Gabriela Ospina
Sebastian Schlesinger

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe