Sommersemester 2026
| Test and Reliability | Specialization course, ESE, Computer Science, 3+1 ECTS: 6 |
| Computer Arithmetic - Design and Verification | Specialization course, ESE, Computer Science, 3+1 ECTS: 6 |
| Lab Course: Verification of Digital Circuits | Lab course, Master ESE / Computer Science, 6 ECTS Recommended Requirement: Specialization course "Verification of Digital Circuits" First meeting: Mon., April 20, 14:15h in room 00..022 in building 051. |
| Seminar: Hardware Verification | Seminar: Informatik (Bachelor / Master), 3 ECTS |
| Praktikum Hardware Security | Nach Verteilung der Praktikumsunterlagen erfolgt die praktische Versuchdurchführung dezentral mit Hilfe der ChipWhisperer-Umgebung. Teilnahmevoraussetzung: Vorlesung Hardware Security and Trust |
Wintersemester 25/26
| Hardware Security and Trust | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. ILIAS-Kurs Link zu Vorlesungsmaterialien |
| Verifikation Digitaler Schaltungen / Verification of Digital Circuits | Spezialvorlesung in den Bachelor- und Masterstudiengängen Informatik und ESE. Webseite des ILIAS-Kurses Download von Vorlesungsmaterialien |
| Missing Semester / Das fehlende Semester | Spezialvorlesung 6 ECTS Kurswebseite Nur für Bachelorstudierende. Kurssprache: deutsch |
| SMT Solving | Seminar (6 ECTS) Course website on CCA group pages. |
Sommersemester 2025
| Real-Time Operating Systems and Worst-Case Execution Times | Specialization course, 6 ECTS, 3+1 ILIAS link Lecture materials |
| Technische Informatik | Vorlesung/Pflichtmodul im Bachelor-Studiengang Informatik, ESE und Lehramt mit Hauptfach Informatik. 3+1 SWS (6 ECTS) ILIAS-Kurs Link zu Vorlesungsmaterialien Wichtig: Die Einteilung der Übungsgruppen erfolgt über HISinOne. Bitte melden Sie sich für eine der Übungsgruppen in HISinOne an. |