You are here

Home › Teaching › SS 2013 ›

ISP Oberseminar

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

Im Oberseminar werden aktuelle Themen der Softwaretechnik behandelt. Studenten und Mitarbeiter, auch anderer Institute, sind herzlich eingeladen. Themenvorschläge nehmen wir gerne auf.

SS 2013
Seminar
Thursday 16:15-17:45 1.108 (Besprechungsraum ISP), Building 64

Seminar
Thursday April 11, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday April 18, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday April 25, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday May 2, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday May 9, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday May 16, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday May 23, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday May 30, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday June 6, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday June 13, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday June 20, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday June 27, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday July 4, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday July 11, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)

click to view Dates.

Vorträge

02.05.2013 Daniel Thoma jUnitRV − Adding Runtime Verification to jUnit
06.06.2013 Sebastian Walther (Betr. René Schönfelder) Contraction Hierarchies für zustandsbasiertes Routing (Masterarbeiten)
06.06.2013 Peter Kliesch (Betr. René Schönfelder) Energie-optimierendes Flottenrouting (Masterarbeit)
20.06.2013 René Schönfelder GreenNav
11.07.2013 René Schönfelder Softwaretechnik - Ergebnisse und Evaluation
n.n. Franziska Kühn Pink States for Runtime Verification
n.n. Normann Decker Logfileanalyse mit LoLa
n.n. Martin Leucker How to write a research paper
n.n. Grigory Markin Abstraktionstechniken

Änderungen vorbehalten.