Available topics

Below we list some exemplary  topics for theses.

Hybrid systems verification

• Safety analysis for hybrid systems with random/uncertain components (contact: Erika Abraham)

SMT solving

• Automated exercise generation for SMT solving (contact: Erika Abraham)
• Developing, implementing and evaluating different variable ordering heuristics for arithmetic theory decision procedures in SMT solving (contact: Erika Abraham)
• Approximating cell boundaries in the cylindrical algebraic decomposition (contact: Jasper Nalbach)
• Speed up single cell construction via combinatorial optimization (contact: Jasper Nalbach)
• A novel improvement for the virtual substitution decision procedure for linear real arithmetic (contact: Erika Abraham)
• Synthesizing controllers for robot fleets in production logistics scenarios using SMT solving (contact: Erika Abraham)
• Extending the SMT-LIB2 benchmark library for non-linear real and integer arithmetic (contact: Erika Abraham)
• Generating explanations for unsatisfiability in SMT solving (contact: Erika Abraham)
• The development and implementation of a theory solver module for floating-point arithmetic in the SMT solver library SMT-RAT (contact: Erika Abraham)

Computational Renewable Energy
Contact: Pascal Richter or Henning Petzka

Miscellaneous

• Optimal planning modulo theories (contact: Erika Abraham).

In progress

Please ask your supervisor for our checklist with information for thesis students.

1. Hana Masarra, “Reachability analaysis for neural networks with various activation functions” (Bachelor thesis, supervision Erika Ábrahám, László Antal)
2. Kristian Cović, “Heuristical variable ordering in the cylindrical algebraic decomposition” (Bachelor thesis, supervision Erika Ábrahám)
3. Nick Romain Jos Feiereisen, “Energetic evaluation of buildings” (Bachelor thesis, supervision Erika Ábrahám)
4. Valentino Geuenich, “Occlusion for augmented reality windfarms in great distance” (Bachelor thesis, supervision Erika Ábrahám)
5. Florian Hövelmann, “Heuristic layout optimization of central receiver systems” (Master thesis, supervision Erika Ábrahám)
6. Ruoran Gabriela Jiang, “Verifying AI-controlled hybrid systems” (Master thesis, supervision Erika Ábrahám, László Antal)
7. Marvin Alexander Krebber, “Modelling the heat demand of buildings” (Bachelor thesis, supervision Erika Ábrahám)
8. Marcel Kröker, “Planning and site suitability of wind farms” (Master thesis, supervision Erika Ábrahám)
9. Jiani Qu, “Augmented reality for the visualisation of wind farms” (Master thesis, supervision Erika Ábrahám)
10. Tim Luca Reimers, “Utilizing heuristics and data structures to optimize incremental FMPlex” (Bachelor thesis, supervision Erika Ábrahám)
11. Jonas Spang, “On the mechanisms of simplex heuristics” (Bachelor thesis, supervision Erika Ábrahám)
12. Philippe Specht, “Improving incremental linearization for satisfiability modulo non-linear real arithmetic checking” (Master thesis, supervision Erika Ábrahám, Jasper Nalbach)
13. Lisa Wanko, “Parallel computations for the analysis of delays in railway networks” (Bachelor thesis, supervision Erika Ábrahám, Rebecca Haehn)
14. Paul Wagner, TBA (Bachelor thesis, supervision Erika Ábrahám, Jasper Nalbach)

Completed

2022

