Jump to navigation
Search form
Search
My account
Impressum
University of Lübeck
Institute for Software Engineering
and Programming Languages
You are here
Home
›
SS 2015
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:
Malte Schmitz
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
Softwaretechnik
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Torben Scheffel
,
René Schönfelder
Modul:
CS2300
ISP Oberseminar
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Normann Decker
Modul:
ISP OS
News
Research
Projects
Publications
Partners
Teaching
Theses
FAQ
Templates
Courses
Staff
Martin Leucker
Diedrich Wolter
Ulrike Schräger-Ahrens
Mahmoud Abdelrehim
Aliyu Ali
Phillip Bende
Moritz Bayerkuhnlein
Marc Bätje
Tobias Braun
Gerhard Buntrock
Raik Dankworth
Anja Grotrian
Raik Hipler
Elaheh Hosseinkhani
Frauke Kerlin
Karam Kharraz
Mohammad Khodaygani
Ludwig Pechmann
Waqas Rehan
Martin Sachenbacher
Andreas Schuldei
Inger Struve
Annette Stümpel
Gesina Schwalbe
Tobias Schwartz
Daniel Thoma
Sparsh Tiwari
Lars Vosteen
Open Positions
Contact
