SS 09

Informatik 2

Grundstudium/BSc Inf:

Vorkurs Diskrete Strukturen

Katoen/Heinen

Hauptstudium:

Advanced Model Checking

Katoen, Mereacre, Yue

Modellierung nebenläufiger und probabilistischer Systeme

Katoen, Noll

Testing of Reactive Systems

Bohnenkamp

Softwarepraktikum: Implementierung heuristischer Algorithmen für Brettspiele

Kern, Rieger, NN

Seminar: Anwendung formaler Verifikationsmethoden auf eingebettete Systeme

Katoen, Noll, Kowalewski, Schlich

Hybrid Systems Group

Hauptstudium:

Modeling and Analysis of Hybrid Systems

Ábrahám

Seminar: Probabilistische Systeme

Ábrahám, Katoen, Klink

Misc:

MOVES Seminar

See also:

Teaching-related pages in the Campus-System for

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.