1. Mustafa Alotbah, “Optimal design of photovoltaic systems” (Bachelor thesis 04/2022, supervision: Pascal Richter, Erika Ábrahám)
2. Philipp Bär, “Exploiting strict constraints in the computations of cylindrical algebraic coverings” (Bachelor thesis 08/2022, supervision Erika Ábrahám, Jasper Nalbach)
3. Patrick Chrestin, “Augmented reality for the visualization of wind farms with obstacle detection” (Bachelor thesis 08/2022, supervision Erika Ábrahám)
4. Greda Eshiba Emir, “Automated exercise generation for three satisfiability checking algorithms” (Bachelor thesis 07/2022, supervision: Erika Ábrahám)
5. Lina Gerlach, “Compositional modeling for stochastic hybrid systems” (Master thesis 07/2022, supervision Erika Ábrahám, Sasan Vakili)
6. Max Harder, “Generating coverings using virtual substitution for explanations in mcSAT” (Bachelor thesis 08/2022, supervision Erika Ábrahám, Jasper Nalbach)
7. Almut Herzog, “Optimal placement of wind turbines with different hub heights” (Bachelor thesis 04/2022, supervision: Erika Ábrahám)
8. Kai Hilgers, “An FMplex-inspired simplex heuristics” (Bachelor thesis 03/2022, supervision Erika Ábrahám, Jasper Nalbach)
9. Maria Kazantzi, “Automated exercise generation for three selected  satisfiability checking procedures” (Bachelor thesis 03/2022, supervision Erika Ábrahám)
10. Giang Lai, “Subtropical satisfiability for polynomial constraint sets” (Bachelor thesis 03/2022, supervision: Erika Ábrahám)
11. Valentin Promies, “Underapproximating cell bounds in MCSAT using low-degree polynomials” (Master thesis 08/2022, supervision Erika Ábrahám, Jasper Nalbach)
12. Nicolai Radke, “Parameter synthesis for algebraic problems with a Boolean structure” (Master thesis 03/2022, supervision Erika Ábrahám)
13. Nadja Scherer, “A compositional modeling language for stochastic hybrid systems” (Bachelor thesis 03/2022, supervision Erika Ábrahám, Sasan Vakili)
14. Leon Valentin Spitzer, “Planning with sets: exploring different encodings” (Bachelor thesis 09/2022, supervision Erika Ábrahám)
15. Svenja Stein, “An incremental adaption of the FMPlex method for solving linear real algebraic formulas” (Bachelor thesis 05/2022, supervision Erika Ábrahám, Jasper Nalbach)
16. Valerie Tan, “Analyzing delay propagation in railway networks” (Master thesis 03/2022, supervision Erika Ábrahám, Rebecca Haehn)
17. Lena Verscht, “A transformation of hybrid petri nets with general firings to stochastic hybrid automata” (Master thesis 11/2022, supervision Erika Ábrahám)

2021

