Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:53] palczynski |
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:59] palczynski |
||
---|---|---|---|
Zeile 19: | Zeile 19: | ||
===== Forschungstätigkeit ===== | ===== Forschungstätigkeit ===== | ||
- | * BMBF-Projekt ZAMOMO | + | * Validierung automatisch generierten Codes |
+ | * BMBF-Projekt [[http://www.zamomo.de|ZAMOMO]] | ||
* Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker | * Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker | ||
Zeile 27: | Zeile 28: | ||
<BIBTEX: file=publikationen style=I11 sort=year filter=palczynski> | <BIBTEX: file=publikationen style=I11 sort=year filter=palczynski> | ||
- | ===== Diplomarbeiten ===== | + | ===== Abschlussarbeiten ===== |
- | * Formale Beschreibung abstrakter Streckenverhaltensmodelle | + | Aktuell gibt es (noch) keine formulierten Themen. |
- | * Implementierung abstrakter Streckenverhaltensmodelle | + | |
- | * Transformation abstrakter Verhaltensmodelle von Regelstrecken | + | |
===== Lehre ===== | ===== Lehre ===== |