Seminare & Praktika

Kontakt

Leitung

Prof. Dr. M. Fränzle

D119/120 (OFFIS)

+49-441-9722 500

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
  • Aktuelle Herausforderungen in der Fahrzeugentwicklung
  • Dynamic and Causal Models for Integrated Socio-Technical Systems
  • Future Mobility: Artificial Intelligence meets Formal Methods
  • Grundlagen der Kausaltheorie
  • Cyber-physische Systeme und Infrastrukturen

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:

  • Praktikum Technische Informatik
  • Praktikum Hardwarenahe Systementwicklung
  • Quantitatives Model Checking
  • Modellierung und Analyse probabilistischer Systeme

Ober- und Forschungsseminar

Im Ober- und im Forschungsseminar Foundations and Applications of Systems of Cyber-Physical Systems 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.

(Stand: 25.03.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page