Summer Term 2012
| Course | Teacher |
|---|---|
| Modeling and Analysis of Hybrid Systems | Ábrahám, Chen |
| Seminar: Satisfiability Checking | Ábrahám, Giesl, Brockschmidt, Corzilius, Emmes, Jansen, Loup, Nellen, Otto, Ströder |
| Practical Course: Simplex in SMT |
Ábrahám, Corzilius, Loup |
| Practical Course: Solarturm |
Ábrahám, Richter |
Winter Term 2011/2012
| Course | Teacher |
|---|---|
| Satisfiability Checking | Ábrahám, Corzilius, Jansen, Loup |
| Seminar: Satisfiability Checking | |
| Software-Projektpraktikum: Explorative Suche mit Lego Mindstorms Robotern |
Ábrahám, Nellen |
Summer Term 2011
| Course | Teacher |
|---|---|
| Modeling and Analysis of Hybrid Systems | Ábrahám |
| Proseminar: Real Time Systems | Ábrahám, Chen, Corzilius, Jansen, Loup, Nellen |
Winter Term 2010/2011
| Course | Teacher |
|---|---|
| Satisfiability Checking | Ábrahám, Jansen, Loup |
| Seminar: Satisfiability Checking | Ábrahám, Giesl, Brockschmidt, Emmes, Fuhs, Jansen, Loup, Nellen, Otto, Ströder |
| Practical course: Lego Mindstorms | Ábrahám, Nellen |
Summer Term 2010
| Course | Teacher |
|---|---|
| Modeling and Analysis of Hybrid Systems | Ábrahám |
| Proseminar: Real Time Systems | Ábrahám, Chen, Jansen, Loup |
Winter Term 2009/2010
| Course | Teacher |
|---|---|
| Erfüllbarkeitsüberprüfung | Ábrahám, Jansen, Loup |
| Seminar: Satisfiability Checking |
Summer Term 2009
| Course | Teacher |
|---|---|
| Modeling and Analysis of Hybrid Systems | Ábrahám |
| Seminar: Probabilistische Systeme | Ábrahám, Katoen, Klink, Jansen, Loup |