Uni-Logo

Logo

FZI-Logo


Programm des Institutsseminars im Wintersemester 2003/2004

 

 

Freitag, 26 März 2004

            Haiko Gaisser(Studienarbeit, Betreuer: Markus Bauer, Thomas Genssler)

            Werkzeuggestützte Strukturanalyse von Delphi-Programmen

Freitag, 19 März 2004

            Matthias Jäger (Studienarbeitsvortrag, Dr. Sabine Glesner, Rubino Geiß)

            Generierung von .NET IL Assembler aus Firm

            Marcus Denker (Diplomarbeitsabschlußvortrag, Betreuer: Florian Liekweg)

            Erweiterung eines statischen Übersetzers zu einem Laufzeitübersetzungssystem

Freitag, 27 Febrauar 2004

        Denis Schroff (Diplomarbeitseinführungsvortag, Betreuer:  Dirk Heuzeroth (IPD Goos), Horst Walz (SIEMENS AG), Eckhard Seibert (SIEMENS AG)

        Entwurf und Realisierung eines  komponentenbasierten Systems zur Darstellung von Meßwertverläufen in einem Prozeßleitsystem

Freitag, 30 Januar 2004

            Dr. Richard Mayr (Externer Vortrag)

            Verification of Infinite-State Systems

Donnerstag, 22. Januar  2004

            Sebastian Hack (Diplomarbeitsabschlußvortag, Betreuer: Rubino Geiss, Dr. Sabine Glesner)

            Graphersetzung für Optimierungen in der Codeerzeugung

            Joachim Melcher  (Diplomarbeitsabschlußvortag, Betreuer: Holger Bär)

            Hierarchische Protokollverifikation mit Wächterautomaten

            Florian Wilhelm (Studienarbeit, Betreuer:  Elke Pulvermüller)

            XML-basiertes Transformationswerkzeug

Donnerstag, 18. Dezember  2003  

            Jan Olaf Blech (Diplomarbeitseinführungsvortrag,  Dr. Sabine Glesner)

            Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL

            Christian Schmidt (Diplomarbeitseinführungsvortrag, Betreuer: Boris Boesler)

            Codegenerator für den PowerPC

            Alexander Schmidt (Diplomarbeitsabschlußvortrag, Betreuer: Dirk Heuzeroth)

            Semantische Analyse für CRECODER

            Matthias Mayer (Diplomarbeitseinführungsvortrag,  Elke Pulvermüller)

            Realisierung eines OBDD für einen Modelprüfer

Donnerstag, 06. November  2003

           Peter Horn (Diplomarbeitsabschlußvortrag, Betreuender Mitarbeiter: Dirk Heuzeroth)

            Analyse, Modellierung und Transformation von Interaktionen mit COMPASS

            David Metzler (Diplomarbeitsabschlussvortrag, Betreuender Mitarbeiter: Markus Noga)

            Schemabasierte Optimierung von XSLT

Vortragsort: Seminarraum 207 im AVG


page maintained by Mamdouh Abu-Sakran