Courses

Summer 2021

• Self-Adaptive and Learning Systems, Graduate Lecture, FHDW Hannover.
• Integrationsprojekt, Graudate Course, FHDW Hannover

Winter 2020/21

• Integrationsprojekt, Graudate Course, FHDW Hannover
• Geschäftsprozessmodellierung, Undergraduate lecture, FHDW Hannover.
• Grundlagen der Modellierung, Undergraduate lecture, Leibniz Universität Hannover.

Winter 2019/20

• Grundlagen der Modellierung, Undergraduate lecture, Leibniz Universität Hannover.

Winter 2018/19

• Formal Methods in Software Engineering, Graduate lecture, Leibniz Universität Hannover.

Summer 2018

• Softwarequalität, Elective undergraduate lecture, Leibniz Universität Hannover.

Summer 2017

• 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.
• Proseminar, Entwurf, Programmierung und Simulation komplexer Softwaresysteme.

Winter 2016/17

• Formal Methods in Software Engineering, Graduate lecture, Leibniz Universität Hannover.

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,” PhD Thesis, 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

• N. Glade, “Anwendung von szenariobasierter Modellierung in der Spieleentwicklung,” Master’s Thesis Master Thesis, 2017.
  [BibTeX] [Download PDF]

  @MastersThesis{Glade2017,
  Title = {{A}nwendung von szenariobasierter {M}odellierung in der {S}pieleentwicklung},
  Author = {Nils Glade},
  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/Glade2017.pdf},
  Keywords = {PDF},
  Supervisor = {Joel Greenyer}
  }

