Zur Webseite der Informatik

Programming Languages and Compiler Group

Student Theses

Quite often we have topics for bachelor or master theses that are not yet offered officially. If you are interested in topics related to program analyses, program understanding, real-time systems, reverse engineering or reengineering, please contact us.

Please have a look at postings on the Programming Languages department notice board or ask Timm Felden for additional topics!

Laufende Arbeiten


Complete

2017:

Sprachunabhängiges Testen sprachunabhängiger Serialisierung (Projekt INF)
[Aufgabenstellung]

Rathgeber, Moritz: SKilL-Graphvisualisierung und -manipulation, DA
[Aufgabenstellung]

Bachner, Artur: Reengineering einer Zeigeranalyse, DA

Sheshadri, Vinay: MatLab/Simulink Model Generation from a Database, MA

Nesich, Christian: Empirische Bewertung verschiedener Ansätze der Datenflussanalyse, DA

2016:

Przytarski, Dennis: SKilLed Bauhaus, MA
[Aufgabenstellung]

Harth, Rafael: Anbindung von SKilL an Haskell, BA
[Aufgabenstellung]

Schnaible, Sven: Modelle und Paradigmen für Geschäfstlogik, MA
[Aufgabenstellung]

Das, Rupak: Development of Model based Differ and Merge Features in AMALTHEA Tool Platform, MA

Weißer, Constantin: Serialisierung fremder Typen mit SKIlL, MA
[Aufgabenstellung]

Harrer, Matthias: Prototypenentwicklung mit Bauhaus und SKIlL, MA
[Aufgabenstellung]

Bauer, Andreas: Bauhaus Analysis Driver, BA
[Aufgabenstellung]

Bachner, Artur: Partielle Normalisierung des Programmkontrollflusses, SA
[Aufgabenstellung]

Gaiser, Simon: Automatisierter Vergleich von Codeklonerkennungsergebnissen, BA 262
[Aufgabenstellung] [Ausarbeitung]

Zschiesche, Jannik: Erkennung semantischer Klone mittels Locality-Sensitive-Hashing charakteristischer Vektoren, DA
[Aufgabenstellung]

2015

Kaistra, Martin: SKilL vs. XML: Performanz von Serialisierungskonzepten, SA
[Aufgabenstellung]

Völker, Christopher: Zustandsverwaltung mit SKilL, BA
[Aufgabenstellung]

Kayarat, Rekha: Advanced Multi-core Simulation of Real-Time Embedded Systems, MA
[Aufgabenstellung]

Roth, Jonathan: Reduktion des Speicherverbrauchs generierter SKilL-Zustände, MA 19
[Aufgabenstellung][Ausarbeitung]

2014

Freiberg, Timo: Untersuchung der Erweiterung von Java 8 um Lambda, BA
[Aufgabenstellung]

Mayer, Fritjof Alexander: Verzögerte Serialisierung mit SKilL und Haskell, DA
[Aufgabenstellung]

Harth, Fabian: Plattform- und sprachunabhängige Serialisierung mit SKilL, DA 3665
[Aufgabenstellung][Ausarbeitung]

Das, Sanjib: Analysis and Simulation of Scheduling Techniques for Real-Time Embedded Multi-core Architectures, MA 3578
[Aufgabenstellung] [Ausarbeitung]

Ungur, Wladislaw: Nutzbarkeitsevaluation einer sprach- und plattformunabhängigen Serialisierungssprache, DA 3603
[Aufgabenstellung] [Ausarbeitung]

Rumberger, Reinhold: Revision eines interaktives Planungssystems für Ausbildungskurse, DA 353[Aufgabenstellung]

Nazmul Alam: Language Independent Modelling of Parallelism, MA 3554
[Aufgabenstellung] [Ausarbeitung]

Md. Golam Hafiz Khan: Simulation of Multi-core Scheduling in Real-Time Embedded Systems, MA 3556
[Aufgabenstellung] [Ausarbeitung]

Przytarski, Dennis: Performance-Evaluation einer sprach- und plattformunabhängigen Serialisierungssprache, BA 106
[Aufgabenstellung] [Ausarbeitung]

Ziegler, Julian: Berechnung und Darstellung der Verwendungshäufigkeiten von programmiersprachlichen Konzepten, BA 88
[Aufgabenstellung] [Ausarbeitung]

2013

