Bachelor

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Entwicklung eines Redmine-Plugins für die Verwaltung von Story-Cards in Verbindung mit kontinuierlichem Testen

for Degree:

Präsentieren und Dokumentieren (PundD)

Lecturer:

PD Dr. Gerhard Buntrock

Modul:

PS3700

Vierwertige Timed-LTL-Semantik

for Degree:

Contact Person:

Entwicklung eines Systems zur statistischen Auswertung von DNA-Sequenzen

for Degree:

Praktika und Fallstudien am ISP im WS 14/15

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Martin Blankenburg , Sebastian Hungerecker , Torben Scheffel , Malte Schmitz

Modul:

CS5700,

CS4520,

CS5490(SJ14),

CS5198,

CS3701(SJ14),

CS3701,

CS5990,

CS3990

Software Engineering (Sweng)

Lecturer:

PD Dr. Gerhard Buntrock

Assistants:

René Schönfelder

Modul:

CS3200

Softwarearchitektur für IHS Interactive Hairstyling System

for Degree:

Contact Person:

Development of a SAT Solver

for Degree:

Contact Person:

Softwaretechnik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Torben Scheffel , René Schönfelder

Modul:

CS2300

Pages