Zur Webseite der Informatik

Abteilung Programmiersprachen und Übersetzerbau

Studentische Arbeiten


Abgeschlossene Arbeiten

2017:

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