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 2013
Fallstudie: Runtime Verification und Abstraktion
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Franziska Kühn
,
Daniel Thoma
Modul:
CS5700, Teil 1
ISP Oberseminar
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Normann Decker
Modul:
ISP OS
Software- und System-Testen
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Grigory Markin
Modul:
CS4136
Runtime Verification
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Normann Decker
Modul:
CS4137
Seminar Formal Verification
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Normann Decker
,
Daniel Thoma
Modul:
CS3702,
CS5840,
CS5480,
CS5015,
CS5191
Programmiersprachen und Typsysteme
Lecturer:
Dr. rer. nat. Annette Stümpel
Modul:
CS3052
Seminar SOA, Security and Runtime Verification
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
Franziska Kühn
Modul:
CS5480,
CS5015,
CS5191,
CS5840
Softwaretechnik
Lecturer:
Prof. Dr. Martin Leucker
Assistants:
René Schönfelder
Modul:
CS2300
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
