All Courses

Courses

Courses | BS-MS Theses

Our group is currently involved in the following courses:

SoSe 2018

WiSe 2017

SS 2017

WS 2016/2017

SS 2016

WS 2015/2016

SS 2015

WS 2014/2015

SS 2014

WS 2013/2014

  • Operating Systems (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security and the Cloud – the Issues and Metrics (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)

SS 2013

  • Operating Systems II: Dependability and Trust (course)
  • Building and Breaking Complex Software Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)

WS 2012/2013

  • Operating Systems (course)
  • Building and Breaking Operating Systems (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Smart Grid Informatics & Trustworthiness (seminar)

SS 2012

  • Operating Systems II: Dependability and Trust (course)
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Building and Breaking Operating Systems (seminar)

WS 2011/2012

  • Operating Systems (course)
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Building and Breaking Operating Systems (seminar)

SS 2011

  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)
  • Security Metrics in Cloud Computing (seminar)
  • Building and Breaking Operating Systems (seminar)

WS 2010/2011

  • Operating Systems (course)
  • Dependable/Secure Mobile Computing (seminar)
  • Implementing Secure & Reliable Software (seminar)

SS 2010

  • Operating Systems II: Depandability and Trust (course) new lecture!
  • Measuring Security and Trustworthiness (seminar)
  • Reliable/Secure Wireless Sensor Cooperation (seminar)

WS 2009/2010

  • Operating Systems (course) new labs -> hands-on with mobile devices!
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)

SS 2009

  • SW/OS Fault-Tolerance (course)
  • Model based development of security-relevant embedded systems (course, in German)
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)

WS 2008/2009

  • Operating Systems (course)
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)

SS 2008

  • Introduction to Computer Science II (course)
  • GDI II
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)

WS 2007/2008

  • SW/OS Fault-Tolerance (course)
  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)
  • Introduction in Trusted Systems (Kanonik)

SS 2007:

  • Embedded Mobile Computing (seminar)
  • Secure and Reliable OS (seminar)

WS 2006/2007:

  • Operating Systems (course)
  • Mobile Embedded Systems (seminar)
  • Secure/Trusted Operating Systems (seminar)
  • Introduction in Trusted Systems (Kanonik)

SS 2006:

  • Introduction to Computer Science II (course)
  • GDI II
  • Software Testing (seminar)
  • Robust Software Systems (seminar)

WS 2005/2006:

  • Trustworthy Operating Systems (course)
  • Dependable Embedded Systems (seminar)
  • System Dependability and Security (seminar)
  • Introduction in Trusted Systems (Kanonik)

SS 2005:

  • Introduction to Computer Science 2

WS 2004/2005:

  • Dependability I: Reliable Distributed Systems (course)
  • Introduction in Trusted Systems (course)
  • System Dependability and Security (seminar)
  • Dependable Embedded Systems (seminar)

SS 2004:

  • Dependability II: Robust Software Systems (course)
  • Software Testing (seminar)
  • Robust Software Design (seminar)

WS 2003-2004:

  • Dependability I

Past courses at Boston University, NJ and Chalmers:

  • EDA 120 – Dependable Distributed and Embedded Systems
  • SC 312 – Advanced Computer Architectures
  • SC 790 – Dependable & Embedded Distributed Systems
  • CIS 630 – Advanced Operating Systems
  • CS 242 – Data Structures and Algorithm Design