Home
News & Jobs
People
Research
Teaching
MOVES Seminar
Publications
Tools
Coordinates
Hybrid Systems Group
News
Contact
Teaching


Old I2 pages »

LuFG I2 »

Fachgruppe Informatik »

Bibliothek der Informatik »

RWTH Aachen »

Disclaimer »

Winter Term 2009/2010


Erfüllbarkeitsüberprüfung

Ábrahám, Jansen, Loup

Seminar: Satisfiability Checking

Ábrahám, Giesl, Chen, Emmes,

Fuhs, Jansen, Loup, Otto

 

Summer Term 2009


Modeling and Analysis of hybrid systems

Ábrahám

Seminar: Probabilistische Systeme

Ábrahám, Katoen, Klink


BSc/MSc/Diploma Topics

Teaching WS09/10

Hybrid Systems Group


GESUCHT!

1-2 stud. Hilfskr. zur Unterstützung bei der Erstellung eines neuen Foliensatzes für "Datenstrukturen & Algorithmen 2010".  (mehr)


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)


Older news