Courses/Seminars

Informatik 2

Veranstaltung:

Typ

Involvierte Personen:

Proseminar "Berüchtigte Fehler in Softwaresystemen"

B

Noll/Katoen

Seminar Concurrency Theory

B/D/M

Bohnenkamp/Neuhäußer/Noll/Katoen

BWP/D/M

Noll/Yue/Neuhäußer

Foundations of the UML

D/M

Katoen/Han/Mereacre

B: Bachelor, BWP: Bachelor Wahlpflicht, VD: Vordiplom, D: Diplom, M: Master

Hybrid Systems Group

Veranstaltung:

Typ

Involvierte Personen:

Lecture Satisfiability Checking (Erfüllbarkeitsüberprüfung)

BWP/D/M

Seminar Satisfiability Checking

B/D/M

Abraham, Giesl, Emmes, Fuhs, Otto, Chen, Jansen, Loup

B: Bachelor, BWP: Bachelor Wahlpflicht, VD: Vordiplom, D: Diplom, M: Master

BSc/MSc/Diploma Topics
Teaching WS09/10
Hybrid Systems Group

Tingting Han defended her thesis "Synthesis, Diagnosis and Analysis of Probabilistic Systems" with highest praise at the University of Twente (NL) and today also at the RWTH Aachen! (more)

Stefan Rieger defended his Doctoral Thesis with great success!

QEST '11 and CONCUR '11 will take place in Aachen in the Super C. more.

The Hybrid Systems Group has now moved to its hopefully final place, the rooms 2U07, 2U08 and 2U09.