Forgot Password?

dCMS - Dependable Systems and SoftwareLectures

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


If you encounter technical problems, please contact the administrators