Teaching

  • Lecturer:
    2017: Methodische Grundlagen des Software-Engineering (methodical foundations of software-engineering)
  • Guest Lecturer:
    2013–2017: Webtechnologien II (web technologies)
  • 2018–: Methodische Grundlagen des Software-Engineering (methodical foundations of software-engineering)
  • B.Sc./M.Sc./Diploma thesis co-supervisor:
  • 2022: Stefan Pauka, Erstellung und Evaluierung eines TypeScript basierten Code Generators für Eingabemasken in Webanwendungen zur Anbindung einer GraphQL-Service-Schnittstelle (Creation and Evaluation of a TypeScript-Based Code Generator for Input Forms in Web Applications to Connect to a GraphQL Service Interface)
  • 2021: Aleksandra Vnukova, Konzeption und Entwicklung einer DSL zur Generierung von Frontend-Ansichten (Design and development of a DSL for generating frontend views)
  • 2019: Andreas Plewnia, Realisation and Evaluation of a Visually Stabilizing Selenium Web Recorder for Automated User Acceptance Tests
  • 2018: Julius Alexander Bainzcyk, Industrial Evaluation of Active Automata Learning for Test Automation
  • 2017: Einbinden von lokalen und externen Services in DIME-Frontends am Beispiel des Online Conference Service (Integration of Local and External Service into DIME-Frontends Illustrated by Means of the Online Conference Service)
  • 2016: Patrick Brandt, Unterstützung alternativer Datenbanksysteme sowie horizontale Skalierung in der DyWA (Support of Alternative Database Management Systems as well as Horizontal Scalability in the DyWA)
  • 2016: Fabian Schulte, Konzeption und Umsetzung einer Weboberfläche zur Verfolgung und Wiederherstellung von Änderungen in der DyWA (Concept and Implementation of the Web Interface for Auditing and Restoring of Changes in the DyWA)
  • 2016: Carsten Schulte, Konzeption und Umsetzung der Geschäftslogik zur Verfolgung und Wiederherstellung von Änderungen in der DyWA (Concept and Implementation of the Business Logic for Auditing and Restoring of Changes in the DyWA)
  • 2016: Jan Winkels, Unterstützung von Serious Games mit Echtzeitsimulation in der DyWA (Support of Serious Games with Real-Time Simulation in the DyWA)
  • 2015: Nabil Abdel-Hafeez, Analyse und Umsetzung von Anforderungen an Integrated Modeling Environments am Beispiel des jABCs (Analysis and Realization of Requirements to Integrated Modeling Environments based on jABC)
  • 2015: Tolgay Usul, WebABC: Umsetzung einer Webversion des Modellierungstools jABC (WebABC: Implementation of a Web Version of the Modeling Tool jABC)
  • 2015: Dennis Kühn, Domain-Specific Tailoring of jABC4
  • 2015: Alexander Schieweck, A Service-Oriented Interface for Testing Web Applications via Automata Learning
  • 2015: Alexander Bainczyk, Simplicity-Oriented Web-Based Control of Active Automata Learning
  • 2013: Markus Frohme, Agile Domänenmodellierung für prozessgesteuerte Webanwendungen (Agile Domain Modeling for Process-Driven Web Applications)
  • 2012: Simon Dierl, Dynasec: Dynamische und hierarchische Zugriffskontrolle in Enterpriseumgebungen (Dynamic Hierarchical Access Control in Enterprise Environments)
  • 2012: Janina Marks, Vergleich der Präsentations- und Geschäftslogikschicht prozessgetriebener Webanwendungen auf Basis regulärer Extrapolation (Comparison of Presentation- and Business Logic Layer of Process-Driven Web Applications via Regular Extrapolation)
  • 2011: Oliver Bauer, Beherrschung emergenten Verhaltens auf Basis regulärer Extrapolation am Beispiel einer prozessgesteuerten Anwendung (Mastering Emergent Behavior via Regular Extrapolation Using the Example of a Process-Driven Application)
  • 2009: Steve Simon, Agiles Prozeß Management: Konzeptuelle Entwicklung und praktische Evaluation auf Basis des jABC Frameworks (Agile Process Management: Conceptual Development and Practical Evaluation Basing on the jABC Framework)
  • Tutorial Instructor:
    2009: Datenstrukturen Algorithmen und Programmierung I (Data Structures, Algorithms, and Programming)
  • Advisor of project groups:
  • Bridging the Gap (BtG): 2016, Generieren von lauffähigen Steuerungsprogrammen aus verfahrenstechnischen Beschreibungen (Generation of Executable Control Programs from Process Engineering Descriptions)
  • KrisenPlan: 2015–2016, Planspiele für Krisenmanagement in Rechenzentren (Business Games for Crisis Management in Datacenter)
  • ProBio: 2014–2015, Prozessorientierte Verarbeitung von Biomedizinischen Daten (Process-Oriented Processing of Biomedical Data)
  • HeISs: 2013–2014, Hierarchische Inferenz evolvierender Spielstrategien (Hierarchical Inference of Evolving Game Strategies)