If you are interested in writing your diplom/master/bachelor thesis in the MOVES group, please contact Prof. Dr. Joost-Pieter Katoen or the person indicated with the topics below.
Open Topics
Open since: | Type | Topic | Talk to |
|---|---|---|---|
July 2009 | D/M/B | ||
June 2009 | D/M | ||
June 2009 | D/M | ||
June 2009 | D/M | ||
May 2009 | D/M |
D: Diplom project. M: Master project. B: Bachelor project.
Current Projects
Who | Type | Topic | Supervisor |
|---|---|---|---|
Frank Fiedler | D | Henrik Bohnenkamp, Ralf Mitsching (i11) | |
Max Odenbrett | D | Translating SLIM to Promela | |
Malte Kampschulte | B | Modellierung und Analyse von Wireless Sensor Networks | |
Mark Bretsch | D | Automatic Code-Generation for a High-Level Virtual Platform from Process Network | Katoen, Leupers, Schürmanns |
Sabrina von Styp-Rekowski | D | Towards a testing theory for timed symbolic systems | |
Christina Jansen | D | Entwicklung eines Inferenzalgorithmus für Hyperkantenersetzungsgrammatiken | |
Dennis Guck | B | Analysis and scheduler synthesis of time-bounded reachability in continuous-time Markov decision processes | |
Galina Besova | M | Modeling in the SLIM Language | |
Stefan Herting | D | An Equivalence and Minimization Algorithm for CTMCs |
D: Diplom project. M: Master project. B: Bachelor project.
Past Projects
2009
| Ralf Grossmann. Heapabstraktion durch partielle Graphreduktion mittels Graphgrammatiken . Diplomarbeit, Faculty of Mathematics, Computer Sciences and Natural Sciences,RWTH Aachen University , 2009. | |
|
| Silvio de Carolis. Modeling and Analysis of Leader-Election Protocols in Ad-Hoc Networks . Bachelor Thesis, RWTH Aachen University, 2009. | |
|
| Chitra Hapsari Ayuningtyas. Probabilistic Message Sequence Charts. Masters Thesis, RWTH Aachen University/University of Trento, 2009. |
2008
|
| Berteun Damman. Representing PCTL Counterexamples. Master Thesis, University of Twente, The Netherlands, 2008. | |
|
| Mian Mohammad Junaid Tariq. An Agent-Based Simulation Environment for Large Scale Infrastructures of Heterogeneous Service-Based Devices. Master Thesis, RWTH Aachen University, 2008. | |
|
| André Kolbe. Untersuchung der Anwendbarkeit des Timed Testing in der Eisenbahn-Signaltechnik. Diplomarbeit, RWTH Aachen University, 2008. |
2007
|
| Lars Helge Haß. Gleichungsbasierte Abstraktionen für Rewrite Theories. Diplomarbeit, RWTH Aachen University, 2007. | |
|
| Alexandru Mereacre. Modeling and Verification of Time-Inhomogeneous Markov Chains. Master Thesis, RWTH Aachen/University of Trento, 2007. | |
|
| Tim Kemna. Bisimulation Minimization in Probabilistic Model Checking. Master Thesis, University of Twente, 2007. | |
|
| Marcel Oldenkamp. Experimental Comparison of Probabilistic Model Checkers. Master Thesis, University of Twente, 2007. |
2006
|
| Daniel Willems. Abstraktion zeitstetiger Markov-Ketten. Diploma Thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen University, 2006. |
2005
|
| Carsten Kern. MSCan - Ein Tool zur Analyse von Message Sequence Charts. Diploma Thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen University, 2005. | |
|
| Stefan Rieger. Analyse und Optimierung linearen Codes. Diploma Thesis, Faculty of Mathematics, Computer Sciences and Natural Sciences, RWTH Aachen University, 2005. | |
|
| Martin R. Neuhäußer. Abstraktion und Model Checking von Core Erlang-Programmen in Maude. Diplomarbeit, RWTH Aachen University, 2005. | |
|
| Jasper Berendsen. Reachability in Weighted Probabilistic Timed Automata. Master Thesis, University of Twente, 2005. |
See also the old pages
