Software Development for Safe and Secure Systems (Problem Session)

Instructor: Eik List

Class Meeting: Every two weeks Mondays 01:30 pm (Start: October 10th 2016), Seminar room 14 (SR014), Bauhausstraße 11 (B11)

FAQ: 23 Feb 2017 and 23 Mar 2017, both 01:30 PM, B11, SR015

Target audience:

Computer Science and Media, M.Sc.

Problem Sets:
The problem sets usually have to be submitted before the problem session via e-mail to eik.list(at)



    • You can work in groups of at most three students. Only one write-up per group is required.
    • We highly recommend to compose your solutions in LaTeX
    • A LaTeX template can be found here. It can be simply build by using pdflatex.
    • The testgen source can be found here.


    Problem Set 2:

    • Mini Project 1: Kazi Fakrul Islam
    • Mini Project 2: Matti Wiegmann

    Problem Set 3:

    • Mini Project 1: Alexander Bondarenko
    • Mini Project 2: André Karge
    • Mini Project 3: Erdan Genc
    • Mini Project 4: Masoud Allahyari

    Problem Set 4:

    • Mini Project 1: Joshua Reibert
    • Mini Project 2: Kristof Komlossy
    • Mini Project 3: Kai-Gerrit Lünsdorf
    • Mini Project 4: Philipp Seltmann

    Problem Set 5:

    • Mini Project 1: Jannis Bossert
    • Mini Project 2: Janek Bevendorff
    • Mini Project 3: Kevin Lang

    Problem Set 6:

    • Mini Project 1: Andrii Artamonov
    • Mini Project 2: Nathalie Dittrich
    • Mini Project 3: Max Weber

    Problem Set 7:

    • Mini Project 1: Aaron Solbach
    • Mini Project 2: None
    • Mini Project 3: Sebastian Schmitz, Isabell Fidelak
    • Mini Project 4: None

    Bonus Problem Set:

    • Mini Project 1: Joshua David König
    • Mini Project 2: Georg Erfurt
    • Mini Project 3: Hagen Hiller
    • Mini Project 4: Ephraim Schott
    • Mini Project 5: Sebastian Schmitz

    The majority of the problem sets include so called mini-projects. Admission to oral examination  is the successful completion of at least two such mini-projects, and presenting one mini-project. The presentation is about 15 minutes plus 5 minutes discussion.

    • Deadline: TBA
    • Policy: First come, first serve.
    • Notification: TBA

    Final Grade-Bonus:

    • You get points for solving problems and mini-projects. Achieve at least 25% of the points per problem set to get a 1/3 bonus to your grade.
    • After the end of lectures, bonus projects will be available. Solve them to at least 50% to get an additional 1/3 bonus to your grade.