1. Lukas Aldenhoff, “Raytracer for central receiver systems using GPU” (Master thesis 06/2021, supervision: Pascal Richter, Erika Ábrahám)
2. Kim Amfaldern, Computing set difference for the reachability analysis of hybrid systems (Bachelor thesis 11/2021, supervision Erika Ábrahám)
3. Matthias Appenzeller, “Comparing two modeling formalisms for stochastic hybrid systems” (Bachelor thesis 05/2021, supervision Erika Ábrahám)
4. Marian Assenmacher, “Parallelization of a probabilistic railway timetable simulation” (Master thesis  05/2021, supervision: Erika Ábrahám, Rebecca Haehn)
5. Thomas Bauer, “Quantifier elimination for real-arithmetic problems with Boolean structure using the Fourier-Motzkin method” (Bachelor thesis 2021, supervision: Erika Ábrahám, Jasper Nalbach)
6. László Dirks, “A CEGAR approach for efficient planning” (Bachelor thesis 09/2021, supervision: Erika Ábrahám, Francesco Leofante)
7. Tristan Ebert, “CEGAR approach for handling urgency in hybrid systems” (Master thesis 11/2021, supervision: Erika Ábrahám)
8. Mostafa Elgayar, “Interactive visualization of shadow cast for wind farms” (Bachelor thesis 09/2021, supervision: Pascal Richter, Erika Ábrahám)
9. Antoniu-Paul Filip, “Automated exercise generation for satisfiability modulo real algebra” (Bachelor thesis 10/2021, supervision Erika Ábrahám)
10. Lars Fischer, “Multi-step layout optimization of heliostat fields in central receiver systems” (Bachelor thesis 02/2021, supervision: Pascal Richter, Erika Ábrahám)
11. Menghze Hua, “Approximate model checking for probabilistic rectangular automata with continuous-time probability distributions on jumps” (Master thesis 05/2021, supervision: Erika Ábrahám, Stefan Schupp)
12. Laura-Sophie Kirchner,  “Automation and investigation of multi output machine learning control in buildings” (Master thesis 2021, supervision: Ahmed Abida, Erika Ábrahám)
13. Paul Kobialka, “Connecting simplex and Fourier-Motzkin into a novel quantifier elimination method for linear real algebra” (Master thesis 07/2021, supervision: Erika Ábrahám, Jasper Nalbach)
14. Niklas Kotowski, “Accelerating symbolic simulation to analyze the effect of delays in train timetables” (Master thesis 09/2021, supervision: Erika Ábrahám, Rebecca Haehn)
15. Stefan Leachu, ”Optimal building control using system linearization based on a generalized physics model” (Master thesis 03/2021, supervision:  Erika Ábrahám, Ahmed Abida)
16. Dana Lenz, “Flexible encoding of scheduling problems using satisfiability modulo theories” (Bachelor thesis 2021, supervision: Erika Ábrahám)
17. Wei Lu, “Visualizing stochastic delay information for railway timetables”. (Master thesis 07/2021, supervision: Erika Ábrahám)
18. Christoph von Oy, “Optimal design and scheduling of a smart city under uncertain renewable energy generation” (Master thesis 07/2021, supervision: Pascal Richter, Erika Ábrahám)
19. Viktor Panichkin, “Auralization and visualization of wind farms using augmented reality” (Master thesis 07/2021, supervision: Pascal Richter, Erika Ábrahám)
20. André Poncelet, “Conflict generalization for quadratic real-arithmetic constraints in SMT-RAT” (Bachelor thesis 12/2021, supervision Erika Ábrahám, Jasper Nalbach)
21. Boris Schüpp, “Quantifier elimination using the virtual substitution” (Bachelor thesis 09/2021, supervision Erika Ábrahám, Jasper Nalbach)
22. Dogu Tamgac, “Star set representations in the reachability analysis of hybrid systems”, (Bachelor thesis 11/2021, supervision Erika Ábrahám, Stefan Schupp)
23. Marvin Thelen, “Quantification of uncertainties and determination of sensitivities for biogeochemical ocean simulations” (Master thesis 04/2021, supervision: Pascal Richter, Erika Ábrahám)
24. Marvin Vogt, “Analysis of probabilistic hybrid automata in HyPro” (Bachelor thesis 03/2021, supervision: Erika Ábrahám, Stefan Schupp)
25. Alexander Wiegel, “A python-based tool using parameter synthesis to find safe and unsafe regions of the parameter space” (Bachelor thesis 09/2021, supervision Erika Ábrahám)
26. Lukas Wilke, “Probabilistic hyperproperties with rewards” (Bachelor thesis 08/2021, supervision Erika Ábrahám)

2020

