|
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
|
