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 10:58] brauer |
lehrstuhl:mitarbeiter:palczynski [2010/02/01 16:20] 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 ===== | ||
| Zeile 40: | Zeile 39: | ||
| || **Titel** | || **Titel** | ||
| || **Art** | || **Art** | ||
| + | |- | ||
| + | || Sommersemester 10 | ||
| + | || [[lehre:sose10:automatisierungssoftware|Automatisierungssoftware]] | ||
| + | || PT | ||
| + | |- | ||
| + | || Sommersemester 09 | ||
| + | || [[lehre:sose09:praktikum_modellierung|Modellierung technischer und physikalischer Systeme]] | ||
| + | || PT | ||
| + | |- | ||
| + | || Wintersemester 08/09 | ||
| + | || [[lehre:wise0809:seminar_modellbasierte_entwicklung|Fahrerassistenzsysteme und Modellbasierte Softwareentwicklung im Automobilberiech]] | ||
| + | || ST | ||
| |- | |- | ||
| || Sommersemester 08 | || Sommersemester 08 | ||
| - | || Modellierung technischer und physikalischer Systeme | + | || [[lehre:sose08:technische_und_physikalische_systeme|Modellierung technischer und physikalischer Systeme]] |
| || PT | || PT | ||
| |- | |- | ||
| || Wintersemester 07/08 | || Wintersemester 07/08 | ||
| - | || Dynamische Systeme für Informatiker | + | || [[lehre:wise0708:dynamische_systeme|Dynamische Systeme für Informatiker]] |
| || VÜ | || VÜ | ||
| |- | |- | ||
| || Sommersemester 07 | || Sommersemester 07 | ||
| - | || Automotive Software Engineering | + | || [[lehre:sose07:automotive_software_engineering|Automotive Software Engineering]] |
| || PST | || PST | ||
| |- | |- | ||
| || Wintersemester 06/07 | || Wintersemester 06/07 | ||
| - | || Dynamische Systeme für Informatiker | + | || [[lehre:wise0607:dynamische_systeme|Dynamische Systeme für Informatiker]] |
| || VÜ | || VÜ | ||
| |- | |- | ||
| || Sommersemester 06 | || Sommersemester 06 | ||
| - | || Formale Methoden für eingebettete Systeme | + | || [[lehre:sose06:formale_methoden|Formale Methoden für eingebettete Systeme]] |
| || VÜ | || VÜ | ||
| |} | |} | ||
| Zeile 64: | Zeile 75: | ||
| ===== Sprechstunde ===== | ===== Sprechstunde ===== | ||
| - | Jeden Montag von 13:00 bis 14:00. | + | Nach Vereinbarung. |