Zschiesche, Jannik: Paradigmenübergreifende Quelltexttransformation von Haskell nach Ruby, SA 2420
[Ausarbeitung]

Almheidat, Ahmad N.: Analysis of Cache Usability on Modern Real-Time Systems, MA 3409

Munk, Peter: Visualization of Scheduling in Real-Time Embedded Systems, MA 3372
[Ausarbeitung]

Glück, Hendrik: Kombinierung von Programmiermodellen in Bauhaus IML, DA 3357
[Ausarbeitung]

2012

Fellger, Wolfgang: Eine SCR-Spracherweiterung für Enterprise Architect - "An SCR-Extension for Enterprise Architect", DA 3345
[Ausarbeitung]

2011

Bühler, Stefan: Entwicklung und Implementierung eines nebenläufigen Constraint-Solver für die Points-To-Analyse . SA 2330
[Ausarbeitung]

2010

Hofmann, Daniel: Entwurf und Implementierung der Klonerkennung mittels Suffix-Arrays. DA 3066
[Aufgabenstellung][Ausarbeitung]

Kilic, Ozan: Identifikation und Extraktion relevanter Kenngrößen aus IML-Graphen. DA 3003
[Aufgabenstellung][Ausarbeitung]

Franke, Stefan: Statische Erkennung von Synchronisationsfehlern bei zusammengesetzten Daten in nebenläufigen Programmen. DA 2947
[Aufgabenstellung]

2009

Billau, Felix: Erzeugung der Bauhaus-Zwischendarstellung für große Programme. DA 2918

Cui, Hua: Ein LaTeX-Übersetzer : (a LaTeX compiler). DA 2754

Debatin, Michael: Program Slicing zur Beurteilung der Auswirkungen von Data Races. SA 2213
[Aufgabenstellung]

2008

Gunreben, Dominik: Statische Erkennung von Deadlocks in Thread-Trace-Graphen. DA 2815
[Aufgabenstellung]

Müller, Uli: Visualisierung von Race conditions in nebenläufigen Programmen. DA 2786
[Aufgabenstellung]

Hongliang, Yao: Eine adaptive Steuerung für statische Programmanalysen. DA 2756

Leske, Thomas: Kombinierte statische Analysen. DA 2737
[Aufgabenstellun]

Tran, Minh Cuong: Statische Analyse von Programmen mit Bibliotheken. DA 2707
[Aufgabenstellung]

Schmitz, Bernhard: Konzeption und Implementierung einer Wert-Propagierung für IML. DA 2695
[Aufgabenstellung]

Teuber, Arthur: Verbesserung statischer Analysen in praxisrelevanten Faellen. DA 2656

2007

Knupfer, Christoph Walter: Konzeption und Implementierung einer Escape-Analyse für IML. DA 2637
[Aufgabenstellung]

Jung, Benjamin: Analyse der Struktur von Software-Protokollen. DA 2591
[Aufgabenstellung]

Heit, Jürgen: Impact of methods and mechanisms for improving software dependability on non-functional requirements. DA 2548

Reuß,Andreas: Algorithmen zur Berechnung von Kontrollabhängigkeiten. SA 2122
[Aufgabenstellung]

Wohlbold, Kolja: Generierung der Zwischendarstellung RFG aus Modula-2. SA 2112
[Aufgabenstellung]

Stach, Christoph: Schwierigkeiten für statische Programmanalysen in der Praxis. SA 2108

Stürmer, Christian: NgTeX Dokumentenerstellung als Übersetzungsvorgang mit modernen Konzepten. SA 2102

Berger, Sören: Analyse von Buildprozessen. SA 2098

2006

Schwienbacher, Martin: Konzeption und Implementierung eines Verfahrens zur Prüfung von Coderichtlinien mittels Mustererkennung. DA 2468
[Aufgabenstellung]

Weisshaar, Benedict: Evaluierung von Programmanalysewerkzeugen für die sichere Integration von Fremdsoftware in Kfz-Steuergeräte. DA 2440

Pingel, Steffen: Generierung der Zwischendarstellung IML aus Java Classfiles.  DA 2417
[Aufgabenstellung]

Becker, Alexander: Implementierung einer auf Binary Decision Diagrams basierenden Zeigeranalyse für C. DA 2390
[Aufgabenstellung]

Frohn, Simon: Konzeption und Implementierung einer Zeigeranalyse für C und C++. DA 2374

