Oberseminar Wintersemester 2006/2007

Inhalt

Im Oberseminar werden aktuelle Forschungsarbeiten im Bereich Softwaretechnik vorgestellt und diskutiert. In der Regel sind dies Arbeiten aus einer der Forschungsgruppen in Kaiserslautern, von Gästen oder neuere Veröffentlichungen von Top-Konferenzen. Das Oberseminar richtet sich an alle, die ein besonderes Interesse an Softwaretechnik haben.

Voraussetzungen

Bachelor oder entsprechende Qualifikation

Leistungsnachweis und Prüfungen

nach Absprache

Ansprechpartner

Jan Schäfer

Ort und Zeit

Ort:	34/420
Zeit:	Donnerstags, 14:00 Uhr

Termine

Datum	Zeit	Ort	Vortragender	Titel
8.3.07	14:00 Uhr	34/420	Jan-Olaf Blech und Ina Schaefer	Translation Validation of System Abstractions
26.02.07	14:00 Uhr	34/420	Christopher Hauck, AG Rausch	Conception and Integration of Speech Services into an Ambient Intelligence Platform
14.02.07	14:00 Uhr	34/420	Noam Rinetzky, Tel Aviv University	Software Model Checking of Heap Intensive Programs
25.1.07	14:00 Uhr	34/420	Kathrin Geilmann	Inferring Ownership Types for Encapsulated Object-Oriented Program Components
11.01.07	14:00 Uhr	34/420	Patrick Michel	Static Guarantees for Algorithms on Constrained XML Documents
14.12.06	14:00 Uhr	34/420	Ina Schaefer	8th Intl. Symposium on Stabilization, Safety and Security of Distributed Systems (SSS 2006) in Dallas, TX - Mein Bericht
30.11.06	14:00 Uhr	34/420	Oliver Weiß	Integration of Sensor Nodes into a System for Mobile Services
30.11.06	14:45 Uhr	34/420	Christian Ziemann	Methodischer Ubergang von textuellen Anforderungen zu formal modellierten Anforderungen am Beispiel des Airbus Flight Warning Prozesses
26.10.06	14:00 Uhr	34/420	Gabriele Weiler	Ontologiegetriebene Entwicklung von Dokumentationssystemen für klinische Studien