Oberseminar Softwaresysteme
Sommersemester 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 |
| 22.03.2011 Special date |
Ulf Winkelvos | S.Schupp | Entwurf einer komponentenbasierten und
sicheren Formular- beschreibungssprache für heterogene Ausgabemedien  |
Ende DA |
| 05.4.2011 |
||||
| 12.04.2011 | ||||
| 19.04.2011 | ||||
| 26.04.2011 | Tobias Kaupat | S. Schupp | Symbolic Execution of nesC Programs |
Ende StA |
| 03.05.2011 | Sven Mattsen | S.Schupp | An OBDD based representation of sets of
integers for Frama-C |
Ende StA |
| Alexander Galkin | S. Schupp | Using Frama-C and Jessie for annotation inferring in VCC |
StA | |
4.05.2011 |
Pascal Cuoq |
Verifying with Frama-C More info here |
Colloquium | |
| 10.05.2011 | ||||
| 17.05.2011 | Cheng Wang | S. Schupp | Evaluation von Optimierungsmethoden für die Tourenplanung von Schiffen in Häfen. |
Anfang DA |
| 24.05.2011 | Alexander Galkin | S. Schupp | Inferring Alias Contracts in VCC using Separation Analysis |
Ende StA |
| 31.05.2011 | ||||
| 07.06.2011 | ||||
| 21.06.2011 | ||||
| Special event 27.06.2011 at 14:45 |
Dr. Christian Stimming, SICK AG |
Softwareentwicklung in Forschungsprojekten More info here |
SBS95 D2022 | |
| 28.06.2011 | ||||
| 05.07.2011 | Gerry Siegemund | R.Möller | AURIS, Autonomous Robot Interaction Simulation | DA |
| 12.07.2011 | Tobias Schulz | S. Schupp | Zwischenvortrag: Entwicklung eines Datenloggers für Beatmungsdaten und Mutationsanalyse für >Robustnesstests |
BA |
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