Oberseminar Softwaresysteme
Wintersemester 2010/2011
Tuesday, 16.15-17.45
SBS 95 E, Room 4.042
In this seminar we are presenting the latest research results as well as current projects of the STS institute. The weekly lectures contain:
- Presentations of current project work and master's theses
at STS
by the students or research assistants - Reports about current PHD theses
- Reports about conferences, workshops and meetings
- Reports about current STS projects
- Lectures of representatives from industry and research
- Introductions and discussions concerning technology
Participation at the Oberseminar is obligatory
for all students about to take his/her diploma or master thesis.
Students interested in taking their diploma or master thesis at STS
have the chance of gaining insight into research operations at STS.
For lecturing, please contact Ulrike Hantschmann
to arrange an appointment.
| Date | Lecturer | Tutor | Topic | Cause |
| 19.10.2010 | Arne Wichmann | S.Schupp | Inter-Context Control-Flow
Graph in nesC with improved split-Phase handling  | Ende BA |
| 26.10.2010 | ||||
| 02.11.2010 | Michael Hülsen | R.Möller | Wissensbasierte Situationsbeschreibung
für Fahrerassistenzsysteme  |
Ext. |
| 03.11.2010 Special date |
Karsten Martiny | R. Möller | An Investigation of Machine-Learning Approaches for a Technical Analysis of Financial Markets |
DA |
| 09.11.2010 | ||||
| 16.11.2010 | Christian Feist | R. Möller | Lernverfahren zur Ereigniserkennung |
Proj. |
| Jan Truska | S.Schupp | Optimization of shipping activities |
RIKA | |
| 23.11.2010 | ||||
| 30.11.2010 | Timo Kamph | S.Schupp | Dynamic Invariant Detection for Sensor Network Applications |
StA |
| 07.12.2010 | ||||
| 14.12.2010 | Tobias Kaupat | S.Schupp | Symbolic Execution on nesC Programs |
StA |
| 04.01.2011 | ||||
| 11.01.2011 | S.M.Reza Rasouli | R.Möller | Preference-based Scene Interpretation |
Ende MT |
| R. Esquer, C. Obaldia |
S. Schupp | Optimization of shipping activities II |
RIKA | |
| 18.01.2011 | Angelina Velinska | R.Möller | Tag Cloud by Latent Semantic Analysis |
Ende MT |
| Sven Mattsen | S.Schupp | An OBDD based representation of sets of
integers for Frama-C |
Beginn StA | |
| 25.01.2011 | ||||
| 01.02.2011 | Stefan Kurzbach | R.Möller | Grid Services for Hydrodynamic Modelling | Diss. |
| Rami Zandipour | R.Möller | Evaluation of Interoperability Issues
between Business Rules Management Systems of IBM and SAP |
Ende DA | |
| 22.03.2011 Special date |
Ulf Winkelvos | S.Schupp | Entwurf einer komponentenbasierten und
sicheren Formular- beschreibungssprache für heterogene Ausgabemedien |
Ende DA |
BA
= Bachelor Thesis; StA = Studienarbeit /
Student Project;
DA = Diplomarbeit; MT = Master Thesis;
Dis = Dissertation; Proj = Projektbericht;
KB = Konferenzbericht; Ext = Gastvortrag
DA = Diplomarbeit; MT = Master Thesis;
Dis = Dissertation; Proj = Projektbericht;
KB = Konferenzbericht; Ext = Gastvortrag