Master

DSL-based Runtime Verification for the JVM

for Degree:

Contact Person:

Seminar Temporal Logic Query Checking

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Normann Decker , Daniel Thoma

Modul:

CS3702,

CS5840,

CS5480,

CS5015,

CS5191

Heuristic Methods for the Vehicle Routing Problem and Their Application in Car Sharing

for Degree:

Entwicklung und Implementierung von energieoptimalem Flottenrouting im Kontext des Green Navigation Projekts

for Degree:

Simulation of GreenNav algorithms and their emergent behaviour

for Degree:

Dynamisches Rerouting im Kontext von Navigationssystemen

for Degree:

Stochastic Models and Acceleration Techniques for Green Routing in Car Navigation Systems

for Degree:

Fallstudie zur professionellen Produktentwicklung: Logistik

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Dr. rer. nat. Annette Stümpel

Modul:

CS5700, Teil 1

Software- und System-Testen

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Modul:

CS4136

Runtime Verification

Lecturer:

Prof. Dr. Martin Leucker

Modul:

CS4137

Pages