In the specialization Algorithms and Deduction you can find some previous Master Theses.

• Variable Independence in Linear Real Arithmetic
• Synthesis for parameterized Systems
• Interpreting Register Automata and other Sequential Models