Jump to navigation

Search form

  • My account
  • Impressum
University of Lübeck
University of Lübeck
Institute for Software Engineering
and Programming Languages
Home

You are here

Home ›

Master

Umwandlung: 2-Wege Alternierende 3-Paritätsautomaten in Nicht-deterministische Büchi-Automaten

for Degree: 
Master
Contact Person: 
T. Scheffel

Programmiersprachen und Typsysteme

Lecturer: 
Dr. rer. nat. Annette Stümpel
Modul: 
CS3052

Fallstudie: Runtime Verification und Abstraktion

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Franziska Kühn , Daniel Thoma
Modul: 
CS5700, Teil 2

ISP Oberseminar

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Normann Decker
Modul: 
ISP OS

Softwarekonstruktion

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Franziska Kühn
Modul: 
CS4120

Development of a Web Application for Smart Car Services

for Degree: 
Master

Fallstudie: Rotationsplanung

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Claudia Fischer
Modul: 
CS5700 Teil 2

Contraction Hierarchies for State-Based Routing

for Degree: 
Master

Seminar Formal Verification

Lecturer: 
Prof. Dr. Martin Leucker
Assistants: 
Normann Decker , Daniel Thoma
Modul: 
CS3702,
CS5840,
CS5480,
CS5015,
CS5191

StartUp und New Business Development

Lecturer: 
Raimund Mildner
Modul: 
PS5830

Pages

  • « first
  • ‹ previous
  • …
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • next ›
  • last »
Subscribe to RSS - Master
  • News
  • Research
    • Projects
    • Publications
    • Partners
    • Conferences
  • Teaching
    • Courses
    • Theses
      • FAQ
      • Templates
  • Staff
    • Martin Leucker
    • Phillip Bende
    • Martin Blankenburg
    • Gerhard Buntrock
    • David Caraveo
    • Lukas Convent
    • Normann Decker
    • Sebastian Hungerecker
    • Karam Kharraz
    • Uwe Kienitz
    • Nikolas Knickrehm
    • Christian Kreutzfeldt
    • Felix Lange
    • Grigory Markin
    • Maria Ostanina
    • André Pedro
    • Torben Scheffel
    • Malte Schmitz
    • Nina Strugalla
    • Annette Stümpel
    • Daniel Thoma
    • Open Positions
  • Contact

 

© ISP - Institute for Software Engineering and Programming Languages 1996-2019