[ ss10 | ws09 | ss09 | ws08 | ss08 | ws07 | ss07 | ws06 | ss06 | ws05 | ss05 | pwg ]

[ Curriculum | Bachelor | Master ]

Please also visit our projects page where we list past, open and ongoing bachelor and master projects.

Summer Semester 2010

• Formal Models
• Advanced Topics in Informatics: Parallel Programming with Cilk and Cuda (KV)
• Advanced Model Checking
• Spezielle Kapitel aus Informatik: Roboteranwendungen

Winter Semester 2009

• Debugging
• Discrete Structures
• Model Checking
• Seminar in Formal Verification
• Systems Programming

Summer Semester 2009

• Formale Modelle
• Advanced Topics in Informatics: Pthreads Programming in C (KV)
• Advanced Model Checking
• Spezielle Kapitel aus Informatik: Roboteranwendungen

Winter Semester 2008

• Debugging
• Discrete Structures
• Model Checking
• Seminar in Formal Verification
• Systems Programming

Summer Semester 2008

• Formale Modelle
• Advanced Topics in Informatics: Pthreads Programming in C (KV)
• Advanced Model Checking
• Spezielle Kapitel aus Informatik: Roboteranwendungen

Winter Semester 2007

• Advanced Topics in Applied Systemtheory: Debugging (KV)
• Model Checking
• Discrete Structures
• Systems Programming
• Seminar in Formal Verification
• Evolutionary Algorithms

Summer Semester 2007

• Formale Grundlagen 3 (Formale Modelle)

Winter Semester 2006

• Systemtheory 1 (Model Checking)

Summer Semester 2006

Winter Semester 2005

Summer Semester 2005

Project Oriented Subject (PWG)