Systemsoftware und Verteilte Systeme

Veranstaltungen früherer Semester

2017

Sommersemester

  • Betriebssysteme 1
  • Verteilte Betriebssysteme
  • Ein Fall für Informatik - Rätsel und Kurzgeschichten mit Informatikhintergrund (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Forschungsseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • Seminar SCARE@Assistance (Seminar)

2016

Wintersemester

  • Betriebssysteme 2
  • Maschinennahe Programmierung
  • Rich Internet Applications w/ HTML and Javascript (Seminar) Seminarausarbeitungen
  • MIA - Mikroreaktionstechnische internetgesteuerte Anlage (Projektgruppe) MiA
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Forschungsseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

Sommersemester

  • Betriebssysteme 1
  • MIA - Mikroreaktionstechnische internetgesteuerte Anlage (Projektgruppe) MiA
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Forschungsseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

2015

Wintersemester

  • Fehlertoleranz in verteilten Systemen
  • Maschinennahe Programmierung
  • Betriebssystemepraktikum (Praktikum)
  • Konzepte, Entwurf und Bau fehlertoleranter Systeme (Seminar) Seminarausarbeitungen
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Informatik überführt - Kurzgeschichten mit Informatik (Seminar)
  • Effizientes Programmieren in C++ (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

2014

Wintersemester

  • Maschinennahe Programmierung
  • Messen, steuern, verteilen: Überwachen und Manipulieren mit dem Raspberry Pi (Seminar)
    Seminarausarbeitungen
  • Betriebssystempraktikum (Praktikum)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

Sommersemester

  • Betriebssysteme 1
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

 2013

Wintersemester

  • Maschinennahe Programmierung
  • Verteilte Betriebssysteme
  • Raspberry Pi inspected (Seminar) Seminarausarbeitungen
  • Betriebssystempraktikum (Praktikum)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Fehlertoleranz in verteilten Systemen
  • Konzepte und Methoden der Fehlertoleranz (Seminar) Seminarausarbeitungen
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Oberseminar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

2012

Wintersemester

  • Betriebssysteme 2
  • Maschinennahe Programmierung
  • Handy-Betriebssysteme (Seminar) Seminarausarbeitungen
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Obersemniar SCARE@Research (Seminar)
  • SCARE@Assistance (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Fehlertolerante Systeme (Seminar) Seminarausarbeitungen
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2011

Wintersemester

  • Verteilte Betriebssysteme
  • Maschinennahe Programmierung
  • Betriebssystemepraktikum (Praktikum)
  • Konzepte und Anwendungen der Selbststabilisierung (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Fehlertoleranz in verteilten Systemen
  • Konzepte und Methoden in verteilten Systemen (Seminar) Seminarausarbeitungen
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Graduiertenkolleg Vertrauenswuerdige Softwaresysteme "Trustsoft'' (Seminar)

2010

Wintersemester

  • Betriebssysteme 2
  • Maschinennahe Programmierung
  • Betriebssystemepraktikum (Praktikum)
  • Konzepte und Anwendungen von Sensornetzwerken (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Graduiertenkolleg Vertrauenswuerdige Softwaresysteme "Trustsoft'' (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Verteilte Betriebssysteme
  • Zeit in verteilten Systemen (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • Graduiertenkolleg Vertrauenswuerdige Softwaresysteme "Trustsoft'' (Seminar)

2009

Wintersemester

  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Betriebssystemepraktikum (Praktikum)
  • Sensornetzwerke: Konzepte, Technologien und Anwendungen (Seminar)
  • Sensornetzwerke im botanischen Garten (Projektgruppe)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2008

Wintersemester

  • Praktische Informatik
  • Verteilte Betriebssysteme
  • Notebooks inspected: von der Hardware zur Systemsoftware (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Betriebssystemepraktikum (Praktikum)
  • Advanced Concepts of Distributed Computing (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2007

Wintersemester

  • Praktische Informatik
  • Betriebssysteme 2
  • Fundamentals of Distributed Computing (Seminar)
  • Gruppenkalender (Projektgruppe)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Betriebssystemepraktikum (Praktikum)
  • Dateisemantiken (Projektgruppe)
  • Cluster-Technologien und ihre Anwendungen (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2006

Wintersemester

  • Praktische Informatik
  • Fehlertoleranz in verteilten Systemen
  • Sensornetzwerke: Konzepte, Technologien und Anwendungen (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssystemepraktikum (Praktikum)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2005

Wintersemester

  • Praktische Informatik
  • Betriebssysteme 2
  • Sensornetzwerke: Konzepte, Technologien und Anwendungen (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Betriebssystemepraktikum (Praktikum)
  • Handies, PDAs und Navigationssysteme (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2004

Wintersemester

  • Praktische Informatik
  • Verteilte Betriebssysteme
  • Zuverlässigkeit im All (Seminar)
  • SFB Automatic Verification & Analysis of Complex Systems: AVACS (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Betriebssystemepraktikum (Praktikum)
  • Aufbruch zu neuen Peripherien: vom Lochkartenstanzer zum Memory-Stick (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

2003

Wintersemester

  • Praktische Informatik
  • Betriebssysteme 2
  • Ubiquitous Computing (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

Sommersemester

  • Betriebssysteme 1
  • Verteilte Betriebssysteme
  • Konzepte und Methoden in verteilten Systemen (Seminar)
  • Oberseminar Systemsoftware und verteilte Systeme (Seminar)
  • 2002

    Wintersemester

    • Praktische Informatik
    • Betriebssysteme 2
    • Verteilte Systeme (Seminar)
    • Oberseminar Systemsoftware und verteilte Systeme (Seminar)

    Sommersemester

    • Betriebssysteme 1
    • Replikation in verteilten Systemen
    • Zuverlässigkeit in verteilten Systemen (Seminar)
    • Oberseminar Systemsoftware und verteilte Systeme (Seminar)