1. Fabian Alieff, “Simplex heuristics in SMT solving” (Bachelor thesis 11/2020, supervision Erika Ábrahám, Jasper Nalbach)
2. Leander Behr, “Extending flowpipe construction for compositional hybrid automata” (Bachelor thesis 10/2020, supervision: Erika Ábrahám, Stefan Schupp)
3. Serjoscha Bender, “Resource optimized scheduling of scientific solutions on CPU and GPU computing platforms” (Master thesis 12/2020, supervision: Pascal Richter, Erika Ábrahám)
4. Daniel Cloerkes, “Reachability analysis of compositional hybrid systems” (Master thesis 01/2020, supervision: Erika Ábrahám, Stefan Schupp)
5. Hanna Franzen, “Conflict driven cylindrical algebraic coverings for nonlinear arithmetic in SMT solving” (Master thesis 02/2020, supervision: Erika Ábrahám, Gereon Kremer)
6. Jesse Germann, “Optimal climate control in buildings using linear programming” (Bachelor thesis 12/2020, supervision: Pascal Richter, Erika Ábrahám)
7. Zeheng Gong, “Optimal control of volume flow in parabolic trough solar thermal power plants” (Bachelor thesis 12/2020, supervision: Pascal Richter, Erika Ábrahám)
8. Daniel Heinen, “Purging spurious samples in the cylindrical algebraic decomposition” (Bachelor thesis 11/2020, supervision Erika Ábrahám, Jasper Nalbach)
9. Hang Khuat, “Efficient implementation of HyperPCTL model checking” (Master thesis 07/2020, supervision: Erika Ábrahám)
10. Christian Kiricenko, “Improving the usability and visualization for hybrid systems safety analysis” (Bachelor thesis 03/2020, supervision Erika Ábrahám, Stefan Schupp)
11. Simon Klemp, “Classification and prediction of thermodynamic value ranges based on geometrical building data” (Bachelor thesis 12/2020, supervision: Ahmed Abida, Erika Ábrahám)
12. Philip Kroll, “Efficient data structures for cylindrical algebraic coverings” (Bachelor thesis 10/2020, supervision: Erika Ábrahám, Jasper Nalbach)
13. Yin-yin Lo, “Multi-step layout optimiation of wind turbines in offshore wind farms” (Bachelor thesis 09/2020, supervision: Pascal Richter, Erika Ábrahám)
14. Frederick Lockemann, “Optimal control strategy for a virtual renewable power plant” (Bachelor thesis 12/2020, supervision: Pascal Richter, Erika Ábrahám)
15. Jasper Nalbach, “A novel adaption of the simplex algorithm for linear real arithmetic” (Master thesis 03/2020, supervision: Erika Ábrahám, Gereon Kremer)
16. Sergej Neuberger, “Safety verification and parameter synthesis for non-linear hybrid systems using Flow*” (Bachelor thesis 03/2020, supervision Erika Ábrahám, Stefan Schupp)
17. Philippe Specht, “A level-wise variant of single cell construction in cylindrical algebraic decomposition” (Bachelor thesis 09/2020, supervision Erika Ábrahám, Jasper Nalbach)
18. Nils Speetzen, “Heuristic aiming strategy for solar tower power plants ” (Bachelor thesis 08/2020, supervision: Pascal Richter, Erika Ábrahám)
19. Niels von Stein, “Nowcasting of cloud shadows using neural networks” (Master thesis 03/2020, supervision: Pascal Richter, Erika Ábrahám)
20. Phillip Tse, “Template polyhedra in hybrid systems reachability analysis” (Master thesis 04/2020, supervision Erika Ábrahám, Stefan Schupp)
21. Laurids Vollmann, “Evolutionary optimization of wind farm and heliostat layout” (Master thesis 06/2020, supervision: Pascal Richter, Erika Ábrahám)
22. Hans Vrapi, “Freight train scheduling in bidirectional railway systems” (Bachelor thesis 09/2020, supervision Erika Ábrahám, Rebecca Haehn)

2019

