Topic areas

We offer topics in the following areas:

Hybrid systems verification

• Reachability analysis for hybrid systems
• Modelling and analysis of stochastic hybrid systems

SMT solving

• Decision procedures for arithmetic theories (both linear and non-linear)
• Heuristics for and adaptions of the cylindrical algebraic decomposition for non-linear arithmetic
• Novel methods for linear arithmetic
• Incomplete methods for non-linear arithmetic and their combination with complete methods
• Implementation in our SMT solver SMT-RAT

Probabilistic systems

• Verification of probabilistic hyperproperties

Computational renewable energy

In progress

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

1. Markus Ehring, “3D solar irradiance profiling of buildings using LiDAR and LOD data” (Bachelor thesis, supervision Erika Ábrahám)
2. Sören Genn, “Analysis and evaluation of GPU raytracers” (Bachelor thesis, supervision Erika Ábrahám)
3. Ilka Jorißen, “Simulation of central receiver systems considering obstacles” (Bachelor thesis, supervision Erika Ábrahám, Pascal Richter)
4. Muhammad Hassan Maqsood, “Detection of roof shapes and obstacles using stereosatellite imagery” (Master thesis, supervision Erika Ábrahám, Pascal Richter)
5. Erdzan Rastoder, “Optimizing solar panel installation and assessing rooftop solar energy potential” (Master thesis, supervision Erika Ábrahám, Pascal Richter)
6. Lindemann Sinan David, “Under-approximative reachability analysis of hybrid automata” (Bachelor thesis, supervision Erika Ábrahám, József Kovács)
7. Erik Schwarz, TBD (Bachelor thesis, supervision Erika Ábrahám, Nicolai Radke)

Completed

2025

1. Rebecca Ertl, “Comparison of different projections in quantifier elimination for linear real arithmetic” (Master thesis 03/2025 , supervision Erika Ábrahám, Valentin Promies)
2. Jan Hebisch, “Adapting cylindrical algebraic coverings for non-linear optimization” (Bachelor thesis 02/2025, supervision Erika Ábrahám, Valentin Promies)
3. Alexej Kolbin, “Traversal heuristics for cylindrical algebraic coverings” (Bachelor thesis 02/2025, supervision Erika Ábrahám, Jasper Nalbach)
4. Marvin Krebber, “Area-wide determination of potential wind turbine locations” (Master thesis 04/2025, supervision Erika Ábrahám, Pascal Richter)
5. Franz Leonard Link, “Verification of FNN with piecewise linear activation functions using CEGAR” (Bachelor thesis 03/2025, supervision Erika Ábrahám, László Antal)

2024

1. Arne Alexander Leon, “WindProof: A Validation Framework for Wind Farm Simulations” (Bachelor thesis 11/2024 , supervision Erika Ábrahám, Nicolai Radke) [slides]
2. Georgios Arapatsakos, “Comparing HyperPCTL, HyperPCTL*, and PHL“ (Bachelor thesis 08/2024, supervision Erika Ábrahám, Lina Gerlach) [slides]
3. Patrick De Smet, “A Novel Approach to Scale Shadow Flicker Simulations for Wind Farms Using Approximations” (Bachelor thesis 09/2024, supervision Erika Ábrahám, Nicolai Radke)
4. Maria Kazantzi, “Reachability analysis with urgent jumps” (Master thesis 09/2024, supervision Erika Ábrahám, József Kovács)
5. Jan Mattis Lipka, “A heuristical local search approach for solving satisfiability of polynomial formulas” (Bachelor thesis 05/2024, supervision Erika Ábrahám, Valentin Promies)
6. Matei-Cristian Nedelcu, “Wind turbine shadow cast simulation using raycasting” (Bachelor thesis, supervision Erika Ábrahám, Pascal Richter)
7. Carsten Perkampus, “Speed up single cell construction via combinatorial optimization” (Bachelor thesis 04/2024, supervision Erika Ábrahám, Jasper Nalbach)
8. Haiyan Saadi, “Label-synchronized reachability analysis” (Bachelor thesis 07/2024, supervision Erika Ábrahám, József Kovács)
9. Peter Schlosshan, “Efficient and scalable sound propagation modeling for predicting wind turbine noise immission” (Bachelor thesis 11/2024, supervision Erika Ábrahám, Pascal Richter)
10. David Elias Walter Schütte, “Modeling and simulation of tilt-and-roll heliostats in central receiver systems” (Bachelor thesis 05/2024, supervision Erika Ábrahám)
11. Vahe Vkhkryan, “A novel reduction method for star sets and its application in neural network verification” (Bachelor thesis 03/2024, supervision Erika Ábrahám, László Antal) [slides]

2023

1. Kristian Cović, “Heuristical variable ordering in the cylindrical algebraic decomposition” (Bachelor thesis 01/2023, supervision Erika Ábrahám)
2. Nick Romain Jos Feiereisen, “Energetic evaluation of buildings” (Bachelor thesis 01/2023, supervision Erika Ábrahám)
3. Valentino Geuenich, “Occlusion for augmented reality windfarms in great distance” (Bachelor thesis 01/2023, supervision Erika Ábrahám)
4. Katharina Sofie Güths, “Conceptional design of an application for guidance in the energy-based refurbishment of residential buildings” (Master thesis 11/2023, supervision Erika Ábrahám, Pascal Richter)
5. Kai Hilgers, “A novel quantifier elimination algorithm for a pseudo-linear A*E fragment of real algebra” (Master thesis 11/2023, supervision Erika Ábrahám, Valentin Promies)
6. Ruoran Gabriela Jiang, “Verifying AI-controlled hybrid systems” (Master thesis 03/2023, supervision Erika Ábrahám, László Antal) [slides]
7. Laura-Sophie Kirchner, “Pre- and inprocessing in SMT solving for real algebra” (Master thesis 09/2023, supervision Erika Ábrahám, Valentin Promies)
8. Marvin Alexander Krebber, “Modelling the heat demand of buildings” (Bachelor thesis 01/2023, supervision Erika Ábrahám)
9. Philip Kroll, “Implementation of cylindrical algebraic coverings for quantifier elimination” (Master thesis 12/2023, supervision Erika Ábrahám, Jasper Nalbach)
10. Md Al Mamun, “Simulation, planning and visualization of photovoltaic system on residential houses” (Master thesis 04/2023, supervision Erika Ábrahám)
11. Hana Masara, “Star set based reachability analysis of neural networks with differing layers and activation functions” (Bachelor thesis 06/2023, supervision Erika Ábrahám, László Antal) [slides]
12. Sandesh Balasaheb Memane, “Calibration method for virtual load sensors of a wind turbine gearbox in serial production” (Master thesis, supervision Erika Ábrahám)
13. Felix Nickels, “Building a framework for digital diagnostic interviews” (Master thesis 09/2023, supervision Erika Ábrahám)
14. Tim Luca Reimers, “Utilizing heuristics and data structures to optimize incremental FMPlex” (Bachelor thesis 03/2023, supervision Erika Ábrahám, Valentin Promies)
15. Benedikt Wilhelm Ricken, “Relaxed energetic simulation of the energy demands in buildings“(Bachelor thesis 10/2023, supervision Erika Ábrahám, Pascal Richter)
16. Vladimir Rzaev, “Solving the occlusion problem on mobile phones via server-based application of neural networks” (Bachelor thesis 08/2023, supervision Erika Ábrahám, Henning Petzka)
17. Rishabh Saxena, “Data scientific approach to solve occlusion in AR” (Master thesis 09/2023, supervision Erika Ábrahám, Henning Petzka)
18. Rui Miguel Oliviera Sobrinho, “Building an e-learning web app with automated exercise generation” (Bachelor thesis 11/2023, supervision Erika Ábrahám, József Kovács)
19. Philippe Specht, “Improving incremental linearization for satisfiability modulo non-linear real arithmetic checking” (Master thesis 04/2023, supervision Erika Ábrahám, Jasper Nalbach)
20. Hao Tran, “Implementation of sparse polynomial zonotopes in HyPro” (Bachelor thesis 11/2023, supervision Erika Ábrahám, József Kovács)
21. Paul Tristan Wagner, “Piecewise linear under-approximation of cell boundaries in MCSAT” (Bachelor thesis 07/2023, supervision Erika Ábrahám, Jasper Nalbach)
22. Lisa Kristin Wanko, “Parallel computations for the analysis of delays in railway networks” (Bachelor thesis 03/2023, supervision Erika Ábrahám, Rebecca Haehn)

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. Florian Hövelmann, “Heuristic layout optimization of central receiver systems” (Master thesis 12/2022, supervision Erika Ábrahám)
10. Maria Kazantzi, “Automated exercise generation for three selected  satisfiability checking procedures” (Bachelor thesis 03/2022, supervision Erika Ábrahám)
11. Marcel Kröker, “Planning and site suitability of wind farms” (Master thesis 12/2022, supervision Erika Ábrahám)
12. Giang Lai, “Subtropical satisfiability for polynomial constraint sets” (Bachelor thesis 03/2022, supervision: Erika Ábrahám)
13. Valentin Promies, “Underapproximating cell bounds in MCSAT using low-degree polynomials” (Master thesis 08/2022, supervision Erika Ábrahám, Jasper Nalbach)
14. Jiani Qu, “Augmented reality for the visualisation of wind farms” (Master thesis 12/2022, supervision Erika Ábrahám)
15. Nicolai Radke, “Parameter synthesis for algebraic problems with a Boolean structure” (Master thesis 03/2022, supervision Erika Ábrahám) [slides]
16. Nadja Scherer, “A compositional modeling language for stochastic hybrid systems” (Bachelor thesis 03/2022, supervision Erika Ábrahám, Sasan Vakili)
17. Jonas Spang, “On the mechanisms of simplex heuristics” (Bachelor thesis 08/2022, supervision Erika Ábrahám, Jasper Nalbach)
18. Leon Valentin Spitzer, “Planning with sets: exploring different encodings” (Bachelor thesis 09/2022, supervision Erika Ábrahám)
19. 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)
20. Valerie Tan, “Analyzing delay propagation in railway networks” (Master thesis 03/2022, supervision Erika Ábrahám, Rebecca Haehn)
21. 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 09/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)