2009
| Bastian Schlich, Thomas Noll, Jörg Brauer, and Lucas Brutschy. Reduction of Interrupt Handler Executions for Model Checking Embedded Software. In Proc. of Haifa Verification Conference 2009 (HVC 2009). LNCS. Springer, 2009. |
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