Home
News & Jobs
People
Research
Teaching
General Information
Courses/Seminars
BSc/MSc/Diplom Projects
Service
WS 09/10
SS 09
WS 08/09
SS 08
WS 07/08
SS 07
WS 06/07
SS 06
Past
MOVES Seminar
Publications
Tools
Coordinates
Hybrid Systems Group


Old I2 pages »

LuFG I2 »

Fachgruppe Informatik »

Bibliothek der Informatik »

RWTH Aachen »

Disclaimer »

Wintersemester 2007/2008

Grundstudium:

  •  Proseminar Spezifikationsformalismen
  • (verschoben zum Sommersemester 2008)

Hauptstudium:

  • Foundations of the UML
  • Modeling Concurrent and Probabilistic Systems
  • Seminar Software Abstractions

Sonstiges:

  • MOVES Seminar
  • Foundations of Informatics - a Bridging Course


BSc/MSc/Diploma Topics

Teaching WS09/10

Hybrid Systems Group


16 Oct 2009

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)


23 Sep 2009

Stefan Rieger defended his Doctoral Thesis with great success!


18 Sep 2009

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


1 Sep 2009

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


Older news