Previous Terms

Summer Term 2012

Course Teacher
Modeling and Analysis of Hybrid Systems ÁbrahámChen
Seminar: Satisfiability Checking ÁbrahámGiesl, Brockschmidt, Corzilius, Emmes, JansenLoupNellen, Otto, Ströder
Practical Course:
Simplex in SMT
Ábrahám, CorziliusLoup
Practical Course:
Solarturm
Ábrahám, Richter

Winter Term 2011/2012

Course Teacher
Satisfiability Checking ÁbrahámCorzilius, Jansen, Loup
Seminar: Satisfiability Checking
Ábrahám, Giesl, Brockschmidt, CorziliusEmmesFuhs, Jansen, Loup, Nellen, Otto, Ströder
Software-Projektpraktikum: 
Explorative Suche mit Lego Mindstorms Robotern
ÁbrahámNellen

Summer Term 2011

Course Teacher
Modeling and Analysis of Hybrid Systems Ábrahám
Proseminar: Real Time Systems ÁbrahámChenCorziliusJansenLoupNellen

Winter Term 2010/2011

Course Teacher
Satisfiability Checking ÁbrahámJansenLoup
Seminar: Satisfiability Checking ÁbrahámGiesl, Brockschmidt, Emmes, Fuhs, JansenLoupNellen, Otto, Ströder
Practical course: Lego Mindstorms ÁbrahámNellen

Summer Term 2010

Course Teacher
Modeling and Analysis of Hybrid Systems Ábrahám
Proseminar: Real Time Systems ÁbrahámChenJansenLoup

Winter Term 2009/2010

Course Teacher
Erfüllbarkeitsüberprüfung ÁbrahámJansenLoup
Seminar: Satisfiability Checking

ÁbrahámGieslChen, Emmes, FuhsJansen, Loup, Otto

Summer Term 2009

Course Teacher
Modeling and Analysis of Hybrid Systems Ábrahám
Seminar: Probabilistische Systeme ÁbrahámKatoen, Klink, JansenLoup