|
MOVES: Software Modeling and Verification
(Informatik 2)
|
Diplomarbeiten (Markus Mohnen)
-
Arnd Houben
Globale Optimierung von Java Applikationen und APIs
Betreuung:
Markus Mohnen
(mohnen@informatik.rwth-aachen.de)
-
Reiner Pesch
Analyse von shift/reduce Konflikten
Diplomarbeit, RWTH Aachen, Mai 2001.
Betreuung:
Markus Mohnen
(mohnen@informatik.rwth-aachen.de)
-
Roman Levenchteine
Ein YACC-kompatibler Parsergenerator ohne Tabellensteuerung
Diplomarbeit, RWTH Aachen, Februar 2001.
Betreuung:
Markus Mohnen
(mohnen@informatik.rwth-aachen.de)
-
Markus Jansen
Optimierung von Java Class Dateien
Diplomarbeit, RWTH Aachen, März 2000.
Betreuung:
Markus Mohnen
(mohnen@informatik.rwth-aachen.de)
-
Christian Tüffers
Automatische Erkennung von Hylomorphismen
Diplomarbeit, RWTH Aachen, Januar 1998.
- Jörg Köller
Entwurf und Implementierung einer Bibliothek für Abstrakte Interpretation
Diplomarbeit, RWTH Aachen, Dezember 1997.
- Martin Hoenings
Automatische Substitution der Listenimplementierung im Glasgow Haskell Compiler
Diplomarbeit, RWTH Aachen, Oktober 1997.
- Andreas Kemmerich
Effizienz der Implementierung Struktureller Rekusion
Diplomarbeit, RWTH Aachen, März 1997.
- Thomas Richert
Programmtransformationen mit PCCTS
Diplomarbeit, RWTH Aachen, Februar 1997.
-
Lars Kunkel
Modulare Parser-Entwicklung
Diplomarbeit, RWTH Aachen, April 1996.
-
Nir Kahn
Dreidimensionale Rekonstruktion und Ermittlung der Geometrie des
Rattenherzens aus optischen Serienschnitten auf einem
Parallelrechnersystems
Diplomarbeit, RWTH Aachen, Januar 1996.
-
Michael Kordt
Entwurf und Implementierung eines graphischen Simulators für
abstrakte Maschinen
Diplomarbeit, RWTH Aachen, September 1995.
|