Ehemalige Mitarbeiterin (09/1999 - 08/2004)

	Dr. Adrianna Alexander wissenschaftliche Mitarbeiterin am Lehrstuhl Theorie der Programmierung
Adresse	Humboldt-Universität zu Berlin Institut für Informatik Unter den Linden 6 10099 Berlin
Sitz	Humboldt-Universitiät zu Berlin Institut für Informatik Haus IV, 4. Etage, Raum 413 Rudower Chaussee 25 12489 Berlin
Sprechstunde	Montags, 14 - 15 Uhr sonst nach Vereinbarung (E-Mail bevorzugt)
Telefon	+49 30 2093-3095
Fax	+49 30 2093-3067
E-Mail	alexander @ informatik.hu-berlin.de

Lehrveranstaltungen

Vorlesung "Petrinetze" an der TFH Berlin (SS 2005)

Übungen zur Vorlesung "Praktische Informatik II" (SS 2004)

Seminar "Spezifikation und Verifikation verteilter Systeme" (WS 2003/2004)

Seminar "Komposition verteilter Systeme" (SS 2003)

Übungen zur Vorlesung "Verteilte Algorithmen" (SS 2003)

Seminar "Spezifikation und Verifikation verteilter Systeme II" (WS 2002/2003)

Übungen zur Vorlesung "Praktische Informatik II" (SS 2002)

Seminar "Spezifikation und Verifikation verteilter Systeme" (WS 2001/2002)

Übungen zur Vorlesung "Praktische Informatik II" (SS 2001)

Übungen zur Vorlesung "Praktische Informatik I" (WS 2000/2001)

Übungen zur Vorlesung "Praktische Informatik II" (SS 2000)

Übungen zur Vorlesung "Verteilte Algorithmen" (WS 1999/2000)

Lebenslauf

Aktuelle Forschungsprojekte

Publikationen

Adrianna Foremniak, Peter H. Starke: Structural Analysis of Signal-Event Systems.

Adrianna Foremniak, Wolfgang Reisig: A Temporal Logic of Distributed Actions (TLDA).

Adrianna Alexander, Wolfgang Reisig: Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions.

A. Alexander: Composition of Temporal Logic Specifications.

A. Alexander, W. Reisig: Compositional Temporal Logic Based on Partial Order.

zurück zur Liste der Mitarbeiter