Forgot Password?

dCMS - Dependable Systems and Software Lectures

Summer term 2023

Ethics for NerdsSarah Sterz, Kevin Baum, Holger Hermanns
Statistics LabAndreas Schmidt

Winter term 2022/2023

Hands-On DependabilityAndreas Schmidt
Programming 1Holger Hermanns
Retake Tutorial Programming 1Benedict Bliem, Albert-Antoniu Greaca, Niklas Scholz, Aeneas Leon Sommer
Space InformaticsJuan Fraire, Andreas Schmidt

Summer term 2022

Computer EthicsSarah Sterz, Kevin Baum
Concurrent ProgrammingHolger Hermanns
Ethics for NerdsKevin Baum, Sarah Sterz, Holger Hermanns
Hands-On DependabilityAndreas Schmidt
Quantitative Model CheckingHolger Hermanns, Martina Maggio

Winter term 2021/2022

Hands-On DependabilityAndreas Schmidt

Summer term 2021

Computer Ethics for IT & LawSarah Sterz, Kevin Baum
Ethics for NerdsSarah Sterz, Kevin Baum, Holger Hermanns
Space InformaticsJuan Fraire, Holger Hermanns

Winter term 2020/2021

Concurrency TheoryHolger Hermanns
Einführung Eingebettete Systeme Holger Hermanns
Space and Satellite NetworkingJuan Fraire

Summer term 2020

Advanced Topics in Approximation AlgorithmsTobias Mömke
Ethics for NerdsSarah Sterz, Kevin Baum, Holger Hermanns
Nebenläufige ProgrammierungHolger Hermanns
Space InformaticsJuan Fraire, Holger Hermanns

Winter term 2019/2020

Algorithms for Big DataTobias Mömke
Concurrency TheoryHolger Hermanns
Nachklausurtutorium Programmierung 1Nils Husung, Janine Lohse, Benjamin Peters
Programmierung 1Holger Hermanns, Tobias Mömke

Summer term 2019

Ethics for NerdsSarah Sterz, Kevin Baum, Holger Hermanns
Nebenläufige ProgrammierungHolger Hermanns
Quantitative Model CheckingDaniel Stan
Space InformaticsJuan Fraire, Holger Hermanns

Winter term 2018/2019

Probabilistic Models of ConcurrencyHolger Hermanns, Verena Wolf
VerificationHolger Hermanns, Daniel Stan

Summer term 2018

Bits in SpaceHolger Hermanns, Gilles Nies
Ethics for NerdsKevin Baum, Holger Hermanns
Space InformaticsJuan Fraire, Holger Hermanns

Winter term 2017/2018

Advanced Concurrency TheoryHolger Hermanns, Daniel Stan

Summer term 2017

Data NetworksErnst Moritz Hahn, Holger Hermanns
Ethics for NerdsKevin Baum, Holger Hermanns
Nebenläufige ProgrammierungHolger Hermanns
Quantitative Model CheckingErnst Moritz Hahn

Winter term 2016/2017

Advanced Concurrency TheoryHolger Hermanns
Nachklausurtutorium Programmierung 1Raven Beutner, Marie Mühlhaus, Simon Philipp Spies
Programmierung 1Holger Hermanns

Summer term 2016

Ethics for NerdsKevin Baum, Holger Hermanns
Nebenläufige ProgrammierungHolger Hermanns

Winter term 2015/2016

Formal Engineering of Digital and Hybrid SystemsRalf Wimmer
Quantified Boolean Formulas: Algorithms and ApplicationsRalf Wimmer

Summer term 2015

Data NetworksArnd Hartmanns
Ethik für NerdsHolger Hermanns
Foundations of Dependable SystemsHolger Hermanns

Winter term 2014/2015

Quantitative Model CheckingHolger Hermanns, Jan Krčál
VerificationHolger Hermanns

Summer term 2014

Advanced Concurrency TheoryHolger Hermanns
Concurrent AutomataHolger Hermanns, Jan Krčál
Nebenläufige ProgrammierungChristian Eisentraut, Holger Hermanns

Winter term 2013/2014

Energy InformaticsHolger Hermanns, Verena Wolf
Nachklausurtutorium Programmierung 1Lukas Convent, Christopher Hahn, Jana Hofmann, Jan Christian Menz
Programmierung 1Holger Hermanns

Older Courses

For older courses, feel free to browse our teaching archive


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.