Department of Computer Science
Abschlusspräsentationen Seminare Juli 2025
Date
Monday, 30 June 2025
to Wednesday, 09 July 2025
Location
Campus Sankt Augustin
Schnellnavigation
- Seminargruppe IT-Sicherheitsmanagement, Prof. Dr. Petra Haferkorn
- Seminargruppe Sichere verteilte Systeme, Prof. Dr. Michael Rademacher
- Seminargruppe Network Security, Prof. Dr. Hannes Tschofenig
- Seminargruppe Software Engineering, Prof. Dr. Simone Bürsner
- Seminargruppe Fortgeschrittene formale Methoden, Prof. Dr. Martin E. Müller
- Seminargruppe Deep Learning, Prof. Dr. Jörn Hees und Prof. Dr. Rainer Herpers
Seminargruppe IT-Sicherheitsmanagement
Prof. Dr. Petra Haferkorn
Montag, 30. Juni 2025
Raum C 013
- 16:00 - 16:05 Uhr: Begrüßung und Einführung
-
16:10 - 16:40 Uhr: Zielkonflikte von Betriebs- und Informationssicherheit in Gebäuden
-
16:45 - 17:15 Uhr: Einsatz von Kennzahlen im IT-Risikomanagement
-
17:15 Uhr: Abschließende Diskussion
Pro Beitrag ist jeweils 20 Minuten Vortragszeit und 10 Minuten Diskussion eingeplant.
Seminargruppe Sichere verteilte Systeme
Prof. Dr. Michael Rademacher
Montag, 30. Juni 2025
Raum F 302
- 17:05 - 17:30 Uhr: Rich Communication Services als Sicherer? Nachfolger der SMS
- 17:30 - 17:55 Uhr: Silent Tracking: Techniken zur Identifikation von Mobilfunkgeräten
- 17:55 - 18:20 Uhr: Hiding in Signal: Overshadowing-Angriffe auf drahtlose Netzwerktechnologien
- 18:20 - 18:45 Uhr: Probleme in der exzessiven Nutzung von Smartphones
Pro Beitrag ist jeweils 20 Minuten Vortragszeit und 5 Minuten Diskussion eingeplant.
Seminargruppe Network Security
Prof. Dr. Hannes Tschofenig
Montag, 30. Juni 2025
WebEx Meeting Link:
https://h-brs.webex.com/h-brs/j.php?MTID=m49596e1ec57d129896fb895e3ad27d9b
- 18:00 - 18:30 Uhr: Verifiable Credentials
-
18:30 - 18:40 Uhr: Short break
-
18:40 - 19:10 Uhr: Performance Vergleich von cTLS mit EDHOC und X3DH
Pro Beitrag ist jeweils 20 Minuten Vortragszeit und 10 Minuten Diskussion eingeplant.
Seminargruppe Software Engineering
Prof. Dr. Simone Bürsner
Donnerstag, 03. Juli 2025
Raum C 117
-
14:00 - 14:05 Uhr: Begrüßung und Einführung
-
14:05 - 14:35 Uhr: Unterstützung von Softwaremodellierungsaktivitäten mittels LLMs
Pro Beitrag ist jeweils 20 Minuten Vortragszeit und 10 Minuten Diskussion eingeplant.
Seminargruppe Fortgeschrittene formale Methoden
Prof. Dr. Martin E. Müller
Dienstag, 08. Juli 2025
Raum A 032
-
14:00 Uhr: Begrüßung und Einführung
-
14:15 Uhr: Temporal Logic - a timely Survey
-
14:45 Uhr: Lehrevaluation und Noteninflation
-
15:15 Uhr: Programmiersprachliche Konzepte und formale Methoden zur statischen Codeanalyse
-
- Pause -
-
16:00 Uhr: Origins of Rely/Guarantee - Calculus
-
16:30 Uhr: Sensor-Based Non-Intrusive Fault Detection
Pro Beitrag ist jeweils 20 Minuten Vortragszeit und 10 Minuten Diskussion eingeplant.
Seminargruppe Deep Learning
Prof. Dr. Jörn Hees und Prof. Dr. Rainer Herpers
Mittwoch, 09. Juli 2025
Raum C 130
- 14:00 Uhr: Begrüßung
- 14:10 Uhr: Real-Time Video Frame Interpolation: A Survey
- 14:40 Uhr: Comparison and Development of Deep Learning Lip Reading Approaches
- 15:10 Uhr: Exploration in Deep Reinforcement Learning using Novelty-Based Intrinsic Rewards
- 15:40 Uhr: Deep Learning Optimizations of Rendering Pipelines
- 16:10 Uhr: Allgemeine Diskussion
Pro Beitrag ist jeweils 20 Minuten Vortragszeit und 10 Minuten Diskussion eingeplant.
Kontakt

Location
Sankt Augustin
Room
C 251
Address
Grantham-Allee 20
53757, Sankt Augustin
Telephone
+49 2241 865 254