Master

Praktika und Fallstudien am ISP im WS 15/16

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Torben Scheffel , Malte Schmitz , Jannis Harder , Normann Decker , Martin Blankenburg , Alexander Mildner

Modul:

CS5700,

CS4520,

CS5490(SJ14),

CS5198,

CS3701(SJ14),

CS3701,

CS5990,

CS3990,

CS4199,

CS5196,

CS3410

Logics for distributed Runtime-Verification

for Degree:

Contact Person:

Model Checking

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4138,

CS4138SJ14,

CS4138 TSJ14,

CS4507

Seminar Concepts of Programming Languages (CoPL)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Sebastian Hungerecker , Malte Schmitz

Modul:

CS 3702 BachSemInf,

CS 3703 BachSemMI,

CS 5480 SemSSE,

CS 5840 SemiEngl

Modellierung von Intermodalität in Graphsachen und Lösungsansatz zur effizienten Wegefindung im Arbeitskontext von Green Navigation

for Degree:

Monitoring Modulo Theories for Timed Logics

for Degree:

Contact Person:

Praktika und Fallstudien am ISP im SS 15

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Martin Blankenburg , Sebastian Hungerecker , Torben Scheffel , Malte Schmitz , Jannis Harder

Modul:

CS5700,

CS4520,

CS5490(SJ14),

CS5198,

CS3701(SJ14),

CS3701,

CS5990,

CS3990,

CS4199,

CS5196,

CS3410,

...

Runtime Verification und Testen

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4137 RV,

CS4136 Testen,

CS4139 RVTesten,

CS4139 T RVTestena

Spezifikation und Modellierung

Lecturer:

Dr. rer. nat. Annette Stümpel

Modul:

CS4020SJ14,

CS4020

Seminar Formal Verification

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Pages