Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Courses in Winter Term 2018/19

IT-Systems Engineering MA

Advanced Planning for Self-Aware Systems 2670 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 Methods 2669 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 AI 2668 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 Verifizieren 2671 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 Programming 2626 Fundamentals of Programming Prof. Dr. Holger Giese , Thomas Brand
Safety-Critical Systems: From Predictable Systems to Autonomous AI 2668 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