Teaching

This summer term 2024, I offer the master lecture Simulation and Statistical Model Checking (Module 'Formal Methods').

Learnweb course: SimSMC-2024_1 (The registration key will be announced in the first lecture. If you are unable to attend, I will be happy to provide you with the key by email on request.)

Current and previous lectures
Teaching
Summer Term 2024
Vorlesung: Simulation and Statistical Model Checking [106126]
[08.04.2024 - 08.07.2024 | 16:00 - 18:00 | wöchentlich | Mo. | M B 5 (M 5) | Dr. Carina da Silva]
[12.04.2024 - 12.07.2024 | 10:00 - 12:00 | wöchentlich | Fr. | SRZ 203 | Dr. Carina da Silva]
Winter Term 2022/23
Projektseminar: Battle of the Network Simulators [100087]
V/Ü: Computer Networks and their Performance [100091]
(in cooperation with Prof. Dr. Anne Remke, Jonas Stübbe)
Summer Term 2022
Oberseminar: Academic Work for Computer Scientists [108095]
Vorlesung: Simulation and Statistical Model Checking [108092]

Teaching

Current and previous lectures

Teaching

Summer Term 2024

Winter Term 2022/23

Summer Term 2022