Teaching

Courses

Winter 2016/17

Summer 2016

  • Model-based Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Softwarequalität, Elective undergraduate lecture, held jointly with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Winter 2015/16

  • Formal Methods in Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Seminar “Moderne Verfahren für die Entwicklung ubiquitärer, cyber-physischer und adaptiver Softwaresysteme”, Graduate seminar, Leibniz Universität Hannover.
  • Softwareprojekt, Compulsory undergraduate project course, joint with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Summer 2015

  • Softwarequalität, Elective undergraduate lecture, Leibniz Universität Hannover.
  • Project “UbiBots — Modellbasiertes Software Engineering für ubiquitäre cyberphysische Systeme”, Graduate-level project course, Leibniz Universität Hannover.

Winter 2014/15

  • Formal Methods in Software Engineering, Graduate lecture, Leibniz Universität Hannover.
  • Softwareprojekt, Compulsory undergraduate project course, joint with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Summer 2014

  • Softwarequalität, Elective undergraduate lecture, Leibniz Universität Hannover.
  • Labor “Agile Software-Entwicklung”, Graduate Lab Course, Leibniz Universität Hannover.

Winter 2013/14

  • Modellierung des dynamischen Verhaltens von Systemen,
    Elective undergraduate lecture, Leibniz Universität Hannover.
  • Proseminar “Software Engineering für ubiquitäre Anwendungen”, Undergraduate seminar, Leibniz Universität Hannover.
  • Softwareprojekt, Compulsory undergraduate project course, joint with Prof. Dr. Kurt Schneider, Leibniz Universität Hannover.

Summer 2013

  • Design and Analysis of Distributed, Interacting Systems, Graduate lecture, Leibniz Universität Hannover.
  • Proseminar “Moderne Technologien für die Entwicklung von verteilten, dynamischen Anwendungen”, Undergraduate seminar, Leibniz Universität Hannover.

Summer 2011

  • Softwaretechnikpraktikum, compulsory undergraduate project course, Universität Paderborn.

Supervised Doctoral Theses

