Studentische Arbeiten
Auf dieser Seite werden ausgeschriebene, laufende und abgeschlossene Studentische Arbeiten publiziert.
Studentische Arbeiten
Offene Arbeiten
- Transformation von SysML-Modellen für ein Framework zur Analyse fehlertoleranter Systeme
- Transformation von AADL-Modellen für ein Framework zur Analyse fehlertoleranter Systeme
Laufende Arbeiten
Abgeschlossene Arbeiten
- Transformation von LARES-Conditions in eine Prozessalgebra (vor. Abgabe 15.1.2010), Sebastian Köpp
- Extraktion von Struktur und Verhaltensinformation aus SystemC-Modellen (Januar 2009), Peer Schönhusen
- Entwurf und Implementierung eines graphischen Modelleditors und einer Benutzerschnittstelle für das Werkzeug CASPA (10.8.2007), Jens Bachmann
