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/05/04 17:33] brauer |
lehrstuhl:mitarbeiter:palczynski [2009/06/14 13:56] palczynski |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| ====== Dipl.-Inform. Jacob Palczynski ====== | ====== Dipl.-Inform. Jacob Palczynski ====== | ||
| - | \\ | + | ~~NOTOC~~ |
| - | === Kontakt === | + | ===== Kontakt ===== |
| - | \\ | + | |
| {| | {| | ||
| |- | |- | ||
| Zeile 16: | Zeile 16: | ||
| Büro: Raum 2319 (Gebäude H)\\ | Büro: Raum 2319 (Gebäude H)\\ | ||
| |} | |} | ||
| - | \\ | + | |
| - | === Forschungstätigkeit === | + | ===== Forschungstätigkeit ===== |
| - | \\ | + | |
| + | * Validierung automatisch generierten Codes | ||
| * BMBF-Projekt ZAMOMO | * BMBF-Projekt 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 | ||
| - | \\ | + | |
| - | === Veröffentlichungen === | + | ===== Veröffentlichungen ===== |
| - | \\ | + | |
| - | ... | + | ~~NOCACHE~~ |
| - | \\ | + | <BIBTEX: file=publikationen style=I11 sort=year filter=palczynski> |
| - | === Diplomarbeiten === | + | |
| - | \\ | + | ===== Diplomarbeiten ===== |
| * Formale Beschreibung abstrakter Streckenverhaltensmodelle | * Formale Beschreibung abstrakter Streckenverhaltensmodelle | ||
| * Implementierung abstrakter Streckenverhaltensmodelle | * Implementierung abstrakter Streckenverhaltensmodelle | ||
| * Transformation abstrakter Verhaltensmodelle von Regelstrecken | * Transformation abstrakter Verhaltensmodelle von Regelstrecken | ||
| - | \\ | + | |
| - | === Lehre === | + | ===== Lehre ===== |
| - | \\ | + | |
| {| | {| | ||
| |- | |- | ||
| Zeile 60: | Zeile 62: | ||
| || VÜ | || VÜ | ||
| |} | |} | ||
| - | \\ | + | |
| - | === Sprechstunde === | + | ===== Sprechstunde ===== |
| - | \\ | + | |
| - | Jeden Montag von 13:00 bis 14:00. | + | Nach Vereinbarung. |