You are here

Home › Teaching › WS 2013/2014, SS 2014, WS 2014/2015, SS 2015 ›

ISP Oberseminar

Semester: 
WS 2013/2014
SS 2014
WS 2014/2015
SS 2015
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.

WS 2013/2014
Seminar
Thursday 16:15-17:45 1.108 (Besprechungsraum ISP), Building 64
WS 2013/2014
Seminar
Thursday October 24, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday October 31, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday November 7, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday November 14, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday November 21, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday November 28, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday December 5, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday December 12, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday December 19, 2013 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday January 9, 2014 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday January 16, 2014 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday January 23, 2014 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday January 30, 2014 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday February 6, 2014 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)
Thursday February 13, 2014 16:15-17:45 (1.108 (Besprechungsraum ISP), Building 64)

click to view Dates.

Vorträge

07.10.2013 Benjamin Winter Predictive Analytics - Datamining im Online-Marketing
07.11.2013 Fabian Winter n.n.
14.11.2013 Grigory Markin Projektbericht PLC-Code Verification
21.11.2013 Normann Decker Logiken (und Automaten) auf Datenwörtern
28.11.2013 Franziska Kühn Projektbericht OR.NET
28.11.2013 Claudia Fischer Projektbericht Fallstudie
28.11.2013 Eike von Tils Bringig together LOLA and LTL on FPGAs for Runtime Verification (Zwischenbericht)
Di, 10.12.2013 Daniel Thoma Monitoring Modulo Theories
09.01.2014 Martin Blankenburg Projektbericht Zelim
09.01.2014 Sebastian Hungerecker C-Frontend für VPLC
16.01.2014 René Schönfelder Carsharing, Multimodalität und Elektromobilität
23.01.2014 Annette Stümpel Control and Data States
06.02.2014 Torben Scheffel Logiken für verteilte Laufzeitverifikation
13.02.2014 Malte Schmitz Logiken für verteilte Laufzeitverifikation
13.02.2014 Grigory Markin Abstract model checking and CEGAR
20.02.2014 Franziska Kühn OR.NET
03.04.2014 Franziska Kühn Runtime Verification for Web Services
17.04.2014 René Schönfelder GreenNav-Forschung
15.05.2014 Gerhard Buntrock Projektbericht ERP
22.05.2014 F. Kühn, D. Thoma, N. Decker Bericht zur Lage der RV
05.06.2014 Normann Decker Über Logiken und Automaten auf Datenwörtern (II)
12.06.2014 René Schönfelder GreenNav-Projekt
30.10.2014 René Schönfelder Fortschritte im GreenNav-Projekt
27.11.2014 René Schönfelder Die Lévy-Verteilung im State-Based-Routing
04.12.2014 René Schönfelder GreenNav Projekt - Status und weitere Planung
08.01.2015 Jan T. Kim, The Pirbright Institute, UK Bioinformatics Application in Virus Research
12.03.2015 Normann Decker On an Extension of Freeze LTL
26.03.2015 Gerhard Buntrock Forschungsförderung im Bereich Sicherheitskritischer Infrastrukturen
23.04.2015 Daniel Thoma Nested Counter Systems and Fast-growing Complexity Classes
11.06.2015 Arnaud Sangnier, LIAFA, Univ. Paris Diderot (Paris VII) Parameterized verification of Networks with (selective) broadcast

Änderungen vorbehalten.