System Registration

dCMS - Dependable Systems and SoftwareVorlesungen

Winter term 2016/2017

Advanced Concurrency TheoryHolger Hermanns
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

If you encounter technical problems, please contact the administrators