1. Stella Coumbassa, “Optimal storage strategy for hybrid concentrated solar power – photovoltaic plants” (Master thesis 07/2019, supervision: Pascal Richter, Erika Ábrahám)
2. Julian Düstersiek, “Probabilistic optimization of offshore wind farms” (Bachelor thesis 03/2019, supervision: Pascal Richter, Erika Ábrahám)
3. Marta Grobelna, “Integration of hybrid systems verification methods in Matlab” (Master thesis 09/2019, supervision Erika Ábrahám, Stefan Schupp)
4. Florian Hövelmann, “Advanced raytracer for solar tower power plants” (Bachelor thesis 10/2019, supervision: Pascal Richter, Erika Ábrahám)
5. Niklas Kotowski, “Application of formal methods in autonomous vehicle control” (Bachelor thesis 07/2019, supervision: Erika Ábrahám, Stefan Schupp)
6. Denis Kuksaus, “SMT-basierte Lösung reell-algebraischer Probleme mittels Linearisierung” (Bachelor thesis 09/2019, supervision: Erika Ábrahám, Gereon Kremer)
7. Marwa Maghnie, “Simulation and optimization of offshore wind farms” (Master thesis 02/2019, supervision: Pascal Richter, Erika Ábrahám)
8. Leon Rabanus, “Probabilistic modeling of robot fleets in production logistics scenarios” (Bachelor thesis 01/2019, supervision: Erika Ábrahám, Francesco Leofante)
9. Aklima Zaman, “Incremental linearization for SAT modulo real arithmetic solving” (Master thesis 04/2019, supervision: Erika Ábrahám, Gereon Kremer)
10. Karim Josef Abou Zeid, “Letterplace Gröbner bases, their implementation and applications” (Bachelor thesis 03/2019, supervision: Erika Ábrahám, Viktor Levandovskyy)
11. Kristina Yaneva,  “Optimal climate control in buildings using artificial intelligence” (Bachelor thesis 09/2019, supervision: Pascal Richter, Erika Ábrahám)
12. Süleyman Yetim, “Ermittlung von k-kürzesten Wegen im Schienenverkehr zwischen Aachen und Köln” (Bachelor thesis 01/2019, supervision: Erika Ábrahám, Rebecca Haehn

2018

1. Lorena Calvo Bartolomé, “Using Fourier-Motzkin variable elimination for MCSAT explanations in SMT-RAT” (Bachelor thesis 09/2018, supervision: Erika Ábrahám, Gereon Kremer)
2. Igor Bongartz, “Explaining unsolvable planning tasks with unsatisfiable cores” (Master Thesis 12/2018, supervision: Erika Ábrahám, Francesco Leofante)
3. Linus Franke, “Modelling and optimization of large scale solar tower power plants” (Master thesis 12/2018, supervision: Pascal Richter, Erika Ábrahám)
4. Jan Hafer, “Using eigenvalue decomposition in hybrid systems reachability analysis” (Bachelor thesis 01/2018, supervision: Erika Ábrahám, Stefan Schupp)
5. Rebecca Haehn, “Using equational constraints in an incremental CAD projection” (Master thesis 03/2018, supervision: Erika Ábrahám, Gereon Kremer)
6. Sabrina Kielmann, “Comparing the expressivity and usabiliy of hybrid systems’ modeling languages” (Master thesis 03/2018, supervision: Erika Ábrahám, Stefan Schupp)
7. Henri Lotze, “Automated optimization in production planning” (Master thesis 09/2018, supervision: Erika Ábrahám, Gereon Kremer)
8. Christopher Lösbrock, “Implementing an incremental solver for difference logic” (Bachelor thesis 08/2018, supervision: Erika Ábrahám, Gereon Kremer, Matthias Volk)
9. Tom Neuhäuser, “Quantifier elimination by cylindrical algebraic decomposition” (Bachelor thesis 09/2018, supervision: Erika Ábrahám, Gereon Kremer)
10. Malte Neuß, “Using single CAD cells as explanations in MCSAT-style SMT solving” (Master thesis 09/2018, supervision: Gereon Kremer)
11. Ömer Sali, “Linearization techniques for nonlinear arithmetic problems in SMT” (Master thesis 08/2018, supervision: Erika Ábrahám, Gereon Kremer)
12. Lyudmila Vatskicheva, “Using simulation for counterexample validation in hybrid systems reachability analysis” (Bachelor thesis 03/2018, supervision: Erika Ábrahám, Stefan Schupp)
13. Georg Wicke, “Optimization of aiming strategies for heliostats in solar-thermal power plants” (Bachelor thesis 01/2018, supervision: Erika Ábrahám, Pascal Richter)
14. Justin Winkens, “Context-dependent reachability analysis for hybrid automata” (Master thesis 08/2018, supervision: Erika Ábrahám, Stefan Schupp)

2017

1. Roni Cakar, “Uncertainty quantification of wind farm models” (Bachelor thesis 09/2017, supervision: Erika Ábrahám, Pascal Richter)
2. Marta Grobelna, “Solving pseudo-Boolean constraints” (Bachelor thesis 07/2017, supervision: Erika Ábrahám, Gereon Kremer)
3. Wanja Hentze, “Computing minimal infeasible subsets for the cylindrical algebraic decomposition” (Bachelor thesis 03/2017, supervision: Erika Ábrahám, Gereon Kremer)
4. Leonard Korp, “SMT-based planning for autonomous robot fleets”. (Bachelor thesis 08/2017, supervision: Erika Ábrahám, Francesco Leofante, Gereon Kremer)
5. Jasper Nalbach, “Embedding the virtual substitution in the MCSAT framework” (Bachelor thesis 08/2017, supervision: Erika Ábrahám)
6. Lukas Netz, “Analysis on discretization of gene parameters in evolutionary algorithms” (Master thesis 12/2017, supervision: Erika Ábrahám, Pascal Richter)

2016

1. Igor Nicolai Bongartz, “Over-approximative reduction of polytopes in the context of hybrid systems reachability analysis” (Bachelor thesis 02/2016, supervision: Erika Ábrahám, Stefan Schupp)
2. Phillip Florian, “Optimizing reachabiliy analysis for non-autonomous systems using ellipsoids” (Master thesis 09/2016, supervision: Erika Ábrahám, Stefan Schupp)
3. Simon Froitzheim, “Efficient conversion of geometric state set representations for hybrid systems” (Bachelor thesis 05/2016, supervision: Erika Ábrahám, Stefan Schupp)
4. Levin Gerdes, “Generation of probabilistic models for solar thermal power plants” (Master thesis 03/2016, supervision: Erika Ábrahám, Martin Frank)
5. Rebecca Haehn, “Learning control strategies for hybrid vehicles using neural networks” (Bachelor thesis 09/2016, supervision: Erika Ábrahám, Johanna Nellen)
6. Dustin Hütter, “Adaptive dynamic reachability analysis for linear hybrid automata” (Master thesis 09/2016, supervision: Erika Ábrahám, Stefan Schupp)
7. Johannes Neuhaus, “Development of a modular approach for hybrid systems reachability analysis” (Bachelor thesis 09/2016, supervision: Erika Ábrahám, Stefan Schupp)
8. Tarik Viehmann, “Comparing different projection operators in the cylindrical algebraic decomposition for SMT solving” (Bachelor thesis 09/2016, supervision: Erika Ábrahám, Gereon Kremer)
9. Patricia Wessel, “Grid-based control strategy for hybrid vehicles” (Bachelor thesis 09/2016, supervision: Erika Ábrahám, Johanna Nellen)
10. Tobias Winkler, “Using Thom encodings for real algebraic numbers in the cylindrical algebraic decomposition” (Bachelor thesis 09/2016, supervision: Erika Ábrahám, Gereon Kremer)

2015

1. Andreas Krüger, “Bitvectors in SMT-RAT and their application to integer arithmetics” (Master thesis 10/2015, supervision: Erika Ábrahám, Gereon Kremer)
2. Lukas Netz, “Using Horner schemes to improve the efficiency and precision of interval constraint propagation” (Bachelor thesis 09/2015, additional advisor: Florian Corzilius, Stefan Schupp)
3. Lukas Neuberger, “Generation of infeasible subsets in less-lazy SMT-solving for the theory of uninterpreted functions” (Bachelor thesis 09/2015, supervision: Erika Ábrahám, Gereon Kremer)
4. Matthias Volk, “Using SAT solvers for industrial combinatorial problems” (Master thesis 11/2015, supervision: Erika Ábrahám, Florian Corzilius)

2014

1. Kai Driessen, “Modular verification for PLC controlled hybrid systems” (Master thesis 09/2014, supervision: Erika Ábrahám, Johanna Nellen)
2. Maik Glatki, “A zonotope library for hybrid systems reachability analysis” (Bachelor thesis 01/2014, supervision: Erika Ábrahám, Jürgen Giesl)
3. Dustin Hütter, “SMT solving for linear integer arithmetic” (Bachelor thesis 08/2014, supervision: Florian Corzilius, Erika Ábrahám, Jürgen Giesl)
4. Christopher Kugler, “A polytope library for the reachability analysis of hybrid systems” (Master thesis 09/2014, supervision: Stefan Schupp, Erika Ábrahám)

2013

1. Matthias Ewert, “Modellierung des Radialverdichters eines PKW-Abgasturboladers” (Master thesis 12/2013, supervision: Erika Ábrahám, Richard Aymanns, Dominik Lückmann)
2. Kim Maren Haps, “Datatypes and tools for the analysis of hybrid systems” (Bachelor thesis 06/2013, supervision: Johanna Nellen, Erika Ábrahám, Jürgen Giesl)
3. Georg Jenneßen, “Optimierung eines Heliostatsfeldes unter Einsatz eines genetischen Algorithmus” (Diploma thesis 03/2013, supervision:Pascal Richter, Erika Ábrahám, Martin Frank)
4. Sebastian Junges, “On Gröbner bases in SMT-compliant decision procedures” (Bachelor thesis 02/2013, supervision:Erika Ábrahám, Ulrich Loup).
5. Gereon Kremer, “Isolating real roots using adaptable-precision interval arithmetic” (Master thesis 09/2013, supervision: Ulrich Loup, Erika Ábrahám)
6. Amith Belur Nagabushana, “Minimal critical subsystems for PCTL” (Master thesis 05/2013, supervision: Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen)
7. Henrik Schmitz, “Parallel user-defined strategies for QFNRA” (Diploma thesis 04/2013, supervision: Erika Ábrahám, Florian Corzilius)
8. Stefan Schupp,  “Interval constraint propagation in SMT-compliant decision procedures” (Master thesis 03/2013, supervision: Erika Ábrahám, Florian Corzilius, Ulrich Loup)
9. Marian Van de Veire, “Minimal critical subsystems for probabilistic models with nondeterminism” (Diploma thesis 2013, supervision: Erika Ábrahám, Nils Jansen, Joost-Pieter Katoen)
10. Andreas Vorpahl, “Compositional counterexamples for MDPs” (Master thesis 2013, supervision: Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen)

2012

1. Kai Driessen, “Counterexample-guided abstraction refinement for hybrid SFC verification” (Bachelor thesis 09/2012, supervision: Erika Ábrahám, Johanna Nellen)
2. Alin Ionascu, “Modeling and controler synthesis of hybrid propulsion systems using artificial intelligence” (Master thesis 11/2012, supervision: Erika Ábrahám, Johanna Nellen, Ulrich Loup)
3. Canan Kasaci, “Model-based resource monitoring and optimization” (Master thesis 01/2012, supervision: Erika Ábrahám, Stefan Kowalewski, ASML)
4. Thomas Osterland, “Memory- and time-related action qualifiers in HSFCs” (Bachelor thesis 12/2012, supervision: Erika Ábrahám, Johanna Nellen)
5. Joachim Redies, “An extension of the GiNaCRA library for the cylindrical algebraic decomposition” (Bachelor thesis 01/2012, supervision: Erika Ábrahám, Ulrich Loup, Peter Rossmanith)
6. Maik Scheffler, “Hierarchical counterexamples for DTMCs – Case studies” (Diploma thesis 2012, supervision: Erika Ábrahám, Nils Jansen)
7. Dennis Scully, “Preprocessing for solving non-linear real-arithmetic formulas” (Bachelor thesis 09/2012, supervision: Erika Ábrahám, Florian Corzilius)
8. Matthias Volk, “Verification and synthesis for parametric Markov chains” (Bachelor thesis 09/2012, supervision: Erika Ábrahám, Nils Jansen, Florian Corzilius)

2010

1. Florian Corzilius, “Virtual substitution in SMT solving” (Diploma thesis 12/2010, supervision: Erika Ábrahám, Ulrich Loup)

2009

1. Pascal Richter, “Simulation und Auslegungsoptimierung solarthermischer Kraftwerke unter Einsatz evolutionärer Algorithmen und neuronaler Netze” (Diploma thesis 12/2009, supervision: Erika Ábrahám, Volker Wittwer)