Navigation

Seminare & Praktika

Kontakt

Leitung

Prof. Dr. M. Fränzle

D119/120 (OFFIS)

+49-441-9722 566

Sekretariat

Kathrin Kuper

D121 (OFFIS)

+49-441-9722 501

Fax: +49-441-9722 502

Seminare & Praktika

Seminare

In einem Seminar recherchieren die Studierenden angeleitet durch die betreuenden Lehrenden Literatur zu einem vorgegebenen Thema. Sie arbeiten sich in diese Literatur ein, verstehen und bewerten die Quellen hinsichtlich ihrer Relevanz für das gewählte Thema, und präsentieren und diskutieren ihre Erkenntnisse in einem wissenschaftlichen Vortrag sowie in einer nach wissenschaftlichen Standards aufgebauten Ausarbeitung.

Die folgenden Seminare bieten wir in (un-)regelmäßigen Abständen (auch als Proseminar) an:

  • Spielen der Korrektheit wegen: Spiele im Entwurf eingebetteter Systeme
  • Why Computerized Systems Fail
  • Kooperative und mobile Systeme
  • Automatisierte Techniken für die Analyse komplexer Systeme
  • An der Grenzlinie der Entscheidbarkeit
  • Hybrid diskret-kontinuierliche eingebettete Systeme

Praktika

Ein Praktikum bietet den Studierenden den Möglichkeit, ihre theoretischen Kenntnisse an praktischen Beispielen zu vertiefen. Dabei bearbeiten sie in Kleingruppen eine praktische Aufgabenstellung und halten ihre Ergebnisse in einer nach wissenschaftlichen Standards aufgebauten Ausarbeitung fest. Zusätzlich präsentieren und diskutieren sie ihre Ergebnisse in einem wissenschaftlichen Vortrag.

Die folgenden Praktika bieten wir (un-)regelmäßig an:

  • Quantitatives Model Checking
  • Modellierung und Analyse probabilistischer Systeme

Ober- und Forschungsseminar

Im Oberseminar Hybride Systeme finden Vorträge zu aktuellen Forschungsarbeiten statt. Bei den Forschungsarbeiten kann es sich um Bachelor-/Masterarbeiten oder angestrebte Promotionen handeln. Zudem werden Vorträge zu den Grundlagen der Forschungsarbeiten angeboten.

Des Weiteren beteiligen uns am Forschungsseminar SCARE@Research, das vom Graduiertenkolleg SCARE angeboten wird.

Webmast1ter (hs-webmnutpyas6x3mter@informatik.uni-8oxjxoldenburtldg.dndcee9rvk) (Stand: 21.08.2020)