Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Teaching in Winter 2018/2019

IT-Systems Engineering MA

Advanced Planning for Self-Aware Systems2670 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, OSIS-Konzepte und Methoden, OSIS-Techniken und Werkzeuge, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Prof. Dr. Holger Giese , Sona Ghahremani , Christian Zöllner
Runtime Verification: Online Testing Powered by Formal Methods2669 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge, BPET-Konzepte und Methoden, BPET-Techniken und Werkzeuge Prof. Dr. Holger Giese , Lucas Sakizloglou , Christian Zöllner
Safety-Critical Systems: From Predictable Systems to Autonomous AI2668 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge, APAD-Concepts and Methods, APAD-Technologies and Tools, APAD-Specialization Prof. Dr. Holger Giese , Joachim Hänsel
Software Testen, Analysieren und Verifizieren2671 OSIS-Konzepte und Methoden, OSIS-Spezialisierung, OSIS-Techniken und Werkzeuge, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Dr. Leen Lambers

Digital Health MA

Fundamentals of Programming2626 Fundamentals of Programming Prof. Dr. Holger Giese , Thomas Brand
Safety-Critical Systems: From Predictable Systems to Autonomous AI2668 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge, APAD-Concepts and Methods, APAD-Technologies and Tools, APAD-Specialization Prof. Dr. Holger Giese , Joachim Hänsel