2015

  • C. Brenner, “Szenariobasierte Synthese verteilter mechatronischer Systeme,” , co-supervised with Prof. Wilhelm Schäfer, Universität Paderborn, 2015.
    [BibTeX] [Download PDF]
    @PhDThesis{Brenner2015,
    Title = {{S}zenariobasierte {S}ynthese verteilter mechatronischer {S}ysteme},
    Author = {Christian Brenner},
    School = {Universität Paderborn},
    Year = {2015},
    Note = {co-supervised with Prof. Wilhelm Sch\"{a}fer},
    URL = {http://digital.ub.uni-paderborn.de/hs/content/titleinfo/1892000},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.02.25}
    }

Supervised Master Theses

2017

  • F. W. H. König, “Szenariobasierte Programmierung und verteilte Ausführung in Java,” Master’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2017.
    [BibTeX] [Download PDF]
    @MastersThesis{Koenig2017,
    Title = {{S}zenariobasierte {P}rogrammierung und verteilte {A}usf\"{u}hrung in {J}ava},
    Author = {Florian Wolfgang Hagen K\"{o}nig},
    School = {Leibniz Universit\"{a}t Hannover, Software Engineering Group},
    Year = {2017},
    Type = {Master's Thesis},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2017/Koenig2017.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer}
    }

2016

  • P. Elster, “Verbesserung der Controller Synthese für szenariobasierte Spezifikationen,” Master’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2016.
    [BibTeX] [Download PDF]
    @MASTERSTHESIS{Elster2016,
    author = {Pascal Elster},
    title = {{V}erbesserung der {C}ontroller {S}ynthese für szenariobasierte {S}pezifikationen},
    school = {Leibniz Universit\"{a}t Hannover, Software Engineering Group},
    Type = {Master's Thesis},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2016/Elster2016.pdf},
    year = {2016},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer}
    }

  • T. Gutjahr, “Symbolische Ausführung für die Analyse von szenariobasierten Spezifikationen,” Master’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2016.
    [BibTeX] [Download PDF]
    @MastersThesis{Gutjahr2016,
    Title = {{S}ymbolische {A}usf\"{u}hrung f\"{u}r die {A}nalyse von szenariobasierten {S}pezifikationen},
    Author = {Timo Gutjahr},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2016},
    Type = {Master's Thesis},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2016/Gutjahr2016.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer}
    }

  • E. Wagner, “Automatische Tests von speicherprogrammierbaren Steuerungen durch die Ausführung modifizierbarer Aufnahmen des Maschinenverhaltens,” Master’s Thesis, in cooperation with Continental Machinery, Leibniz Universität Hannover, Software Engineering Group, 2016.
    [BibTeX] [Download PDF]
    @MastersThesis{Wagner2016,
    Title = {{A}utomatische {T}ests von speicherprogrammierbaren {S}teuerungen durch die {A}usführung modifizierbarer {A}ufnahmen des {M}aschinenverhaltens},
    Author = {Eugen Wagner},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2016},
    Type = {Master's Thesis},
    Note = {in cooperation with Continental Machinery},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2016/Wagner2016.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer}
    }

  • S. Föllmer, “Analyse der Umsetzung zwischen User Stories und formalen Szenarien im Requirements Engineering,” Master’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2016.
    [BibTeX] [Download PDF]
    @MastersThesis{Foellmer2016,
    Title = {{A}nalyse der {U}msetzung zwischen {U}ser {S}tories und formalen {S}zenarien im {R}equirements {E}ngineering},
    Author = {Sebastian Föllmer},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2016},
    Type = {Master's Thesis},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2016/Foellmer2016.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer, Olga Boruszewski, Daniel Gritzner}
    }

2015

  • D. Clun, “Un approccio per l’aggiornamento dinamico sicuro di controllori a stati finiti (An approach for the safe dynamic update of finite state controllers),” Master’s Thesis, co-supervised with Prof. Carlo Ghezzi and Dr. Valerio Panzica La Manna, Politecnico di Milano, DEEPSE Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Clun2015,
    Title = {Un approccio per l’aggiornamento dinamico sicuro di controllori a stati finiti (An approach for the safe dynamic update of finite state controllers)},
    Author = {Donato Clun},
    School = {Politecnico di Milano, DEEPSE Group},
    Year = {2015},
    Note = {co-supervised with Prof. Carlo Ghezzi and Dr. Valerio Panzica La Manna},
    Type = {Master's Thesis},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2015/Clun2015.pdf},
    Keywords = {PDF},
    Supervisor = {Carlo Ghezzi, Joel Greenyer}
    }

  • F. Werner, “Synthese energieeffizienter Steuerungen für moderne Produktionsanlagen aus szenariobasierten Spezifikationen,” Master’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Werner2015,
    Title = {Synthese energieeffizienter Steuerungen für moderne Produktionsanlagen aus szenariobasierten Spezifikationen},
    Author = {Florian Werner},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Master's Thesis},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2015/Werner2015.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer}
    }

2014

  • F. Eiteljoerge, “Konzept und Implementierung einer aufgabenfokussierten Testumgebung für eine Crowdsourcing Plattform,” Master’s Thesis, co-supervised with Prof. Dr. Kurt Schneider and Dr. Raphael Pham, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Eiteljoerge2014,
    Title = {{K}onzept und {I}mplementierung einer aufgabenfokussierten {T}estumgebung für eine {C}rowdsourcing {P}lattform},
    Author = {Florian Eiteljoerge},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Master's Thesis},
    Note = {co-supervised with Prof. Dr. Kurt Schneider and Dr. Raphael Pham},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2014/Eiteljoerge2014.pdf},
    Keywords = {PDF},
    Supervisor = {Kurt Schneider, Joel Greenyer, Raphael Pham}
    }

  • B. Riedel, “Konzept und Implementierung eines heuristischen Editors zum Erstellen von Testaufgaben auf einer Crowdsourcing Plattform,” Master’s Thesis, co-supervised with Prof. Dr. Kurt Schneider and Dr. Raphael Pham, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Riedel2014,
    Title = {{K}onzept und {I}mplementierung eines heuristischen {E}ditors zum {E}rstellen von {T}estaufgaben auf einer {C}rowdsourcing {P}lattform},
    Author = {Benjamin Riedel},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Master's Thesis},
    Note = {co-supervised with Prof. Dr. Kurt Schneider and Dr. Raphael Pham},
    URL = {http://jgreen.de/wp-content/documents/msc-theses/2014/Riedel2014.pdf},
    Keywords = {PDF},
    Supervisor = {Kurt Schneider, Joel Greenyer, Raphael Pham}
    }

Supervised Bachelor Theses

2015

  • M. Haase, “Erprobung einer formalen Methode zur Anforderungsanalyse in der Automobil-softwareentwicklung am Beispiel einer Schnittstelle für Hochvolt-Nebenaggregate,” Bachelor’s Thesis, in cooperation with IAV Automotive Engineering GmbH, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Haase2015,
    Title = {Erprobung einer formalen Methode zur Anforderungsanalyse in der Automobil-softwareentwicklung am Beispiel einer Schnittstelle für Hochvolt-Nebenaggregate},
    Author = {Maximilian Haase},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    Note = {in cooperation with IAV Automotive Engineering GmbH},
    HowPublished = {Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Haase2015.pdf},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

  • V. Hartmann, “Scenarios meet Lego Mindstorms – Von szenariobasierten Verhaltensspezifikationen zu ausführbarer Software für Robotersysteme,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Hartmann2015,
    Title = {Scenarios meet Lego Mindstorms - Von szenariobasierten Verhaltensspezifikationen zu ausführbarer Software für Robotersysteme},
    Author = {Victor Hartmann},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Hartmann2015.pdf},
    HowPublished = {Bachelor's Thesis, Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

  • M. H. Pham, “2D-Visualisierung der Simulation vernetzter Systeme in ScenarioTools,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{MHPham2015,
    Title = {{2D}-{V}isualisierung der {S}imulation vernetzter {S}ysteme in ScenarioTools},
    Author = {Minh Hiep Pham},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/MHPham2015.pdf},
    HowPublished = {Bachelor's Thesis, Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

  • J. Schnurre, “Ein Framework für die Definition von 3D-Editoren für Visualisierungen modellbasierter Simulationen,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Schnurre2015,
    Title = {{E}in {F}ramework für die {D}efinition von {3D}-{E}ditoren für {V}isualisierungen modellbasierter {S}imulationen},
    Author = {Joey-Timon Schnurre},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Schnurre2015.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer, Daniel Gritzner},
    Timestamp = {2015.09.28}
    }

  • W. Brunotte, “On-the-fly Synthese für szenariobasierte Spezifikationen von Produktlinien,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Brunotte2015,
    Title = {{O}n-the-fly {S}ynthese für szenariobasierte {S}pezifikationen von {P}roduktlinien},
    Author = {Wasja Brunotte},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Brunotte2015.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.09.28}
    }

  • C. Prasuhn, “Behavioral Programming for Distributed Reactive Systems – Evaluation by an Analogy to Computer Game Design,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Prasuhn2015,
    Title = {Behavioral Programming for Distributed Reactive Systems - Evaluation by an Analogy to Computer Game Design},
    Author = {Caspar Prasuhn},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Prasuhn2015.pdf},
    HowPublished = {Bachelor's Thesis, Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

  • N. Prenner, “Ein Werkzeug zur Erfassung von Geschäftsprozessen durch szenariobasierte Interviews,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Prenner2015,
    Title = {Ein Werkzeug zur Erfassung von Geschäftsprozessen durch szenariobasierte Interviews},
    Author = {Nils Prenner},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Prenner2015.pdf},
    HowPublished = {Bachelor's Thesis, Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

  • R. Lühmann, “Erweiterte Simulationsumgebung für ein verbessertes Verständnis von Widersprüchen in szenariobarierten Spezifikationen,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Luehmann2015,
    Title = {Erweiterte Simulationsumgebung für ein verbessertes Verständnis von Widersprüchen in szenariobarierten Spezifikationen},
    Author = {Rebecca Lühmann},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Luehmann2015.pdf},
    HowPublished = {Bachelor's Thesis, Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

  • D. Freund, “Simulationsumgebung für die Analyse von probabilistischen szenariobasierten Spezifikationen zuverlässiger ubiquitärer Systeme,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2015.
    [BibTeX] [Download PDF]
    @MastersThesis{Freund2015,
    Title = {Simulationsumgebung für die Analyse von probabilistischen szenariobasierten Spezifikationen zuverlässiger ubiquitärer Systeme},
    Author = {Dennis Freund},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2015},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2015/Freund2015.pdf},
    HowPublished = {Bachelor's Thesis, Leibniz Universität Hannover, Software Engineering Group},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.07.09}
    }

