Master

Seminar SOA, Security and Runtime Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Franziska Kühn

Modul:

CS5480,

CS5015,

CS5191,

CS5840

Developing a system for integration and monitoring of electrically powered two-wheeler in car sharing context

for Degree:

Contact Person:

Runtime Verification mit Daten

for Degree:

Contact Person:

Semantische Webdatenbanken

for Degree:

Contact Person:

Pink states for runtime verification

for Degree:

Seminar Projektmanagement (ProMa)

Lecturer:

PD Dr. Gerhard Buntrock

Modul:

PS5330

Model Checking

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4138

Softwarekonstruktion

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4120

Fallstudie zur professionellen Produktentwicklung: Logistik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Dr. rer. nat. Annette Stümpel

Modul:

CS5700, Teil 2

Spezifikation und Modellierung

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020

Pages