You have come to an old website. Our new URL is ths.rwth-aachen.de. Please update your bookmarks!
Exams
Prof. Ábrahám offers oral exams for Bachelor-, Diploma-, and Master-Students. Lectures are "(Introduction to) Satisfiability Checking" and "Modeling and Analysis of Hybrid Systems". A combination with lectures of Prof. Katoen and Prof. Giesl is always possible; other combinations need distinct consultation.
Theses
Offered Topics
- "Reachable Set Representations for the Analysis of Linear Hybrid Systems", Diploma/Master (contact: Xin Chen).
In Progress
Completed
2014
- Matthias Ewert, "Modellierung des Radialverdichters eines PKW-Abgasturboladers" (supervision: Erika Ábrahám, Richard Aymanns, Dominik Lückmann)
- Maik Glatki, "A zonotope library for hybrid systems reachability analysis" (supervision: Erika Ábrahám, Jürgen Giesl)
2013
- Kim Maren Haps, "Datatypes and tools for the analysis of hybrid systems" (supervision: Erika Ábrahám, Jürgen Giesl).
- Georg Jenneßen, "Solar tower optimisation with genetic algorithms" (supervision: Pascal Richter, Erika Ábrahám, Martin Frank).
- Gereon Kremer, "Isolating real roots using adaptable-precision interval arithmetic" (supervision: Ulrich Loup, Erika Ábrahám).
- Amith Belur Nagabushana, "Minimal critical subsystems for PCTL" (supervision: Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen).
- Thomas Osterland, "Memory- and time-related action qualifiers in HSFCs" (supervision: Johanna Nellen, Erika Ábrahám, Stefan Kowalewski).
- Henrik Schmitz, "Parallel user-defined strategies for QFNRA" (supervision: Erika Ábrahám, Florian Corzilius).
- Stefan Schupp, "Interval constraint propagation in SMT-compliant decision procedures" (supervision: Erika Ábrahám, Florian Corzilius, Ulrich Loup).
- Marian Van de veire, "Minimal critical subsystems for probabilistic models with nondeterminism" (supervision: Erika Ábrahám, Nils Jansen, Joost-Pieter Katoen).
- Andreas Vorpahl, "Compositional counterexamples for MDPs" (supervision: Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen).
2012
- Alin Ionascu, "Modeling and controler synthesis of hybrid propulsion systems using artificial intelligence" (supervision: Erika Ábrahám, Johanna Nellen, Ulrich Loup).
- Kai Driessen, "Counterexample-guided abstraction refinement for hybrid SFC verification" (supervision: Erika Ábrahám, Johanna Nellen).
- Dennis Scully, "Preprocessing for solving non-linear real-arithmetic formulas" (supervision: Erika Ábrahám, Florian Corzilius).
- Sebastian Junges, "On Gröbner bases in SMT-compliant decision procedures" (supervision: Erika Ábrahám, Ulrich Loup).
- Matthias Volk, "Verification and synthesis for parametric Markov chains" (supervision: Erika Ábrahám, Nils Jansen, Florian Corzilius).
- Joachim Redies, "An extension of the GiNaCRA library for the cylindrical algebraic decomposition" (supervision: Erika Ábrahám, Ulrich Loup, Peter Rossmanith).
- Canan Kasaci, "Model-based resource monitoring and optimization" (supervision: Erika Ábrahám, Stefan Kowalewski, ASML).
- Maik Scheffler, "Hierarchical counterexamples for DTMCs - Case studies" (supervision: Erika Ábrahám, Nils Jansen).
2011
- Florian Corzilius, "Virtual substitution in SMT solving", (supervision: Erika Ábrahám, Ulrich Loup)
2009
- Pascal Richter, "Simulation und Auslegungsoptimierung solarthermischer Kraftwerke unter Einsatz evolutionärer Algorithmen und neuronaler Netze", (supervision: Erika Ábrahám, Volker Wittwer)