Cetin, Tülay: Statische Analyse von GUI-Programmen. SA 2059
[Aufgabenstellung]

2005

Albert, Bernd : Lock-basierte statische Erkennung von Race Conditions in parallelen Programmen. DA 2326
[Aufgabenstellung]

Kern, Achim: Layoutalgorithmen für hierarchische Graphen. DA 2324
[Aufgabenstellung]

Keul, Steffen: Generierung der Zwischendarstellung IML für Ada95 Programme. DA 2323
[Aufgabenstellung]

Schwab, Magnus: Ein Planungssystem für örtlich verteilte Ausbildungskurse. DA 2307
[Aufgabenstellung]

Streicher, Traugott: Anbindung eines C++-Analysators an Bauhaus/RFG. DA 2273

Müller, Markus: Kontrollflussanalyse objektorientierter Programme. DA 2212
 [Aufgabenstellung]

Christl, Andreas: Semi-Automated Mapping for the Reflexion Method. DA 2160

Müller, Martin: Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML. SA 1968
[Aufgabenstellung]

2004

Bagci, Sinan: Quellcode-Navigation in Gravis. DA 2202
[Aufgabenstellung]

Neinert, Sascha: Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS. DA 2200
[Aufgabenstellung]

Illes, Timea-Monika: Visualisierung von Metriken mit GraVis. DA 2189

Schwarzkopf, Markus: Konzeption und Implementierung eines Werkzeugs zur Erhebung von Produktmetriken.

Stürmer, Michael: Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph. DA 2182

Liu, Yidong: Semiautomatische Entfernung des duplizierten Codes. DA 2176
[Aufgabenstellung]

Wielandt, Thomas: Integration der Merkmallokalisierung. DA 2145
[Aufgabenstellung]

Haak, Dietrich: Werkzeuggestützte Herleitung von Protokollen. DA 2135
[Aufgabenstellung]

Lu, Leiqin:  Konzeption und Implementierung eines Quellcode-Navigators. DA 2128

Frohn, Simon: Implementierung einer unifizierenden Zeigeranalyse mit gerichteten Zuweisungen. SA 1941
[Aufgabenstellung]

Müller, Markus: Konzeption und Generierung eines Resource-Flow-Graphs für Cobol. SA 1915
[Aufgabenstellung]

2003

Setzer, Sebastian, Karaca, Tahir: Erweiterung und Generierung der Zwischendarstellung IML für C++ Programme. DA 2048

Festi, Florian: Einbindung einer Skriptsprache für Gravis. SA 1879

2002

Knauss, Markus: Erweiterung und Generierung der Zwischendarstellung IML für Java-Programme . DA 2006

Bellon, Stefan: Vergleich von Techniken zur Erkennung duplizierten Quellcodes. DA 1998
[Aufgabenstellung]

Knodel, Jens: Prozessmodelle für die Rekonstruktion von Software-Architektursichten. DA 1987

Lu, Leiqin: Repräsentation von Makros in IML. SA 1851
[Aufgabenstellung]

Kern, Achim: RFG Generierung mit ASIS. SA 1832

2001

Vogel, Gunther: Extraktion statischer Traces unter Berücksichtigung vonPoints-To-Informationen zur Konnektorerkennung und -beschreibung. DA 1940
[Aufgabenstellung]

Bürklen, Susanne: Möglichkeiten von Reverse-Engineering zur Entwicklung eines Zahlungsverkehrssystems für Klein- und Großbanken. DA 1933
[Aufgabenstellung]

Tandjung, Kristian: Vergleichende Implementierung einer verteilten Anwendung unter Benutzung von CORBA/IIOP, RMI/RPC oder JSP. DA 1924
[Aufgabenstellung]

Hendel, Torsten: Entwicklung einer Flex-Schnittstelle für einen Scanner Generator. DA 1903
 [Aufgabenstellung]

2000

Schiele, Gregor: Beschreibung einer halb-automatisch abgeleiteten Architektur mit UML-Ausdrucksmitteln. DA 1858
[Aufgabenstellung]

Porrmann, Alexander: Komponentenerkennung durch Begriffsanalyse. DA 1855

Mutschler, Michael: Entwicklung einer "Role Playing Definition Language" (RPDL). DA 1848
[Aufgabenstellung]

Heiber, Timo: Semi-automatische Herleitung von Komponentenprotokollen aus statischen Verwendungsmustern. DA 1822

Vogel, Gunther: Statisches interprozedurales Program Slicing. SA 1786