• F. W. H. König, “Szenariobasierte Programmierung und verteilte Ausführung in Java,” Master’s Thesis Master Thesis, 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 Master Thesis, 2016.
  [BibTeX] [Download PDF]

  @MASTERSTHESIS{Elster2016,
  author = {Pascal Elster},
  title = {{V}erbesserung der {C}ontroller {S}ynthese f{\"u}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 Master Thesis, 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{\"a}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 Master Thesis, 2016.
  [BibTeX] [Download PDF]

  @MastersThesis{Wagner2016,
  Title = {{A}utomatische {T}ests von speicherprogrammierbaren {S}teuerungen durch die {A}usf{\"u}hrung modifizierbarer {A}ufnahmen des {M}aschinenverhaltens},
  Author = {Eugen Wagner},
  School = {Leibniz Universit{\"a}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 Master Thesis, 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{\"o}llmer},
  School = {Leibniz Universit{\"a}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 Master Thesis, 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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Werner2015,
  Title = {Synthese energieeffizienter Steuerungen f{\"u}r moderne Produktionsanlagen aus szenariobasierten Spezifikationen},
  Author = {Florian Werner},
  School = {Leibniz Universit{\"a}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. Eiteljörge, “Konzept und Implementierung einer aufgabenfokussierten Testumgebung für eine Crowdsourcing Plattform,” Master’s Thesis Master Thesis, 2014.
  [BibTeX] [Download PDF]

  @MastersThesis{Eiteljoerge2014,
  Title = {{K}onzept und {I}mplementierung einer aufgabenfokussierten {T}estumgebung f{\"u}r eine {C}rowdsourcing {P}lattform},
  Author = {Florian Eitelj{\"o}rge},
  School = {Leibniz Universit{\"a}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 Master Thesis, 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{\"a}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

2017

• D. Vatlin, “Generierung von Testsuites für Geschäftsprozesse auf Basis von Combinatorial Test Design,” Master Thesis, 2017.
  [BibTeX] [Download PDF]

  @MastersThesis{Vatlin2017,
  Title = {{G}enerierung von {T}estsuites f{\"u}r {G}esch{\"a}ftsprozesse auf {B}asis von {C}ombinatorial {T}est {D}esign},
  Author = {David Vatlin},
  School = {Leibniz Universit{\"a}t Hannover, Software Engineering Group},
  Year = {2017},
  Keywords = {PDF},
  URL = {http://jgreen.de/wp-content/documents/bsc-theses/2017/Vatlin2017.pdf},
  Supervisor = {Joel Greenyer},
  Timestamp = {2017.12.05}
  }

• V. Müller, “Execution of Scenario-Based Specifications with Optimization of Efficiency Goals,” Master Thesis, 2017.
  [BibTeX] [Download PDF]

  @MastersThesis{Mueller2017,
  Title = {Execution of Scenario-Based Specifications with Optimization of Efficiency Goals},
  Author = {Vinzenz M{\"u}ller},
  School = {Leibniz Universit{\"a}t Hannover, Software Engineering Group},
  Year = {2017},
  Keywords = {PDF},
  URL = {http://jgreen.de/wp-content/documents/bsc-theses/2017/Mueller2017.pdf},
  Supervisor = {Joel Greenyer},
  Timestamp = {2017.12.05}
  }

• L. Fülbier, “Systematischer Entwurf von szenariobasierten Spezifikationen,” Master Thesis, 2017.
  [BibTeX] [Download PDF]

  @MastersThesis{Fuelbier2017,
  Title = {{S}ystematischer {E}ntwurf von szenariobasierten {S}pezifikationen},
  Author = {Luca F{\"u}lbier},
  School = {Leibniz Universit{\"a}t Hannover, Software Engineering Group},
  Year = {2017},
  Keywords = {PDF},
  URL = {http://jgreen.de/wp-content/documents/bsc-theses/2017/Fuelbier2017.pdf},
  Supervisor = {Joel Greenyer},
  Timestamp = {2017.12.05}
  }

2015

• M. Haase, “Erprobung einer formalen Methode zur Anforderungsanalyse in der Automobil-softwareentwicklung am Beispiel einer Schnittstelle für Hochvolt-Nebenaggregate,” Bachelor’s Thesis Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Haase2015,
  Title = {Erprobung einer formalen Methode zur Anforderungsanalyse in der Automobil-softwareentwicklung am Beispiel einer Schnittstelle f{\"u}r Hochvolt-Nebenaggregate},
  Author = {Maximilian Haase},
  School = {Leibniz Universit{\"a}t Hannover, Software Engineering Group},
  Year = {2015},
  Type = {Bachelor's Thesis},
  Note = {in cooperation with IAV Automotive Engineering GmbH},
  HowPublished = {Leibniz Universit{\"a}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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Hartmann2015,
  Title = {Scenarios meet Lego Mindstorms - Von szenariobasierten Verhaltensspezifikationen zu ausf{\"u}hrbarer Software f{\"u}r Robotersysteme},
  Author = {Victor Hartmann},
  School = {Leibniz Universit{\"a}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{\"a}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 Master Thesis, 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{\"a}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{\"a}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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Schnurre2015,
  Title = {{E}in {F}ramework f{\"u}r die {D}efinition von {3D}-{E}ditoren f{\"u}r {V}isualisierungen modellbasierter {S}imulationen},
  Author = {Joey-Timon Schnurre},
  School = {Leibniz Universit{\"a}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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Brunotte2015,
  Title = {{O}n-the-fly {S}ynthese f{\"u}r szenariobasierte {S}pezifikationen von {P}roduktlinien},
  Author = {Wasja Brunotte},
  School = {Leibniz Universit{\"a}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 Master Thesis, 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{\"a}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{\"a}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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Prenner2015,
  Title = {Ein Werkzeug zur Erfassung von Gesch{\"a}ftsprozessen durch szenariobasierte Interviews},
  Author = {Nils Prenner},
  School = {Leibniz Universit{\"a}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{\"a}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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Luehmann2015,
  Title = {Erweiterte Simulationsumgebung f{\"u}r ein verbessertes Verst{\"a}ndnis von Widerspr{\"u}chen in szenariobarierten Spezifikationen},
  Author = {Rebecca L{\"u}hmann},
  School = {Leibniz Universit{\"a}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{\"a}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 Master Thesis, 2015.
  [BibTeX] [Download PDF]

  @MastersThesis{Freund2015,
  Title = {Simulationsumgebung f{\"u}r die Analyse von probabilistischen szenariobasierten Spezifikationen zuverl{\"a}ssiger ubiquit{\"a}rer Systeme},
  Author = {Dennis Freund},
  School = {Leibniz Universit{\"a}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{\"a}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,” Master Thesis, 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{\"a}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}
  }

• T. Gutjahr, “ScenarioTools Counter-Play-Out Simulation zur Analyse von unrealisierbaren szenariobasierten Spezifikationen,” Master Thesis, 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{\"a}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 Master Thesis, 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{\"a}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 Master Thesis, 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{\"a}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{\"a}rtner and Sebastian Meyer},
  Timestamp = {2016.10.25}
  }

• R. Voges, “Erkennung von Bewegungsmustern in Trajektorien zur Auswahl mobiler Dienste,” Bachelor’s Thesis Master Thesis, 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{\"a}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{\"a}rtner}
  }

• F. Schmidt, “Integration von Techniken zur Spezifikation und Simulation reaktiver Systeme mit struktureller Dynamik,” Bachelor’s Thesis Master Thesis, 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{\"a}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 Master Thesis, 2014.
  [BibTeX] [Download PDF]

  @MastersThesis{Hilbich2014,
  Title = {{N}utzung nat{\"u}rlichsprachiger {I}nformationen aus dem {Q}uelltext zur {I}dentifikation von {S}icherheitsl{\"u}cken},
  Author = {Marius Hilbich},
  School = {Leibniz Universit{\"a}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{\"a}rtner}
  }

• N. Glade, “Generierung von Code zur Ausführung und Zustandsraumexploration von multimodalen szenariobasierten Spezifikationen,” Bachelor’s Thesis Master Thesis, 2014.
  [BibTeX] [Download PDF]

  @MastersThesis{Glade2014,
  Title = {{G}enerierung von {C}ode zur {A}usf{\"u}hrung und {Z}ustandsraumexploration von multimodalen szenariobasierten {S}pezifikationen},
  Author = {Nils Glade},
  School = {Leibniz Universit{\"a}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 Master Thesis, 2014.
  [BibTeX] [Download PDF]

  @MastersThesis{Elster2014,
  Title = {{E}rstellung und {V}erfeinerung benutzerdefinierter {P}r{\"u}fregeln f{\"u}r statische {C}odeanalyse},
  Author = {Pascal Elster},
  School = {Leibniz Universit{\"a}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{\"a}rtner}
  }