Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Teaching in Summer 2018

IT-Systems Engineering BA

Modellierung II2522 Modellierung II Prof. Dr. Holger Giese , Christian Zöllner

IT-Systems Engineering MA

Automated Verification Tools for Embedded Software2605 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Prof. Dr. Holger Giese , Dr. Soumyadip Bandyopadhyay
Engineering Smart Systems and Service2606 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Prof. Dr. Holger Giese , Joachim Hänsel
Runtime Monitoring2516 SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Prof. Dr. Holger Giese , Lucas Sakizloglou
Test Automation for Graph Databases2590 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Dr. Leen Lambers , Sven Schneider