Dr. rer. nat. Jacob Palczynski

Kontakt

| palczynski[at]embedded[dot]rwth-aachen[dot]de

<html> <a href=„http://www.xing.com/profile/Jacob_Palczynski“ target=„_blank“ rel=„me“><img src=„http://www.xing.com/img/buttons/9_de_btn.gif“ width=„80“ height=„15“ alt=„Jacob Palczynski“ /></a> <a href=„http://de.linkedin.com/in/jacobpalczynski“>

    
        
        
        
          <img src="http://www.linkedin.com/img/webpromo/btn_profile_greytxt_80x15_de_DE.png?locale=" width="80" height="15" border="0" alt="Profil von Jacob Palczynski auf LinkedIn anzeigen">
        
        
        
      
  </a>

</html>

Forschungstätigkeit

Validierung automatisch generierten Codes
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

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

Lehre

\| Semester	\| Titel	\| Art
\| Sommersemester 10	\| Automatisierungssoftware	\| PT
\| Sommersemester 09	\| Modellierung technischer und physikalischer Systeme	\| PT
\| Wintersemester 08/09	\| Fahrerassistenzsysteme und Modellbasierte Softwareentwicklung im Automobilberiech	\| ST
\| 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

Nach Vereinbarung.