This translation is older than the original page and might be outdated. See what has changed.

Dr. rer. nat. Jacob Palczynski

\|	\| Research Assistant jacob[dot]palczynski[at]embedded[dot]rwth-aachen[dot]de Phone: +49 241 80 21161 Fax: +49 241 80 22150 Address: Ahornstr. 55, 52074 Aachen Office: room 2319 (building H)

Research Activities

Validating automatically generated code
BMBF-founded project ZAMOMO
In the context of my diploma thesis Anforderungen an einen Modelchecker für Matlab/Simulink (Requirements for a model checker for Matlab/Simulink) I developed an evaluation suite for model checkers for Matlab/Simulink.

<BIBTEX: file=publikationen style=I11 sort=year filter=palczynski>

\| Term	\| Title	\| Type
\| Summer Semester 09	\| Modelling Technical and Physical Systems	\| PT
\| Winter Semester 08/09	\| Driving Assistance Systems and Model-Based Automotive Development	\| ST
\| Summer Semester 08	\| Modelling Technical and Physical Systems	\| PT
\| Winter Semester 07/08	\| Dynamic Systems for Computer Scientists	\| VÜ
\| Summer Semester 07	\| Automotive Software Engineering	\| PST
\| Winter Semester 06/07	\| Dynamic Systems for Computer Scientists	\| VÜ
\| Summer Semester 06	\| Formale Methods for Embedded Systems	\| VÜ