2014

  • T. Gutjahr, “ScenarioTools Counter-Play-Out Simulation zur Analyse von unrealisierbaren szenariobasierten Spezifikationen,” , Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Gutjahr2014,
    Title = {{ScenarioTools} {C}ounter-{P}lay-{O}ut {S}imulation zur {A}nalyse von unrealisierbaren szenariobasierten {S}pezifikationen},
    Author = {Timo Gutjahr},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Keywords = {PDF},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Gutjahr2014.pdf},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.02.25}
    }

  • F. König, “MSpec – Eine Technik zur textuellen Modellierung und Simulation multimodaler szenariobasierter Spezifikationen,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Koenig2014,
    Title = {{MSpec} - {E}ine {T}echnik zur textuellen {M}odellierung und {S}imulation multimodaler szenariobasierter {S}pezifikationen},
    Author = {Florian König},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Koenig2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.02.25}
    }

  • P. Liedtke, “Statische Codeanalyse zur Ermittlung des Testbedarfs von langlebiger Software,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Liedtke2014,
    Title = {{S}tatische {C}odeanalyse zur {E}rmittlung des {T}estbedarfs von langlebiger {S}oftware},
    Author = {Patrick Liedtke},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Liedtke2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer, Stefan Gärtner and Sebastian Meyer},
    Timestamp = {2016.10.25}
    }

  • R. Voges, “Erkennung von Bewegungsmustern in Trajektorien zur Auswahl mobiler Dienste,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Voges2014,
    Title = {{E}rkennung von {B}ewegungsmustern in {T}rajektorien zur {A}uswahl mobiler {D}ienste},
    Author = {Raphael Voges},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Voges2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer, Stefan Gärtner}
    }

  • F. Schmidt, “Integration von Techniken zur Spezifikation und Simulation reaktiver Systeme mit struktureller Dynamik,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Schmidt2014,
    Title = {{I}ntegration von {T}echniken zur {S}pezifikation und {S}imulation reaktiver {S}ysteme mit struktureller {D}ynamik},
    Author = {Fabian Schmidt},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Schmidt2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.02.25}
    }

  • M. Hilbich, “Nutzung natürlichsprachiger Informationen aus dem Quelltext zur Identifikation von Sicherheitslücken,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Hilbich2014,
    Title = {{N}utzung natürlichsprachiger {I}nformationen aus dem {Q}uelltext zur {I}dentifikation von {S}icherheitslücken},
    Author = {Marius Hilbich},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Hilbich2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer, Stefan Gärtner}
    }

  • N. Glade, “Generierung von Code zur Ausführung und Zustandsraumexploration von multimodalen szenariobasierten Spezifikationen,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Glade2014,
    Title = {{G}enerierung von {C}ode zur {A}usführung und {Z}ustandsraumexploration von multimodalen szenariobasierten {S}pezifikationen},
    Author = {Nils Glade},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Glade2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer},
    Timestamp = {2015.02.25}
    }

  • P. Elster, “Erstellung und Verfeinerung benutzerdefinierter Prüfregeln für statische Codeanalyse,” Bachelor’s Thesis, Leibniz Universität Hannover, Software Engineering Group, 2014.
    [BibTeX] [Download PDF]
    @MastersThesis{Elster2014,
    Title = {{E}rstellung und {V}erfeinerung benutzerdefinierter {P}rüfregeln für statische {C}odeanalyse},
    Author = {Pascal Elster},
    School = {Leibniz Universität Hannover, Software Engineering Group},
    Year = {2014},
    Type = {Bachelor's Thesis},
    URL = {http://jgreen.de/wp-content/documents/bsc-theses/2014/Elster2014.pdf},
    Keywords = {PDF},
    Supervisor = {Joel Greenyer, Stefan Gärtner}
    }