Thu | 14:00 - 16:00 | 12.03.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Introduction (Dejan Nickovic) |
Tue | 14:00 - 16:00 | 17.03.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Specification Languages/Monitoring Algorithms (1) (Dejan Nickovic) |
Wed | 14:00 - 16:00 | 18.03.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Specification Languages/Monitoring Algorithms (2) (Dejan Nickovic) |
Tue | 14:00 - 16:00 | 24.03.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Specification Languages/Monitoring Algorithms (3) (Dejan Nickovic) |
Wed | 14:00 - 16:00 | 25.03.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | RV Instrumentation (1) (Ezio Bartocci) |
Tue | 14:00 - 16:00 | 31.03.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | RV Instrumentation (2) (Ezio Bartocci) |
Wed | 14:00 - 16:00 | 01.04.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Falsification Analysis (Dejan Nickovic) |
Tue | 14:00 - 16:00 | 21.04.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Trace Diagnostics/Failure Explanation (Dejan Nickovic) |
Wed | 14:00 - 16:00 | 22.04.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Specification Mining (Ezio Bartocci) |
Tue | 14:00 - 16:00 | 28.04.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Spatio-Temporal Monitoring (Ezio Bartocci) |
Wed | 14:00 - 16:00 | 29.04.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | From Runtime Verification to Runtime Control Synthesis (Ezio Bartocci) |
Tue | 14:00 - 16:00 | 05.05.2020 | CPS Library (Treitlstrasse 1, 3rd Floor) | Project Assignment (Ezio Bartocci) |