Hanssen, Sven: Extraktion statischer Traces zur Wiedergewinnung von Protokollen. SA 1768

1999

Szasz, Victor: Disambiguierung in der Static-Single-Assignment-Form. DA 1792
CR-Klassif. : F.3.2; D.2.7; D.3.4, BV-Nummer : 20228

Brunner, Jörg: Untersuchung typischer Verwendungsmuster von Variablen zur Erprobung eines Variablenmodells ohne parameter-induzierte Aliaseffekte. SA 1740

Windholz, Rüdiger: Ada im praktischen Einsatz. SA 1661

1998

Kienle, Holger: A SUIF Java Compiler. DA 1617

Flemmer, Viktor: Entwurf und Implementierung eines Scanner-Generators zur Erzeugung direkt-programmierter Scanner. DA 1593

Schäckeler, Stefan: Der Einfluß programmiersprachlicher Regeln und Konzepte auf die Disambiguierung von Variablenzugriffen. SA 1697

Schemainda, Christoph: Implementierung eines Earley-Parsergenerators. SA 1679

Eisenbarth, Thomas: GropiusSE. Eine Resource Flow Graph Bibliothek in Ada95 für das Speichern und Aufbereiten von Reengineeringinformationen. SA 1663

Rohrbach, Jürgen: Erweiterung und Generierung einer Zwischendarstellung für C-Programme.  SA 1662

1997

Behrendt, Clemens: Implementierung eines modifizierten Variablenmodells zur Vermeidung Parameter-induzierter Alias-Effekte auf Basis des GNU Ada 95 Compilers. DA 1555

Brouwer, Klaus: Verfeinerte Strukturierungselemente für objektorientierte Programmiersprachen. DA 1524

Würthner, Martin: Entwurf und Implementierung eines Backends für die objektorientierte Sprache Hoopla. DA 1538

Dehli, Paul: Entwurf und Implementierung einer Grafikprogrammiersprache zur Visualisierung musikalischer Werte. DA 1488

Siebert, Fridtjof: Implementierung eines Eiffel-Compilers für Sun/SPARC. DA 1484

Sente, Tomislav: Einsatz von Standard-HTML-Browsern in einer CORBA-Umgebung - Konzeption und prototypische Realisierung. DA 1476

Jung, Karsten: Type-Checking and Overloading-Resolution for Hoopla. DA 1386

Luttenberger, Mathias: LR(1)-Parsing mit LALR(1)-Parsern. SA 1621

Schlenker, Thomas: Entwicklung eines C-Front-Ends. SA 1599

1996

Merling, Andreas: Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator. DA 1434

Kübler, Andreas Uwe: Entwurf eines graphen-orientierten Typkonzeptes. DA 1350

Krieger, Armin: Visualisierung von dynamischen Datenstrukturen. DA 1343

Benz, Axel: Spezifikation eines Grapheneditors. SA 1584

Brouwer, Klaus: Effiziente Implementierung endlicher Automaten - eine praktische Untersuchung. SA 1577

Martin Würthner: Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada Programmen.  SA 1567

Merling, Andreas: Entwurf und Implementierung einer make-Funktion für den GNU Ada Compiler GNAT. SA 1527

Riedhofer, Bernhard: Eine Untersuchung über Häufigkeit und Kontext von Aliasing in Ada-Programmen. SA 1526

Behrendt, Clemens: Unstrukturierter Kontrollfluß in C? - Eine praktische Untersuchung. SA 1521

1995

Schnabel, Thomas: Generierung von fehlerbehandelnden Parsern für Query-Output Sprachen aus benutzernahen Spezifikationen. DA 1308

Stefan Krauß: Entwurf und Implementierung eines verteilten Laufzeitsystems für einen DHOP-Übersetzer. DA 1264

Weiss, Heike: Entwurf und Implementierung der Codeerzeugung für einen DHOP-übersetzer. DA 1263

Willmann, Uwe: Erweiterungen des Typsystems der verteilten Programmiersprache DHOP. DA 1248

Klarmann, Jürgen: Ein Werkzeug zur Transformation kontextfreier Grammatiken in LALR(1). DA 1246

Cojocaru, Cristina: Implementierung eines LR(k)-Parsergenerators. SA 1491

Kosiol, Markus: Unstrukturierter Kontrollfluß in Ada? - Eine praktische Untersuchung. SA 1488