Die Studierenden erhalten in der Veranstaltung einen umfassenden Überblick über die verschiedenen Aspekte von Unternehmensgründungen (Entrepreneurship). Im Rahmen der Blockveranstaltung wird ein praktisches Forum geboten, um Geschäftsmodelle im High-Tech Bereich zu fördern. Es wird eine Unternehmensgründung von der anfänglichen Idee bis zur Gründung eines realisierbaren Unternehmens durchgespielt. 

Der Kurs findet in Form von mehreren über das Semester verteilten Blockveranstaltungen statt. Zu Beginn jedes Treffens wird ein Vortrag über theoretische Grundlagen oder alternativ ein Impulsvortrag zu Erfahrungen aus der Praxis gehalten. Danach arbeiten die Studierenden in Teams, indem sie die behandelten Konzepte auf die eigene Unternehmensidee übertragen. 

Die Teilnehmerzahl des Kurses ist beschränkt. Interessierte Studenten bewerben sich hier über Moodle mithilfe eines Motivationsschreibens. 

Lernziele:

  • Ideenfindung und Teamwahl
  • Strukturierte Erarbeitung eines Geschäftsplanes
  • Erstellung und Demonstration eines high-tech Produktes
  • Ansprechendes Präsentieren und Pitchen von Ideen.


This seminar studies topics from our research area combination of verification approaches, especially we look into cooperative verification approaches. Cooperative verification approaches aim at leveraging the strengths of different verification approaches. We consider three types of cooperative verification approaches: (1) testification of alarms, (2) distribution of verification effort, and (3) algorithmic integration of different verification approaches.

The goal of alarm testification is the reduction of false alarms and to focus on alarms that can be reproduced by a real test. To distribute the verification effort among different verification approaches, different parts of the verification (e.g., program paths) need to be inspected by distinct verification tools. Often, sequential combinations are used in which the follow-up tool only inspects the remaining proof obligations. The algorithmic integration of different verification approaches idea is to develop new verification algorithms that use existing verification approaches as components.

Under the guidance of your supervisor you will

  • use the given literature and search for additional literature to become acquainted with your topic,
  • prepare and give a presentation about your topic and afterwards discuss the topic with the other participants,
  • write a scientific report, which provides a summary of your topic.

The PIN Seminar (German SIN: Schutz von verteilten Infrastrukturen und Netzwerken) is a cycle of seminars where students are given the chance to read and analyze current scientific publications spanning various subjects of computer and communications security.


The course deals with mostly automatic verification approaches for multi-threaded programs with shared memory. Topics of the course are:

  • Semantics of parallel programs, e.g., interleaving semantics
  • Static and dynamic approaches for data race detection
  • Techniques for deadlock detection
  • Verification of program properties (e.g., with sequentialization, bounded model checking, etc.)
  • Partial Order Reduction
  • Thread-modular verification