Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Courses in Winter Term 2018/19

IT-Systems Engineering MA

Advanced Planning for Self-Aware Systems 2670 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-OSIS-K Konzepte und Methoden, HPI-OSIS-T Techniken und Werkzeuge, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge Prof. Dr. Holger Giese , Sona Ghahremani , Christian Schäffer
Runtime Verification: Online Testing Powered by Formal Methods 2669 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge, HPI-BPET-K Konzepte und Methoden, HPI-BPET-T Techniken und Werkzeuge Prof. Dr. Holger Giese , Lucas Sakizloglou , Christian Schäffer
Safety-Critical Systems: From Predictable Systems to Autonomous AI 2668 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge, HPI-APAD-C Concepts and Methods, HPI-APAD-T Technologies and Tools, HPI-APAD-S Specialization Prof. Dr. Holger Giese , Joachim Hänsel
Software Testen, Analysieren und Verifizieren 2671 HPI-OSIS-K Konzepte und Methoden, HPI-OSIS-S Spezialisierung, HPI-OSIS-T Techniken und Werkzeuge, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge Dr. Leen Lambers

Digital Health MA

Fundamentals of Programming 2626 HPI-DHBM-PR Fundamentals of Programming Prof. Dr. Holger Giese , Thomas Brand
Safety-Critical Systems: From Predictable Systems to Autonomous AI 2668 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge, HPI-APAD-C Concepts and Methods, HPI-APAD-T Technologies and Tools, HPI-APAD-S Specialization Prof. Dr. Holger Giese , Joachim Hänsel