Dies ist eine alte Version des Dokuments!
Dipl.-Inform. Jacob Palczynski
Kontakt
|  |
|
Wissenschaftlicher Mitarbeiter palczynski[at]embedded[dot]rwth-aachen[dot]de Tel. +49 241 80 21161 Fax +49 241 80 22150 Adresse: Ahornstr. 55, 52074 Aachen Büro: Raum 2319 (Gebäude H) |
Forschungstätigkeit
- BMBF-Projekt ZAMOMO
- Im Rahmen meiner Diplomarbeit Anforderungen an einen Modelchecker für Matlab/Simulink entstand eine Evaluationssuite für Matlab/Simulink-Modelchecker
Veröffentlichungen
…
Diplomarbeiten
- Formale Beschreibung abstrakter Streckenverhaltensmodelle
- Implementierung abstrakter Streckenverhaltensmodelle
- Transformation abstrakter Verhaltensmodelle von Regelstrecken
Lehre
| | Semester | | Titel | | Art |
| | Sommersemester 08 | | Modellierung technischer und physikalischer Systeme | | PT |
| | Wintersemester 07/08 | | Dynamische Systeme für Informatiker | | VÜ |
| | Sommersemester 07 | | Automotive Software Engineering | | PST |
| | Wintersemester 06/07 | | Dynamische Systeme für Informatiker | | VÜ |
| | Sommersemester 06 | | Formale Methoden für eingebettete Systeme | | VÜ |
Sprechstunde
Jeden Montag von 13:00 bis 14:00.
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland