If you are interested in writing your BSc or MSc thesis in the MOVES group, please contact Prof. Dr. Joost-Pieter Katoen, Prof. Dr. Thomas Noll, or the person indicated with the topics below.
You may also send a general request to thesis at i2.informatik.rwth-aachen.de.
Open Topics
Open since | Type | Topic | Supervisor |
---|---|---|---|
2020 October | MSc | Probabilistic Inference on Dynamic Bayesian Networks | Bahare Salmani |
2020 February | BSc/MSc | Metrics and Equivalences on formal Power Series for Probabilistic Program Analysis | Lutz Klinkenberg |
2020 February | BSc/MSc | Closed-form Operations on Probability Generating Functions | Lutz Klinkenberg |
Award Winning Theses
Student | Topic | Award | Supervisor |
---|---|---|---|
Marvin Jansen | Decidability and Complexity of Entailment Checking in Quantitative Separation Logic | Preis der Fachgruppe Informatik der RWTH für eine herausragende Masterarbeit (2021) | Kevin Batz |
Christina Gehnen | Automata-based Model Checking of Recursive Systems | Preis der Fachgruppe Informatik der RWTH für eine herausragende Bachelorarbeit (2021) | Tobias Winkler |
Jan Svejda | Interpretation-Based Violation Witness Validator. Master’s Thesis. | DSA Industrial Award (2020) | Jana Berger |
Florian Keßler | On the Decidability of Entailment Checking in Quantitative Separation Logics. Bachelor’s Thesis. | Preis der Fachgruppe Informatik der RWTH Aachen für die beste Bachelorarbeit (2020) | Thomas Noll |
Lea Hiendl | Human-readable Scheduler Representation for Markov Decision Processes | Berthold Vöcking Master Award (2018) | Tim Quatmann |
Clara Scherbaum | Probability Generating Function Semantics for Probabilistic Programs. Bachelor’s Thesis. | itestra innovation Award (2016) | Benjamin Kaminski |
Sebastian Junges | Simplifying Dynamic Fault Trees by Graph Rewriting. Master’s Thesis. | Preis des Fakultätentags Informatik für die beste Masterarbeit (2015) Preis der Fachgruppe Informatik der RWTH Aachen für die beste Masterarbeit (2015) | Joost-Pieter Katoen |
Sergey Sazonov | Property Preservation under Bisimulations on Markov Automata. Master’s Thesis. | Preis der Fachgruppe Informatik der RWTH Aachen für die beste Masterarbeit (2014) | Joost-Pieter Katoen |
Jens Katelaan | Type Theory, Certified Programming and Compiler Verification. Bachelor’s Thesis. | Schönebornpreis (2013) | Thomas Noll |
Falak Sher | Compositional Abstraction for Probabilistic Automata. Master’s Thesis. | Microsoft Innovation Award (2010) | Joost-Pieter Katoen |
Current Projects (internal)
Past Projects
2022 | |
---|---|
[bibtex] [issue] | Darion Haase. A unified slicing framework for probabilistic programs, Master Thesis, RWTH Aachen University, 2022. |
[bibtex] [issue] | Lisa Pühl. Verification of neural networks using binary tree search for branching, Bachelor Thesis, RWTH Aachen University, 2022. |
![]() ![]() |
Mohamed Khalifa. Termination analysis of procedural pointer programs modelled by graph grammars, Master Thesis, RWTH Aachen University, 1 Online-Ressource : Diagramme, RWTH Aachen University, 2022. |
[bibtex] [issue] | Jan Jeremy Tugsbayar. Verification of leader election protocols for dynamic networks, Bachelor Thesis, RWTH Aachen University, 2022. |
[bibtex] [issue] | Dominic Sebastian Meiser. Design and evaluation of a probabilistic pointer programming language using Monte-Carlo simulation, Bachelor Thesis, RWTH Aachen University, 2022. |
2021 | |
![]() ![]() |
Dario Veltri. Learning probabilistic automata with SMT solving, Bachelor Thesis, RWTH Aachen University, 71 Seiten, 2021. |
[bibtex] [issue] | Mengying Xue. Efficient analysis of time-bounded reachability in markov automata, Master Thesis, RWTH Aachen University, 2021. |
[bibtex] [issue] | Domenic Quirl. IDE-Ready parsing of compile-time dynamic languages, Master Thesis, RWTH Aachen University, 2021. |
[bibtex] [issue] | Patrick Arens. Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs, Bachelor Thesis, RWTH Aachen University, 2021. |
[bibtex] [issue] | Marvin Jansen. Decidability and complexity of entailment checking in quantitative separation logic, Master Thesis, RWTH Aachen University, 2021. |
[bibtex] [issue] | Fabian Gasser. Analysis of concurrent probabilistic programs with shared variables, Bachelor Thesis, RWTH Aachen University, 27 Seiten, 2021. |
Show all |
Show all |
---|