zu vergeben
- Untersuchung der Klasse der endlich widerlegbaren LTL-Formeln
- Model Checking eines Rekonfigurationsprotokolls
- Modellierung und Entwicklung eines Backgammon-Spiels mit Graphtransformationen
- DAs + FoPras: Hyena – Verwalten und Verlinken von heterogenen Daten
- Entwicklung eines Wikis in Java/Spring
- Implementierung eines Soft-Constraint-Solvers
- Erweiterung der Jad 3D-Engine
- Konfigurations- und Metadaten in DANUBIA
- Verschiedene Themen in Kooperation mit Berner & Mattner
- On-the-fly OSGI bundle generation for Service composition
- Eine Shell/Editor für Scripting mit Java 6
- Projektarbeiten im Rahmen der Neukonzeption von die-informatiker.net
