Master

Lasttests von Webanwendungen und korrespondierende Optimierung

for Degree:

Contact Person:

Webbasiertes System zur automatischen Interface-Generierung für vernetzte Medizingeräte nach IEEE 1107-1020

for Degree:

Contact Person:

Software Reliability: Runtime Verification and Runtime Reflection

Lecturer:

Malte Schmitz , Prof. Dr. Martin Leucker

Modul:

BaSoTI 2016

Seminar on Specification Languages for Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Malte Schmitz , Torben Scheffel

Modul:

CS 3702 BachSemInf,

CS 3703 BachSemMI,

CS 5480 SemSSE,

CS 5840 SemiEngl

Spezifikation und Modellierung

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020SJ14,

CS4020

Fallstudien und Projekte am ISP im Sommer 2016

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Malte Schmitz , Martin Blankenburg

Modul:

CS4520-KP12, CS4520,

CS5490SJ14,

CS3701SJ14

Entwicklung eines Mess- und Verwaltungssystems im Kontext von Feuerwehrwettkämpfen

for Degree:

Contact Person:

ISP Oberseminar

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

ISP OS

Validation of an Array Processor in Space

for Degree:

Contact Person:

Current Topics SSE (CS4212, SSEaktuell)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4212

Pages