Zum Inhalt
Fakultät für Informatik

DiDo-Vortragsliste

Weiter unten befindet sich die Vortragsliste des DiDo-Seminars, welche fortlaufend aktualisiert wird.

2024

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
11.06.2024 14:15 OH12 2.013 Benedict Christian Smit LS14 / Rehof MA Einführungsvortrag: Congruence Closure in the Presence of Dependent Types
11.06.2024 15:00 OH12 2.013 Nicolas Lenz LS14 / Rehof MA Einführungsvortrag: Strong Normalization of System F in Cubical Type Theory

2023

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
14.11.2023 14:15 OH12 2.013 Dominik Mäckel LS14 / Rehof MA Abschlussvortrag: Konfiguration und Parameteroptimierung eines Evolutionären Algorithmus für die Maschinenbelegungsplanung mittels kombinatorischer Logik
26.09.2023 14:15 Telekonferenz – Daten auf Anfrage Frederic Arnold LS14 / Rehof BA Abschlussvortrag: Analysewerkzeuge für Verifikationszeiten von Projekten in einem Beweisassistenten
19.09.2023 14:15 OH12 2.013 Jennifer Schmidt LS14 / Rehof BA Abschlussvortrag: Ableitungsmechanismen für Faltungen und Entfaltungen von Datentypen mittels generischer Programmierung
15.08.2023 14:15 Telekonferenz – Daten auf Anfrage Omar Silva LS14 / Rehof MA Abschlussvortrag: Extending the Python Type System with Intersection Types
15.06.2023 12:30 OH12 2.013 Lena von der Krone LS14 / Howar BA Abschlussvortrag: Evaluation von Projektmanagementvorgehen für Softwareprojekte mit Entwicklern in Teilzeit
15.06.2023 13:15 OH12 2.013 Jana Dahlmann LS14 / Howar BA Einführungsvortrag: Entwicklung und Evaluation von API's zur Integration von gängigen Projektmanagementplattformen am Beispiel der Building Information Cloud
13.06.2023 14:15 OH12 2.013 Nicolas Lenz LS14 / Rehof Studienarbeit Abschlussvortrag: A First-Order Unification Framework for Scala 3
25.05.2023 12:30 OH12 2.013 Marc Schneider LS14 / Howar MA Einführungsvortrag: Design und Implementierung einer DSL zur vereinfachten Szenarioerstellung in Simulationen
25.05.2023 13:15 OH12 2.013 Mathias Schulte LS14 / Howar BA Einführungsvortrag: Comparative Analysis of Verification Properties in Rust and C: Ensuring Memory, Thread, and Numeric Safety
04.05.2023 12:30 OH12 2.013 Luca Gnoth LS14 / Howar BA Abschlussvortrag: Design und Evaluierung eines algorithmischen Ansatzes zur Entscheidungsunterstützung bei der kriteriengestützten Auswahl von Lagertechniken in der Intralogistikplanung
04.05.2023 13:15 OH12 2.013 Alex Tinis LS14 / Howar MA Einführungsvortrag: Entwicklung eines Prototypen zur automatisierten Verarbeitung von Bautagesberichten mittels OCR
02.05.2023 14:15 OH12 2.013 Jannik Löhn LS14 / Rehof BA Abschlussvortrag: Static Termination Checking for GHC Core
20.04.2023 13:15 OH12 2.013 Maurice Weitner LS14 / Howar BA Abschlussvortrag: Entwicklung einer domänenspezifischen Modellierungsumgebung für NAOqi-Dialoge mit Jetbrains MPS
13.04.2023 12:30 OH12 2.013 Lisa Böse LS14 / Howar BA Abschlussvortrag: Aspektoriertierte Programmierung mit dem polyglotten Instrumentierungswerkzeug GraalVM Insight
04.04.2023 14:14 OH12 2.013 Jennifer Schmidt LS14 / Rehof BA Einführungsvortrag: Ableitungsmechanismen für Faltungen und Entfaltungen von Datentypen mittels generischer Programmierung
30.03.2023 12:30 OH12 2.013 Fynn Metzlaff LS14 / Howar BA Einführungsvortrag: Szenario-basierte Auswertung von formalisierten Verkehrsregeln für Autobahnverkehr mit dem STAS Framework
23.03.2023 13:15 OH12 2.013 Tim Dahlmanns LS14 / Howar MA Abschlussvortrag: Betriebskonzept und Umsetzung in Kubernetes für die Migration eines Monolithen hin zu Microservices im Kontext des Industrie 4.0 Recht-Testbeds
16.03.2023 12:30 OH12 2.013 Nick Pawlinorz LS14 / Howar BA Einführungsvortrag: Extraktion von formal analysierbaren Fahrdaten aus Computerspielen am Beispiel von GTA 5
16.03.2023 13:15 OH12 2.013 Hristo Zhelev LS14 / Howar BA Einführungsvortrag: Development of PipeLYnt, a static analysis tool for syntax-testing YAML CI/CD scripts
09.03.2023 12:30 OH12 2.013 Opeyemi Emmanuel Ayodele LS14 / Howar MA Einführungsvortrag: Formal Verification of a Hydrogen Generation System by Model Checking
09.03.2023 13:15 OH12 2.013 Niklas Rapp LS14 / Howar MA Abschlussvortrag: Tracing von reaktiven Applikationen am Beispiel von Spring Webflux
23.02.2023 12:30 OH12 2.013 Krassy Boykinov LS14 / Howar BA Einführungsvortrag: Applied Orienteering Problem: Optimizing Bike Routing Results Towards Interesting Points of Interest and Pleasant Routes
21.02.2023 14:15 OH12 2.013 Timo Wilkop LS14 / Rehof BA Abschlussvortrag: Automatisierte Exploration und Kategorisierung von industriellen Dienstleistungen im Maschinen- und Anlagenbau
16.02.2023 12:30 OH12 2.013 Florentin Möller LS14 / Howar BA Abschlussvortrag: Generierung eines Master-Detail Web-Views mit CRUD Operationen aus der OpenAPI Spezifikation eines Dataspace Connectors
13.02.2023 11:45 OH12 2.013 Tim Seidelmann LS 14 / Wiederkehr BA Abschlussvortrag: Entwicklung und Implementierung einer Methode zur Ermittlung eines Beschleunigungsmodells für 5-Achs CNC-Bearbeitungszentren
13.02.2023 12:15 OH12 2.013 Sebastian Kons LS 14 / Wiederkehr MA Einführungsvortrag: Verbesserung der Segmentierung von Bildern von Schleif- und Bohrwerkzeugen durch Verwendung mittels probabilistischer Diffusionsmodelle generierter Trainingsdaten
07.02.2023 14:15 OH12 2.013 Frederic Arnold LS14 / Rehof BA Einführungsvortrag: Analysewerkzeuge für Verifikationszeiten von Projekten in einem Beweisassistenten
24.01.2023 14:15 Telekonferenz – Daten auf Anfrage Jan van der Horst LS 14 / Rehof BA Abschlussvortrag: Konzeption und Implementierung eines Webcrawlers zum Auffinden und Kategorisieren von Daten zu industriellen Services im Maschinen- und Anlagenbau
24.01.2023 14:15 Telekonferenz – Daten auf Anfrage Omar Silva LS 14 / Rehof MA Einführungsvortrag: Extending the Python Type System with Intersection Types
19.01.2023 12:30 OH12 2.013 Jan Berens LS14 / Howar BA Abschlussvortrag: Einrichtung einer virtuellen Fahrumgebung zur Simulation von Fahrprüfungen
12.01.2023 12:30 OH12 2.013 Carlo Wagner LS14 / Howar BA Einführungsvortrag: Evaluation des Bilderkennungs-Services "AWS Rekognition" zur Analyse von Grundrissen in der Bauwirtschaft
12.01.2023 13:15 OH12 2.013 Sven Deichsel LS14 / Howar MA Einführungsvortrag: Iterative Generierung von kompositionalen Single Page Applikationen unter Berücksichtigung des Routings für das React Framework

2022

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
23.08.2022 14:15 Telekonferenz – Daten auf Anfrage Timo Wilkop LS 14 / Rehof BA Einführungsvortrag: Automatisierte Exploration und Kategorisierung von industriellen Dienstleistungen im Maschinen- und Anlagenbau
09.08.2022 14:15 Telekonferenz - Daten auf Anfrage Yusuf Dogruel LS14 / Rehof BA Abschlussvortrag: Entwurf und Entwicklung einer anwendungsorientierten Anbindung der Tello Drohne an das Robot Operating System
09.08.2022 14:15 Telekonferenz - Daten auf Anfrage Fatih Demirci LS14 / Rehof BA Abschlussvortrag: Entwicklung und ROS-Integration eines SLAM-fähigen Hexapoden
04.08.2022 12:30 Telekonferenz – Daten auf Anfrage Marc Schneider LS14 / Howar MA Einführungsvortrag: Automatisierte Parametrisierung von szenariobasierten Testfällen zur Verifikation und Validierung von autonomen Fahrfunktionen in Simulationen
26.07.2022 14:15 Telekonferenz – Daten auf Anfrage Jan van der Horst LS14 / Rehof BA Einführungsvortrag: Konzeption und Implementierung eines Webcrawlers zum Auffinden und Kategorisieren von Daten zu industriellen Services im Maschinen- und Anlagenbau
12.07.2022 14:15 Telefonkonferenz - Daten auf Anfrage Mariam Tayyem LS14 / Rehof MA Abschlussvortrag: Distributive Programming with Quantitative Types in Idris 2
30.06.2022 12:30 Telekonferenz – Daten auf Anfrage Florentin Möller LS14 / Howar BA Einführungsvortrag: Generierung eines Master-Detail Web-Views mit CRUD Operationen aus der OpenAPI Spezifikation eines Dataspace Connectors
09.06.2022 12:30 Telekonferenz – Daten auf Anfrage Muhannad Darraj LS14 / Howar BA Abschlussvortrag: Entwurf und Evaluierung einer Strategie für die Erhöhung der Zuverlässigkeit von Microservice-Architekturen mittels der ADD Methodik
09.06.2022 13:15 Telekonferenz – Daten auf Anfrage Marvin Lazar LS14 / Howar BA Abschlussvortrag: Analyse unstrukturierter Daten am Beispiel von Planungs- und Betriebsunterlagen im Bauingenieurswesen (mittels AWS)
02.06.2022 12:30 Telekonferenz – Daten auf Anfrage Louis Radtke LS14 / Howar BA Einführungsvortrag: Ein methodischer Ansatz zur Lokalisierung mobiler Roboter mittels multipler Sensoren
02.06.2022 13:15 Telekonferenz – Daten auf Anfrage David Mehren LS14 / Howar BA Abschlussvortrag: OCI-based Vulnerability Containers with Metadata for Automated Evaluation of Security Analysis Tools
19.05.2022 12:30 Telekonferenz – Daten auf Anfrage Jan Berens LS14 / Howar BA Einführungsvortrag: Aufbau eines Fahrsimulators
19.05.2022 13:15 Telekonferenz – Daten auf Anfrage Luka Weinberg LS14 / Howar BA Abschlussvortrag: Entwurf und Entwicklung einer auf die Anforderungen des Software-Praktikums zugeschnittenen kollaborativen UML-Modellierungsumgebung
12.05.2022 12:30 Telekonferenz – Daten auf Anfrage Esther Hollinderbäumer LS14 / Howar BA Abschlussvortrag: Entwicklung eines Reifegradmodells für das Data Engineering
05.05.2022 12:30 Telekonferenz – Daten auf Anfrage Timon Klann LS14 / Howar BA Abschlussvortrag: Konzeption und Entwicklung einer Software-Komponente zur graphischen und kollaborativen Erstellung von Datenqualitätsregeln
21.04.2022 12:30 Telekonferenz – Daten auf Anfrage Florian Zimmer LS14 / Howar MA Abschlussvortrag: Konzeption und Umsetzung eines Vertragsverhandlungsagenten für Transport- und Produktionsverträge im Kontext des Industrie 4.0 Recht-Testbeds
31.03.2022 12:30 Telekonferenz – Daten auf Anfrage Fabian Klümpers LS14 / Howar BA Abschlussvortrag: Entwicklung einer internen domänenspezifischen Sprache zur Komposition von SMT-Solvern
31.03.2022 13:15 Telekonferenz – Daten auf Anfrage Jan Kemming LS14 / Howar MA Einführungsvortrag: Ein Truffle-Instrument zur dynamischen symbolischen Analyse von LLVM IR Bitcode in der GraalVM
10.02.2022 12:30 Telekonferenz – Daten auf Anfrage Bruno Steffen LS14 / Howar BA Abschlussvortrag: DSL-driven Integration of HTTP Services in DIME
25.01.2022 14:15 Telefonkonferenz - Daten auf Anfrage Maximilian Hörstrup LS14 / Rehof BA Abschlussvortrag: Entwurf und Entwicklung einer domänenspezifischen Sprache zur Beschreibung von Produktionsaufträgen in Cyber-Physischen Produktionssystemen
25.01.2022 14:15 Telekonferenz - Daten auf Anfrage Yusuf Dogruel LS14 / Rehof BA Einführungsvortrag: Entwurf und Entwicklung einer anwendungsorientierten Anbindung der Tello Drohne an das Robot Operating System
25.01.2022 14:15 Telekonferenz - Daten auf Anfrage Fatih Demirci LS14 / Rehof BA Einführungsvortrag: Entwicklung und ROS-Integration eines SLAM-fähigen Hexapoden
25.01.2022 14:15 Telekonferenz - Daten auf Anfrage Laurette Tchommo LS14 / Rehof BA Abschlussvortrag: Verifikation und Vergleich von verschiedenen Sortieralgorithmen mit Hilfe von Why3
20.01.2022 13:15 Telekonferenz – Daten auf Anfrage Anton Iokin LS14 / Howar BA Einführungsvortrag: Analyse der Cloud-nativen Modernisierung der Enterprise Java Webapplikationen mit dem Migrations-Toolkit
13.01.2022 12:30 Telekonferenz – Daten auf Anfrage Esther Hollinderbäumer LS14 / Howar BA Einführungsvortrag: Entwicklung eines Reifegradmodells für das Data Engineering
13.01.2022 13:15 Telekonferenz – Daten auf Anfrage Justin Schneider LS14 / Howar BA Einführungsvortrag: Automatische Generierung von Regeln zur Überprüfung von BIM-Modellen in Solibri
11.01.2022 14:15 Telekonferenz - Daten auf Anfrage Niklas Rapp LS14 / Rehof MA Einführungsvortrag: Typinferenz mit Algorithmus W nach Hindley-Milner
06.01.2022 11:30 Telekonferenz – Daten auf Anfrage Natalia Ogorelysheva LS14 / Howar MA Abschlussvortrag: Modellierung und Analyse von Verfahren zu Routenplanung für die Bodenkartierung mittels homonymer mobiler Roboter
06.01.2022 12:15 Telekonferenz – Daten auf Anfrage David Mehren LS14 / Howar BA Einführungsvortrag: OCI-Based Vulnerability Containers with Metadata for Automated Evaluation of Security Analysis Tools

2021

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
09.12.2021 12:30 Telekonferenz – Daten auf Anfrage Malte Eisen LS14 / Howar BA Abschlussvortrag: Design und Evaluierung einer Webanwendung zur Visualisierung von SMT Solver Performance
02.12.2021 12:30 Telekonferenz – Daten auf Anfrage Uzair Bin Amjad LS14 / Howar MA Abschlussvortrag: Machine Learning Based Behavior Model of Different Driver Types at Inner-City Intersections using Trajectory Data
30.11.2021 14:15 Telekonferenz - Daten auf Anfrage Daniel Naczinski LS14 / Rehof MA Abschlussvortrag: Automatische Generierung von produktlinienorientierten Strategieunterstützungswerkzeugen für das Supply Chain Management
25.11.2021 12:30 Telekonferenz – Daten auf Anfrage Huyen Nguyen LS14 / Howar BA Abschlussvortrag: Konzeption und Entwicklung eines Tool zur automatisierten Bereinigung von CSV-Dateien
25.11.2021 13:15 Telekonferenz – Daten auf Anfrage Marvin Lazar LS14 / Howar BA Einführungsvortrag: Analyse unstrukturierter Daten am Beispiel von Planungs- und Betriebsunterlagen im Bauingenieurswesen mittels AWS
18.11.2021 12:30 Telekonferenz – Daten auf Anfrage Jannik Stadtler LS14 / Howar BA Abschlussvortrag: Bahnplanung eines Schwarms mobiler Roboter unter Minimierung von Kollisionen bei Steuerungsaufall
18.11.2021 13:15 Telekonferenz – Daten auf Anfrage Marcel Schu LS14 / Howar BA Abschlussvortrag: Implementierung eines Prototyps zur Verifizierung von digitalen Bauanträgen in der Blockchain
16.11.2021 14:15 Telekonferenz - Daten auf Anfrage Jonas Denis LS14 / Rehof MA Abschlussvortrag: Automatisiertes Updatemanagement von Abhängigkeiten in großen Softwareprojekten
11.11.2021 09:00 Telekonferenz – Daten auf Anfrage Yannick von Kienle LS14 / Howar MA Abschlussvortrag: Design einer Data Processing DSL entlang eines UseCases in der Geochemie
11.11.2021 09:45 Telekonferenz – Daten auf Anfrage Dennis Misera LS14 / Howar MA Abschlussvortrag: Probleme und Handlungsempfehlungen für Multi-Cloud-Herausforderungen im Bereich Datenmanagement
04.11.2021 12:30 Telekonferenz – Daten auf Anfrage Marcel Bienia LS14 / Howar BA Einführungsvortrag: Entwicklung eines Algorithmus zur Bewertung von Messdaten im Hochbelastungslauf hinsichtlich Fahrstilanforderungen
04.11.2021 13:15 Telekonferenz – Daten auf Anfrage Timon Klann LS14 / Howar BA Einführungsvortrag: Konzeption und Entwicklung einer Software-Komponente zur graphischen und kollaborativen Erstellung von Datenqualitätsregeln
02.11.2021 14:15 Telekonferenz - Daten auf Anfrage Daniel Kuhse LS14 / Rehof MA Abschlussvortrag: Certified code generation from inductive specifications
02.11.2021 14:15 Telekonferenz - Daten auf Anfrage Olivier Tsape Dongmo LS14 / Rehof BA Abschlussvortrag: Entwicklung der funktionalen Programmiersprache Curly
28.10.2021 12:30 Telekonferenz – Daten auf Anfrage Florian Zimmer LS14 / Howar MA Einführungsvortrag: Konzeption und Umsetzung eines Vertragsverhandlungsagenten für Transport- und Produktionsverträge im Kontext des Industrie 4.0 Recht-Testbeds
21.10.2021 12:30 Telekonferenz – Daten auf Anfrage Sarah Graf LS14 / Howar MA Abschlussvortrag: Namens- und Annotationen-gestützte Code-Generierung zur Vereinfachung der Erstellung von JUnit-Tests für eine Web-Anwendung
05.10.2021 14:15 Telefonkonferenz - Daten auf Anfrage Daniel Scholtyssek LS14 / Rehof MA Abschlussvortrag: Synthese von Variationen eines Systems zur Berechnung profitabler Touren für Handelsvertreter unter Zuhilfenahme eines Inhabitationsalgorithmus
30.09.2021 12:30 Telekonferenz – Daten auf Anfrage Marvin Grewe LS14 / Howar BA Einführungsvortrag: Konzeption und Implementierung eines leichtgewichtigen Frameworks zur Erstellung von Bildungssimulationen
28.09.2021 14:15 Telefonkonferenz - Daten auf Anfrage Severyn-Luka Anufriyev LS14 / Rehof BA Abschlussvortrag: Entwicklung eines Syntheseziel-Editors für die komponentenbasierte Synthese von Simulationsmodellen
28.09.2021 14:15 Telefonkonferenz - Daten auf Anfrage Timo Büser LS14 / Rehof BA Abschlussvortrag: Entwicklung eines webbasierten interaktiven Typecheckers für den Simply Typed Lambda Calculus
23.09.2021 12:30 Telekonferenz – Daten auf Anfrage Patrick Schmelter LS14 / Howar MA Abschlussvortrag: Testing in Production: Design einer Ein-Umgebungs-Test-Strategie zur Steigerung des Vertrauens in Produktivsysteme am Beispiel eines Automobilherstellers
21.09.2021 14:15 Telefonkonferenz - Daten auf Anfrage Mariam Tayyem LS14 / Rehof MA Einführungsvortrag: Distributive Programming with Quantitative Types in Idris 2
16.09.2021 12:30 Telekonferenz – Daten auf Anfrage Luka Weinberg LS14 / Howar BA Einführungsvortrag: Kollaborative Modellierung von UML-Diagrammen mit Einschränkungen auf das SoPra
14.09.2021 14:15 Telefonkonferenz - Daten auf Anfrage Constantin Chaumet LS14 / Rehof MA Abschlussvortrag: Robotic Arms as a Product Line: Synthesizing Hardware and Software from modular Components
09.09.2021 12:30 Telekonferenz – Daten auf Anfrage Luka Weinberg LS14 / Howar BA Einführungsvortrag: Kollaborative Modellierung von UML-Diagrammen mit Einschränkungen auf das SoPra
19.08.2021 12:30 Telekonferenz – Daten auf Anfrage Muhannad Darraj LS14 / Howar BA Einführungsvortrag: Evaluierung und Entwurf einer Strategie für die Optimierung einer bereits bestehenden Microservices-Architektur
03.08.2021 14:15 Telefonkonferenz - Daten auf Anfrage Maximilian Hörstrup LS14 / Rehof BA Einführungsvortrag: Entwurf und Entwicklung einer domänenspezifischen Sprache zur Beschreibung von Produktionsaufträgen in Cyber-Physischen Produktionssystemen
20.07.2021 14:15 Telefonkonferenz - Daten auf Anfrage Aladdin Alzoubi LS14 / Rehof MA Abschlussvortrag: Analyzing and Monitoring Call Quality of Swyx VOIP Solutions
15.07.2021 12:30 Telekonferenz – Daten auf Anfrage Natalia Ogorelysheva LS14 / Howar MA Einführungsvortrag: Modellierung und Analyse von Verfahren zur Routenplanung für die Bodenkartierung mittels holonomer mobiler Roboter
08.07.2021 12:30 Telekonferenz – Daten auf Anfrage Timo Santhehanser LS14 / Howar BA Abschlussvortrag: Integration of Array Theory into JConstraints
29.06.2021 14:15 Telefonkonferenz - Daten auf Anfrage Duc-Chanh Nguyen Rehof/Adesso BA Abschlussvortrag: Implementation and Evaluation of automated GUI testing approaches on the example of the insure-Partner project
29.06.2021 14:45 Telefonkonferenz - Daten auf Anfrage Niklas Wende Rehof BA Abschlussvortrag: Implementierung eines Prototypen zur Analyse der Eignung von Smartphone-Sensoren für die Wegeoptimierung durch Standorterfassung in intralogistischen Prozessen
24.06.2021 12:30 Telekonferenz – Daten auf Anfrage Marcel Schu LS14 / Howar BA Einführungsvortrag: Implementierung eines Prototypen zur Verifizierung von digitalen Bauanträgen in der Blockchain
24.06.2021 13:15 Telekonferenz – Daten auf Anfrage Oxana Warkentin LS14 / Howar MA Abschlussvortrag: Normalization of SMT Problems
17.06.2021 12:30 Telekonferenz – Daten auf Anfrage Janis Büse LS14 / Howar BA Abschlussvortrag: Entwicklung eines Konzepts zur Sicherstellung der Datensouveränität auf digitalen Plattformen
17.06.2021 13:15 Telekonferenz – Daten auf Anfrage Malte Eisen LS14 / Howar BA Einführungsvortrag: Design und Evaluierung einer Webanwendung zur Visualisierung von SMT Solver Performance
15.06.2021 14:15 Telekonferenz - Daten auf Anfrage Laurette Tchommo LS14 / Rehof BA Einführungsvortrag: Verifizieren und Vergleich von verschiedenen Sortieralgorithmen mit Hilfe von Why3
15.06.2021 14:15 Telekonferenz - Daten auf Anfrage Pina Kolling LS14 / Rehof BA Abschlussvortrag: Gruppentheorie des 2x2x2 Zauberwürfels und dessen Lösungsalgorithmen
10.06.2021 12:30 Telekonferenz – Daten auf Anfrage Jannik Stadtler LS14 / Howar BA Einführungsvortrag: Path planing of minimal collision trajectories for fast mobile robots
01.06.2021 14:15 Telekonferenz – Daten auf Anfrage Constantin Chaumet LS14 / Rehof MA Einführungsvortrag: Robotic Arms as a Product Line: Synthesizing Hardware and Software from modular Components
01.06.2021 14:15 Telekonferenz - Daten auf Anfrage Olivier Tsape Dongmo LS14 / Rehof BA Einführungsvortrag: Entwicklung einer funktionalen Programmiersprache Curly
27.05.2021 12:30 Telekonferenz – Daten auf Anfrage Dennis Misera LS14 / Howar MA Einführungsvortrag: Probleme und Handlungsempfehlungen für Multicloud-Herausforderungen im Bereich Datenmanagement
20.05.2021 12:30 Telekonferenz – Daten auf Anfrage Lilly Mielke LS14 / Howar BA Einführungsvortrag: Quantitative Untersuchung einer Laufzeit-Anomalieerkennung auf Basis erlernter Automaten
04.05.2021 14:15 Telefonkonferenz - Daten auf Anfrage Daniel Naczinski LS14 / Rehof MA Einführungsvortrag: Automatische Generierung von produktlinienorientierten Strategieunterstützungswerkzeugen für das Supply Chain Management
04.05.2021 14:15 Telefonkonferenz - Daten auf Anfrage Jonas Denis LS14 / Rehof MA Einführungsvortrag: Automatisiertes Updatemanagement von Abhängigkeiten in großen Softwareprojekten
04.05.2021 10:30 Web-Konferenz - Daten auf Anfrage   LS14 / Wiederkehr MA Abschlussvortrag: Entwicklung eines Analyseframeworks zur dexelbasierten Modellierung der Randzonenbeeinflussung in Abhängigkeit der NC-Strategie bei Fräsprozessen
04.05.2021 10:30 Web-Konferenz - Daten auf Anfrage   LS14 / Wiederkehr BA Einführungsvortrag: Kamerabasierte Erfassung der Spannsituation in einem Bearbeitungszentrum zur simulationsgestützten Kollisionsvermeidung und Antastoptimierung
29.04.2021 09:00 Web-Konferenz – Daten auf Anfrage   LS14 / Wiederkehr BA Abschlussvortrag: Entwicklung eines evolutionsbasierten Optimierers zur Bestimmung modaler Parameter aus Messwerten
29.04.2021 09:00 Web-Konferenz – Daten auf Anfrage   LS14 / Wiederkehr BA Abschlussvortrag: Entwicklung einer Methodik zur Anpassung von Bauteil-Topologien zur Reduktion von Formabweichungen beim selektiven Laserschmelzen
29.04.2021 12:30 Telekonferenz – Daten auf Anfrage Ramin Eqbal LS14 / Howar BA Abschlussvortrag: Komponentenbasierte Softwaresyntheseverfahren im Vergleich
29.04.2021 13:15 Telekonferenz – Daten auf Anfrage Alexander Lueg LS14 / Howar BA Einführungsvortrag: Design und Umsetzung einer mobilen Schnittstelle für den Zugriff auf die elektronische Fallakte
20.04.2021 14:15 Telefonkonferenz - Daten auf Anfrage Timo Bueser LS14 / Rehof BA Einführungsvortrag: Entwicklung eines webbasierten interaktiven Typecheckers für den Simply Typed Lambda Calculus
15.04.2021 12:15 Telekonferenz – Daten auf Anfrage Yannick von Kienle LS14 / Howar MA Einführungsvortrag: Design einer Data Processing DSL entlang eines UseCases in der Geochemie
08.04.2021 16:00 Online: lostsoul.cs.tu-dortmund.de/b/jan-z6f-v6a PG 632 - Plantcare LS14 Abschlussvortrag: Abschlusspräsentation der PG 632 - Plantcare
01.04.2021 12:30 Telekonferenz – Daten auf Anfrage Lisa Böse LS14 / Howar BA Einführungsvortrag: Generierung von symbolischen Proxys zur verbesserten Softwarevalidierung durch passives Erlernen von Verhaltensmodellen
01.04.2021 13:15 Telekonferenz – Daten auf Anfrage Nico Koltermann LS14 / Howar BA Abschlussvortrag: Metaheuristische Optimierung von Reglern zur lateralen und longitudinalen Steuerung eines autonomen Rennwagens
25.03.2021 12:30 Telekonferenz – Daten auf Anfrage Jovit Tschokeup LS14 / Howar BA Abschlussvortrag: Definition und Umsetzung eines Konzepts zum automatisierten Testen von graphischen Visualisierungs- und Analyseanwendungen am Beispiel von YAKINDU Model Viewer
04.03.2021 12:30 Telekonferenz – Daten auf Anfrage Thomas Walenko LS14 / Howar BA Abschlussvortrag: Erweiterung der Webapplikation eines cyber-physischen Produktionssystems zur Entwicklung von Echtzeit-Assistenzsystemen und zur Verwaltung von Störungen
10.02.2021          
09.02.2021 14:15 Telefonkonferenz - Daten auf Anfrage Tilman Zuckmantel LS14 / Rehof MA Abschlussvortrag: Visualizing Scala Programs using the Unified Modeling Language
09.02.2021 14:15 Telefonkonferenz - Daten auf Anfrage Severyn-Luka Anufriyev LS14 / Rehof BA Einführungsvortrag: Entwicklung eines Syntheseziel-Editors für die komponentenbasierte Synthese von Simulationsmodellen
28.01.2021 12:30 Telekonferenz – Daten auf Anfrage Sarah Graf LS14 / Howar MA Einführungsvortrag: Namens- und Annotationen-gestützte Code-Generierung zur Vereinfachung der Erstellung von JUnit-Tests für eine Web-Anwendung
21.01.2021 12:30 Telekonferenz – Daten auf Anfrage Tim Tannert LS14 / Howar MA Abschlussvortrag: Entwicklung und Erprobung einer Designmethode für heterogene, datenintensive verteilte Anwendungen im automotiven Umfeld
07.01.2021 12:30 Telekonferenz – Daten auf Anfrage Robert Delhougne LS14 / Howar MA Abschlussvortrag: Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript-Anwendungen
07.01.2021 13:15 Telekonferenz – Daten auf Anfrage Jonas Zeidler LS14 / Howar BA Einführungsvortrag: Wie sieht die Softwarearchitektur für einen Sprachbot in einem intelligenten Regal mit verteilten Low-Budget und Low-Energy Modulen aus?

2020

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
15.12.2020 14:15 Telefonkonferenz - Daten auf Anfrage Fiete Wennier LS14 / Rehof MA Abschlussvortrag: Konzeption und Entwicklung einer Applikation zur Durchführung von Last- und Performancetests im Kontext von Microservices und Kubernetes
15.12.2020 14:15 Telekonferenz - Daten auf Anfrage Pina Kolling LS14 / Rehof BA Einführungsvortrag: Gruppentheorie des 2x2x2 Zauberwürfels und dessen Lösungsalgorithmen
14.12.2020 12:30 Web-Konferenz – Daten auf Anfrage   LS14 / Wiederkehr MA Einführungsvortrag: Entwicklung eines auf Lernvideos basierten Unterrichtsvorhabens zum Thema Machine Learning in Form eines SPOC für den Schuleinsatz
14.12.2020 12:30 Web-Konferenz – Daten auf Anfrage   LS14 / Wiederkehr MA Einführungsvortrag: Potentiale und Grenzen von IIoT-Plattformen im Bereich der zerspanenden Bearbeitung
03.12.2020 12:30 Telekonferenz – Daten auf Anfrage Timo Santehanser LS14 / Howar BA Einführungsvortrag: Integration of Array Theory into JConstraints
01.12.2020 14:15 Telefonkonferenz - Daten auf Anfrage Niklas Wende LS14 / Rehof BA Einführungsvortrag: Implementierung eines Prototypen zur Analyse der Eignung von Smartphone-Sensoren für die Wegeoptimierung durch Standorterfassung in intralogistischen Prozessen
01.12.2020 14:15 Telefonkonferenz - Daten auf Anfrage Rico Ahlbäumer LS14 / Rehof MA Abschlussvortrag: Typechecking in the Calculus of Dependent Lambda Eliminations via typability in set-theoretic bounded dimension Intersection Types
19.11.2020 12:30 Telekonferenz – Daten auf Anfrage Niklas Haldorn LS14 / Howar BA Abschlussvortrag: HL7 FHIR-basierte Umsetzung der International Patient Summary in der Elektronischen Fallakte
18.11.2020 10:00 Webkonferenz - Daten auf Anfrage   LS14 / Wiederkehr BA Abschlussvortrag: Entwicklung eines Virtual-Reality-Lehrsystems zur Modal- und Stabilitätsanalyse von Fräsprozessen
17.11.2020 14:15 Telefonkonferenz - Daten auf Anfrage Daniel Kuhse LS14 / Rehof MA Einführungsvortrag: Certified code generation from inductive specifications
05.11.2020 12:15 Telefonkonferenz - Daten auf Anfrage Oxana Warkentin LS14 / Howar MA Einführungsvortrag: Normalization of SMT Problems
03.11.2020 14:15 Telefonkonferenz - Daten auf Anfrage Felix Laarmann LS14 / Rehof MA Abschlussvortrag: Coinduction in the Calculus of Dependent Lambda Eliminations
03.11.2020 14:15 Telefonkonferenz - Daten auf Anfrage Mustafa Aden Omar LS14 / Rehof BA Abschlussvortrag: Implementierung eines Unity-basierten Management Tools zur Synthese von Motion Planning Algorithmen
03.11.2020 14:15 Telefonkonferenz - Daten auf Anfrage Daniel Scholtyssek LS14 / Rehof MA Einführungsvortrag: Synthese von Variationen eines Systems zur Berechnung profitabler Touren für Handelsvertreter unter Zuhilfenahme eines Inhabitationsalgorithmus
29.10.2020 12:30 Telekonferenz – Daten auf Anfrage Petar Juric LS14 / Howar MA Abschlussvortrag: Choreografische Realisierung von BPMN-Geschäftsprozessen
20.10.2020 14:15 Telekonferenz – Daten auf Anfrage Rico van Endern LS 14 / Rehof + adesso MA Abschlussvortrag: Dialogmanagement im vom NLU abstrahierten Kontext
06.10.2020 14:15 Telefonkonferenz - Daten auf Anfrage Marc Heyer LS 14 / Rehof BA Abschlussvortrag: Vergleich dreier Implementierungen eines minutengenauen Produktfeeds
01.10.2020 12:30 Telekonferenz – Daten auf Anfrage Nico Koltermann LS14 / Howar BA Einführungsvortrag: Metaheuristische Optimierung von Reglern zur lateralen und longitudinalen Steuerung eines autonomen Rennwagens
24.09.2020 12:30 Telekonferenz – Daten auf Anfrage Timm Horny LS14 / Howar BA Abschlussvortrag: Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers
24.09.2020 13:15 Telekonferenz – Daten auf Anfrage Maximilian König LS14 / Howar BA Abschlussvortrag: Prototypische Implementierung eines systemunabhängigen Light Node zur Überwachung von Prozessen im Supply Chain Management
22.09.2020 14:15 Telefonkonferenz - Daten auf Anfrage Tilman Zuckmantel LS 14 / Rehof MA Einführungsvortrag: Visualizing Scala Programs using the Unified Modelling Language
16.09.2020 09:30 Web-Konferenz, Daten auf Anfrage   LS14 / Wiederkehr MA Einführungsvortrag: Modellierung der Randzonenbeeinflussung in Abhängigkeit der NC-Strategie bei Fräsprozessen
16.09.2020 09:30 Web-Konferenz, Daten auf Anfrage   LS14 / Wiederkehr BA Einführungsvortrag: Konzeption einer formalen Sprache zur Abbildung von Werkzeugschneiden und Entwicklung eines Interpreters zur Überführung in strukturierte Gitternetze
10.09.2020 12:30 Telekonferenz – Daten auf Anfrage Julien Leuering LS14 / Howar BA Abschlussvortrag: Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung
25.08.2020 14:15 Telefonkonferenz - Daten auf Anfrage Jonas Wielage LS 14 / Rehof MA Abschlussvortrag: Statische Analyse mittels Symbolic Execution von Zustandsautomaten
11.08.2020 14:45 Telefonkonferenz - Daten auf Anfrage Dominik Mäckel LS 14 / Rehof BA Abschlussvortrag: Synthese von Scheduling-Heuristiken für Flow Shop- und Job Shop-Probleme zur Makespanminimierung durch Komponentisierung und Rekombination
11.08.2020 14:15 Telefonkonferenz - Daten auf Anfrage Goddy Ntongwe Asale LS 14 / Rehof MA Abschlussvortrag: Implementation and Evaluation of Different Prediction Models for Predicting long-term Developments of Numeric Data
11.08.2020 15:15 Telefonkonferenz - Daten auf Anfrage Severin Mengers LS 14 / Rehof BA Abschlussvortrag: Entwicklung einer verifizierten Bibliothek für Graphalgorithmen in Idris
28.07.2020 14:15 Telefonkonferenz - Daten auf Anfrage Nicolas Lenz LS 14 / Rehof BA Abschlussvortrag: Design and Algebraic Implementation of a Functional Programming Language
16.07.2020 12:30 Telekonferenz – Daten auf Anfrage Daniel Meier LS14 / Howar BA Abschlussvortrag: Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests
16.07.2020 13:15 Telekonferenz – Daten auf Anfrage Richard Stewing LS14 / Howar MA Abschlussvortrag: Taint-Analyse: Ein typbasierter Ansatz
09.07.2020 13:15 Telekonferenz – Daten auf Anfrage Finn Thieme LS14 / Howar MA Einführungsvortrag: Agile Reifegradmodelle in IT-Unternehmen: Anwendung und Bezug zum Unternehmenserfolg
02.07.2020 13:15 Telekonferenz – Daten auf Anfrage Brian Jahnke LS14 / Howar MA Abschlussvortrag: Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen
30.06.2020 14:15 Telefonkonferenz - Daten auf Anfrage Inessa Azizova LS 14 / Rehof MA Abschlussvortrag: Planung und Evaluierung eines Modellierungsverfahrens zur Dokumentenanalyse
30.06.2020 14:15 Telefonkonferenz - Daten auf Anfrage Yannik Wegener LS 14 / Rehof BA Einführungsvortrag: Entwicklung eines Unifikationstools zur Auswertung von IFC-Daten im Kontext von digitalen Bauantragsverfahren
25.06.2020 12:30 Telekonferenz – Daten auf Anfrage Leon Hißmann LS14 / Howar BA Abschlussvortrag: Requirements Engineering für ein Management-Tool als Ergänzung zum Produkt in/sure Health Claims zur weiteren Steuerung des Geschäftsprozesses der Kostenrückerstattung
18.06.2020 12:30 Telekonferenz – Daten auf Anfrage Tim Tannert LS14 / Howar MA Einführungsvortrag: Entwicklung eines verteilten Datensammlersystems im automotiven Umfeld
18.06.2020 13:15 Telekonferenz – Daten auf Anfrage Brian Jahnke LS14 / Howar MA Abschlussvortrag: Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen
16.06.2020 14:15 Telekonferenz – Daten auf Anfrage Mustafa Aden Omar LS14 / Rehof BA Einführungsvortrag: Implementierung eines Unity-basierten Management Tools zur Synthese von Motion Planning Algorithmen
28.05.2020 12:30 Telekonferenz – Daten auf Anfrage Onur Basbayandur LS14 / Howar BA Abschlussvortrag: Entwurf einer konfigurierbaren und automatisierten Verarbeitungspipeline für Machine Learning
28.05.2020 13:15 Telekonferenz – Daten auf Anfrage Timm Horny LS14 / Howar BA Einführungsvortrag: Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers
19.05.2020 14:00 Web-Konferenz   LS14 / Wiederkehr BA Abschlussvortrag: Vorhersage der Prozessstabilität bei Fräsprozessen mithilfe von Verfahren des maschinellen Lernens anhand von simulierten sowie experimentellen Daten
19.05.2020 14:00 Web-Konferenz   LS14 / Wiederkehr BA Abschlussvortrag: Augmentation von Trainingsdaten für die automatisierte Kornerkennung zur Generierung von punktbasierten Werkzeugmodellen für die Simulation von Schleifprozessen mithilfe von Methoden des maschinelle
19.05.2020 14:00 Web-Konferenz   LS 14 / Wiederkehr PA Abschlussvortrag: Experimentelle Untersuchungen zu Stabilitätskriterien bei Fräsprozessen mit Hilfe einer sensorischen Messkonstruktion
14.05.2020 12:30 Telekonferenz – Daten auf Anfrage Robert Delhougne LS14 / Howar MA Einführungsvortrag: Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript Anwendungen
07.05.2020 13:30 Telekonferenz – Daten auf Anfrage Achref Abdelkefi LS14 / Howar BA Abschlussvortrag: Evaluation des menschzentrierten Gestaltungsprozesses anhand eines Bibliothekssystems
05.05.2020 14:15 Telekonferenz – Daten auf Anfrage Fiete Wennier LS14 / Rehof MA Einführungsvortrag: Konzeption und Entwicklung einer Applikation zur Durchführung von Last-und Performancetests im Kontext von Microservices und Kubernetes
30.04.2020 12:30 Telekonferenz – Daten auf Anfrage Niklas Haldorn LS14 / Howar BA Einführungsvortrag: HL7 FHIR-basierte Umsetzung der International Patient Summary in der Elektronischen Fallakte
16.04.2020 12:30 Telekonferenz – Daten auf Anfrage Richard Stewing LS 14 / Howar MA Einführungsvortrag: Typebasierte Taint-Analyse im Lambda-Kalkül und die Anwendung auf C
16.04.2020 13:15 Telekonferenz – Daten auf Anfrage Lasse Elsbernd LS 14 / Howar BA Abschlussvortrag: Implementierung und Evaluation der String-Theorie Unterstützung in JConstraints unter Verwendung verschiedener String-Solver
07.04.2020 14:00 OH12 2.013 Felix Laarmann LS14 / Rehof MA Einführungsvortrag: Entfällt: Coinduction in the Calculus of Dependent Lambda Eliminations
26.03.2020 12:30 Telekonferenz – Daten auf Anfrage Daniel Plath LS14 / Howar BA Abschlussvortrag: Blockchain-based Smart Contracts and their Utilization in Supply Chain Management
26.03.2020 12:30 Telekonferenz – Daten auf Anfrage Daniel Plath LS14 / Howar BA Abschlussvortrag: Blockchain-based Smart Contracts and their Utilization in Supply Chain Management
27.02.2020 12:00 OH12 2.013 Petar Juric LS14 / Howar MA Einführungsvortrag: Entwicklungskonzepte für Microservice-Choreografien anhand von BPMN-Modellen
25.02.2020 14:00 OH12 2.013 Marc Heyer LS14 / Rehof + Babymarkt.de BA Einführungsvortrag: Vergleich dreier Implementierungen eines minutengenauen Produktfeeds
25.02.2020 10:30 OH12 2.013   LS14 / Wiederkehr MA Abschlussvortrag: Entwicklung und Erprobung einer technischen Vorrichtung zur teilautomatisierten, nicht gekoppelten Impulsanregung für die Modalanalyse von Zerspanungswerkzeugen in CNC-Bearbeitungszentren
25.02.2020 10:30 OH12 2.013   LS14 / Wiederkehr BA Einführungsvortrag: Entwicklung einer Methodik zur Anpassung von Bauteil-Topologien zur Reduktion von Formabweichungen beim selektiven Laserschmelzen.
25.02.2020 10:30 OH12 2.015   LS 14 / Wiederkehr BA Einführungsvortrag: Optimierung des Anstellwinkels im 5-Achs-Fräsprozess zur Vermeidung von Ratterschwingungen mit Hilfe eines achsstellungsabhängigen Dynamikmodells
25.02.2020 14:00 OH12 2.013 Rico van Endern LS 14 / Rehof + adesso MA Einführungsvortrag: Dialogmanagement im vom NLU abstrahierten Kontext
25.02.2020 14:00 OH12 2.013 Severin Mengers LS14 / Rehof BA Einführungsvortrag: Entwicklung einer verifizierten Bibliothek für Graphalogrithmen in Idris
12.02.2020 14:00 OH12 2.013 Nils Bergmann LS14 / Howar MA Abschlussvortrag: Design einer formalen Sprache für die Spezifikation und Verifikation funktionaler Anforderungen an autonome Systeme
05.02.2020 14:00 OH12 2.013 Sarah Graf LS14 / Howar MA Einführungsvortrag: Analyse der Widerspruchsfreiheit von fast natürlich-sprachlichen Systemanforderungen in einer domänenspezifischen Sprache
05.02.2020 12:30 OH12 2.013 Julien Leuering LS14 / Howar BA Einführungsvortrag: Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung
05.02.2020 13:15 OH12 2.013 Daniel Meier LS14 / Howar BA Einführungsvortrag: Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests basierend auf Objekt-Feld-Überdeckung
05.02.2020 14:45 OH12 2.013 Marc Schneider LS14 / Howar BA Abschlussvortrag: Entwurf und Implementierung eines autonomen Einparkassistenten
28.01.2020 14:00 OH12 2.013 - LS14 / Rehof BA Einführungsvortrag: Design and Algebraic Implementation of a Functional Programming Language
22.01.2020 10:30 OH12 2.019 - LS14 / Howar BA Einführungsvortrag: Transformation einer monolithischen Java-Webanwendung zur containerisierten Nutzung in einer geeigneten Microservice-Architektur
14.01.2020 14:00 OH12 2.019 - LS14 / Rehof BA Einführungsvortrag: Analyse aktueller Webtechnologien im Kontext des Potentials von JAM-Stack
10.01.2020 10:00 OH12 2.019 - LS14 / Howar BA Einführungsvortrag: Requirements Engineering für ein Management-Tool als Ergänzung zum Produkt inlsure HealthClaims zur weiteren Steuerung des Geschäftsprozesses der Kostenrückerstattung

2019

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
18.12.2019 14:00 OH12 2.013 - LS14 / Wiederkehr BA Abschlussvortrag: Approximation digitalisierter Zerspanwerkzeugtopografien unter Nutzung strukturierter Gitternetze
18.12.2019 14:00 OH12 2.013 - LS14 / Wiederkehr BA Abschlussvortrag: Entwicklung einer adaptiven Datenstruktur zur Repräsentation von Dexelvolumenmodellen
17.12.2019 14:15 OH12 2.013 - LS14 + LS4 MA Einführungsvortrag: Modelchecking für realistische und änderbare Schedules und Nebenbedingungen in einem flexiblen Flowshop mittels Constraint Solving
11.12.2019 9:30 OH12 2.019 - LS14 / Howar BA Einführungsvortrag: Evaluation des menschenzentrierten Gestaltungsprozesses anhand eines Bibliothekssystems
11.12.2019 10:00 OH12 2.019 - LS14 / Howar MA Abschlussvortrag: Relevanz von User-Experience-Design in Zusammenarbeit mit Prozessoptimierung mithilfe eines Kollaborationstools am Beispiel eines internen Prozesses
29.11.2019 14:15 OH12 2.013 - LS14 / Rehof + Itemis MA Einführungsvortrag: Statische Analyse mittels Symbolic Execution von Zustandsautomaten
19.11.2019 14:15 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Evaluierung von Code-Generation-Frameworks zur Implementierung eines Chatbot-Generators mittels domänenspezifischer Sprachen
13.11.2019 10:00 OH12 2.019 - LS14 / Howar BA Abschlussvortrag: Linting, Autocompletion und Syntax-Highlighting für Validierungsregeln in natürlicher Sprache
13.11.2019 10:00 OH12 2.019 - LS14 / Howar BA Einführungsvortrag: Erweiterung und Evaluation des String-Modells zur symbolischen Ausführung mit JDart
05.11.2019 14:00 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Empirische Erhebung von Anforderungen an eine Erweiterung für die Projektmanagementsoftware Jira und deren Implementierung für die Unterstützung von Daily Meetings in agilen Softwareprojekten
05.11.2019 11:00 OH12 2.013 - LS14 / Wiederkehr BA Abschlussvortrag: Entwicklung einer Methode zur Optimierung von 5-Achs-Fräsprozessen unter Berücksichtigung der Achsbeschleunigung
05.11.2019 11:00 OH12 2.013 - LS14 / Wiederkehr BA Einführungsvortrag: Augmentation von Trainingsdaten für die automatisierte Kornerkennung zur Generierung von punktbasierten Werkzeugmodellen für die Simulation von Schleifprozessen mithilfe von Methoden des maschinellen
05.11.2019 11:00 OH12 2.013 - LS14 / Wiederkehr BA Einführungsvortrag: Vorhersage der Prozessstabilität bei Fräsprozessen mithilfe von Verfahren des maschinellen Lernens anhand von simulierten sowie experimentellen Daten
30.10.2019 15:00 OH12 2.013 - LS14 / Howar BA Abschlussvortrag: SCRUM in der Softwareentwicklung: Unterschiede zwischen Theorie und Praxis
22.10.2019 14:00 OH12 2.013 - LS14 / Rehof MA Einführungsvortrag: Planung und Evaluierung eines Modellierungsverfahrens zur Dokumentenanalyse
22.10.2019 14:00 OH12 2013 - LS14 / Rehof MA Einführungsvortrag: Implementation and Evaluation of Different Prediction Models for Predicting long-term Developments of Numeric Data
16.10.2019 15:00 OH12 2.013 - LS14 / Howar MA Abschlussvortrag: Explainable Vulnerability Detection on Abstract Syntax Trees with Arithmetic, LSTM-based Neural Networks
09.10.2019 14:00 OH12 2.063 - LS14 / Howar BA Abschlussvortrag: Umgebungserfassung durch Integration von Time-of-Flight-Sensoren in ressourcenbeschränkten Mikro-UAVs
09.10.2019 14:30 OH12 2.063 - LS14 / Howar BA Abschlussvortrag: Analyse des Verhaltens von Java Komponenten auf Basis von Bounded Model Checking und k-Induktion
30.09.2019 14:00 OH12 2.013 - LS14 / Wiederkehr BA Abschlussvortrag: Sensitivitätsanalyse von Antriebsmodellen des Digital Twins einer 5x-Fräsmaschine
24.09.2019 14:15 OH12 2.013 - LS14 / ISST BA Abschlussvortrag: Konzeption und Implementierung einer NDEx Schnittstelle zur Visualisierung von Graphen in VR/AR
04.09.2019 14.00 OH12 2.013 - LS14 / Howar BA Abschlussvortrag: Benchmarking multi-solver hierarchies in jConstraints
04.09.2019 14:30 OH12 2.013 - LS14 / Howar MA Abschlussvortrag: Relevanz von User-Experience-Design in Zusammenarbeit mit Prozessoptimierung mithilfe eines Kollaborationstools am Beispiel eines internen Prozesses
04.09.2019 15:00 OH12 2.013 - LS14 / Howar BA Einführungsvortrag: Entwicklung eines Algorithmus zur kollisionsfreien Routenplanung in einem autonomen Multiagentensystem
03.09.2019 14:00 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Implementierung künstlicher neuronaler Netze zur Bedarfsprognose eines Versandhändlers
31.07.2019 14:00 OH12 1.054 - LS14 / Howar BA Abschlussvortrag: Command Injection Detection durch Taint-Analyse mittels Symbolic Execution am OWASP Benchmark Beispiel
31.07.2019 14:30 OH12 1.054 - LS14 / Howar MA Abschlussvortrag: Mining und Auswahl von Testfällen für REST-basierte Web-Anwendungen auf Basis aufgezeichneter Nutzungsdaten
09.07.2019 14:00 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Statische Analyse auf Statecharts in YAKINDU SCT
03.07.2019 14:00 OH12 1.054 - LS14 / Howar BA Einführungsvortrag: Umgebungserfassung durch Integration von laserbasierten Time-of-Flight Sensoren in ressourcenbeschränkten Mikro-UAVs
03.07.2019 14:30 OH12 1.054 - LS14 / Howar MA Einführungsvortrag: Design einer formalen Sprache für die Spezifikation und Verifikation funktionaler Anforderungen an autonome Systeme
05.06.2019 15:30 OH12 2.013 - LS14 / Howar BA Einführungsvortrag: Entwurf und Implementierung eines autonomen Einparkassistenten
15.05.2019 14:00 OH12 1.054 - LS14 / Howar BA Abschlussvortrag: Entwicklung und Test von Sensor Fusion zur Unterstützung von Fahrassistenzsystemen
25.04.2019 14:30 OH12 2.013 - LS 14 / Wiederkehr MA Abschlussvortrag: Kombination von makro- und mesoskopischen Simulationsmodellen für NC-Formschleifprozesse zur Vorhersage lokaler Oberflächentopografien
25.04.2019 14:30 OH12 2.013 - LS 14 / Wiederkehr MA Abschlussvortrag: Modellierung des orthogonalen Hochgenauigkeitsdrehfräsens zur Vorhersage von Werkstücktopographien und Prozesskräften unter Berücksichtigung des Werkzeugverschleißes
24.04.2019 12:00 OH12 2.013 - LS 14 / Wiederkehr PA Abschlussvortrag: Untersuchung und Simulation des Einflusses der Vorschubgeschwindigkeit auf die elektrische Leistungsaufnahme von CNC-Fräsmaschinen
24.04.2019 12:45 OH12 2.013 - LS 14 / Wiederkehr PA Abschlussvortrag: Untersuchung des Einflusses von Werkzeugschwingungen auf die elektrische Leistungsaufnahme der Frässpindel
23.04.2019 14:15 OH12 2.013 - LS14 / Rehof MA Einführungsvortrag: Evaluierung von Code-Generation-Frameworks zur Implementierung eines Chatbot-Generators mittels domänenspezifischer Sprachen
23.04.2019 14:15 OH12 2.013 - LS 14 / Rehof BA Abschlussvortrag: Entwicklung eines Editors zur Modellierung von aufgabenorientierten Fabrikplanungsmodulen für die automatisierte Generierung von Planungsworkflows
23.04.2019 14:15 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Verwendung von SMT Techniken im Kontext der komponentenbasierten Softwaresynthese
17.04.2019 15:30 OH12 1.054 - LS14 / Howar BA Einführungsvortrag: SCRUM in der Software Entwicklung: Unterschiede zwischen Theorie und Praxis
17.04.2019 15:00 OH12 1.054 - LS14 / Howar BA Abschlussvortrag: Bewertung des Potentials von Hyperledger zur Realisierung von datenintensiven Edge-2-Cloud Anwendungen in Multi-Klienten Szenarien
17.04.2019 14:15 OH12 1.054 - LS14 / Howar MA Abschlussvortrag: Detektion von epileptischen Anfällen unter Verwendung von EKG und PPG Daten
11.04.2019 13:00 OH12 2.013 - LS14 / Wiederkehr BA Einführungsvortrag: Entwicklung einer Methode zur Optimierung von 5-Achs-Fräsprozessen unter Berücksichtigung der Achsbeschleunigung
11.04.2019 13:30 OH12 2.013 - LS14 / Wiederkehr BA Abschlussvortrag: Geometrische Modellierung galvanischer Bindungen für die Simulation von NC-Formschleifprozessen zur Analyse des Durchflusspotenzials für Kühlschmierstoff
09.04.2019 14:15 OH14 E04 - LS14 / Rehof DA Abschlussvortrag: Entwicklung und Führung hoch-performanter Teams in der Softwareentwicklung
03.04.2019 14 Uhr OH12 1.054 - LS14 / Howar BA Abschlussvortrag: Design und prototypische Entwicklung einer servicebasierten Experimentierplattform
03.04.2019 14:30 OH12 1.054 - LS14 / Howar BA Abschlussvortrag: Potenzialanalyse eines Indoor-Positionierungssystems im Hinblick auf die Verwendung in der Lagerlogistik
03.04.2019 15:00 OH12 1.054 - LS14 / Howar MA Einführungsvortrag: Untersuchung der Relevanz von User-Experience-Design bei der Prozessoptimierung
03.04.2019 15:30 OH12 1.054 - LS14 / Howar BA Einführungsvortrag: Analyse des Verhaltens von Java Komponenten auf Basis von Bounded Model Checking und k-Induktion
06.03.2019 15:00 OH12 2.013 - LS 14 / Howar BA Einführungsvortrag: Commandline Injection Detection durch Taint-Analyse mittels symbolic execution am OWASP Benchmark Beispiel
06.03.2019 14:00 OH12 2.013 - LS 14 / Howar MA Einführungsvortrag: Explainable Vulnerability Detection on Abstract Syntax Trees with Arithmetic, LSTM-based Neural Networks
19.02.2019 14:15 OH12 2.013 - LS14 / ISST BA Einführungsvortrag: Konzeption und Implementierung einer NDEx Schnittstelle zur Visualisierung von Graphen in VR/AR
19.02.2019 14:15 OH12 2.013 - LS14 / Rehof BA Einführungsvortrag: Empirische Erhebung von Anforderungen an eine Erweiterung für die Projektmanagementsoftware Jira und deren Implementierung für die Unterstützung von Daily Meetings in agilen Softwareprojekten
13.02.2019 15:40 OH 12, 2.013 - LS 14 / Wiederkehr BA Abschlussvortrag: Identifikation von Formabweichungen additiv gefertigter Bauteile für die Auslegung spanender Nachbearbeitung
13.02.2019 15:40 OH 12, 2.013 - LS 14 / Wiederkehr BA Abschlussvortrag: Systematische Untersuchung und Modellierung von Unsicherheiten in Messdaten von Fräsprozessen
12.02.2019 14:15 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Generierung von Blockdiagrammen im Linked Process Blocks Editor unter Verwendung des Combinatory Logic Synthesizers
08.02.2019 16:00 OH12 2.013 - LS 14 / Howar BA Abschlussvortrag: Entwicklung einer domänenspezifischen Sprache für anforderungsbasierte Testfälle
08.02.2019 16:00 OH12 2.013 - LS14 / Howar BA Abschlussvortrag: Vorgehen zur testgetriebenen Entwicklung eines REST-Services
08.01.2019 13:00 OH12 2.013 - MB / Wiederkehr PA Abschlussvortrag: "Identifikation von Materialparameterwerten für das Johnson-Cook-Modell auf Grundlage des Split-Hopkinson-Bar-Versuchs"

2018

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
18.12.2018 14:15 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Generierung von Prozessvarianten für Microsoft Project Netzpläne mittels CLS
18.12.2018 14:15 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Implementierung der Typinferenz im Lambda-Kalkül mit Intersektionstypen
17.12.2018 14:00 2.013 OH12 - LS14 / Howar MA Abschlussvortrag: Implementation and performance evaluation of an active learning algorithm for visible state-local alphabets
20.11.2018 14:15 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Entwurf und Implementierung eines synthesebasierten Ansatzes für die flexible Ausführung von Geschäftsprozessen
20.11.2018 14:15 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Implementierung eines Java-basierten Python3-Parsers und Syntaxbaummanipulationswerkzeugs
19.11.2018 16:00 OH12 2.019 - LS14 / Howar BA Einführungsvortrag: Design und prototypische Entwicklung einer servicebasierten Experimentierplattform
19.11.2018 16:30 OH12 2.019 - LS14 / Howar BA Einführungsvortrag: Entwicklung und Test von Sensor Fusion zur Unterstützung von Fahrassistenzsystemen
06.11.2018 14:15 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Inhabitation im Lambda-Kalkül mit Intersektionstypen - Eine Implementierung in Scala
06.11.2018 14:15 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Prinzipale Inhabitation im einfach getypten Lambda-Kalkül
23.10.2018 14:15 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Entwicklung eines Editors für die Erstellung von Templates für Projektpläne und Planungsprozesse
23.10.2018 14:15 OH12 2.013 - LS14 / Howar BA Abschlussvortrag: Automatisierte Generierung von Unit Tests für Java Anwendungen auf Basis von dynamischer symbolischer Ausführung
23.10.2018 14:15 OH12 2.013 - LS14 / Rehof MA Abschlussvortrag: Vergleich einiger DSL-Ansätze für die Steuerung eines Sensors anhand des Beispiels Raspberry Pi Sense HAT
15.10.2018 15:00 ISST 3.023 - ISST / Howar BA Abschlussvortrag: Automatische Erkennung von tonisch-klonischen Anfällen mit Hilfe von maschinellen Lernverfahren auf Basis von in EPItect gewonnenen Beschleunigungsdaten
15.10.2018 14:00 ISST - ISST / Howar MA Einführungsvortrag: Detektion von epileptischen Anfällen unter Verwendung der Puls-Transit-Zeit.
09.10.2018 14:15 OH12 2.013 - LS14 / Rehof BA Einführungsvortrag: Entwicklung eines Editors zur Modellierung von aufgabenorientierten Fabrikplanungsmodulen für die automatische Generierung von Planungsworkflows
09.10.2018 14:15 OH12 2.013 - LS14 / Rehof BA Abschlussvortrag: Concept and Implementation of a Java-based Parser and Pretty-Printer for the Coq Proof Assistant
09.10.2018 14:15 OH12 2.013 - LS14 / Rehof MA Einführungsvortrag: Verwendung von SMT Techniken im Kontext der komponentenbasierten Softwaresynthese
09.10.2018 14:15 2.013 - LS14 / Rehof MA Einführungsvortrag: Statische Analyse auf Statecharts in YAKINDU SCTD
12.09.2018 15.00 R 2.013 - LS14 / Howar BA Einführungsvortrag: Benchmarking multi-solver hierarchies in jConstraints
03.09.2018     - MB / Wiederkehr PA Abschlussvortrag: Wirtschaftlichkeitsbetrachtungen von Rohrleitungssystemen zur Verteilung von Druckluft in Abhängigkeit der Anordnung und verwendeten Materialien
14.08.2018 14:15 R 2.013 - LS14/ ISST MA Einführungsvortrag: Comparison of an End-to-End and a Decomposition-based Approaches for Development of Virtual Assistants using Ubuntu Corpus
14.08.2018 14:15 R 2.013 - LS14 / Rehof MA Einführungsvortrag: Implementierung der Typinferenz im Lambda-Kalkül mit Intersektionstypen
31.07.2018 14:15 R 2.013 - LS14 / Rehof BA Einführungsvortrag: Generierung von Blockdiagrammen im Linked Process Blocks Editor unter Verwendung des Combinatory Logic Synthesizers
31.07.2018 14:15 R 2.013 - LS14 / Rehof BA Einführungsvortrag: Entwurf und Implementierung eines synthesebasierten Ansatzes für die flexible Ausführung von Geschäftsprozessen
03.07.2018     - LS14 / ISST MA Abschlussvortrag: Ein Ende-zu-Ende Dialogsystem zur Exploration und Analyse von großen Datenmengen auf Basis von neuronalen Netzen
03.07.2018     - LS14 / ISST MA Abschlussvortrag: Generierung von SPARQL Anfragen durch das semantische Parsen faktoider Fragen unter Verwendung neuronaler Netze
03.07.2018     - LS14 / ISST MA Einführungsvortrag: Erweiterung einer Prorgammiersprache zur Datenverarbeitung um ein Berechtigungssystem
03.07.2018     - LS14 / Howar BA Einführungsvortrag: Entwicklung einer domänenspezifischen Sprache für Anforderungsbasierte Testfälle für Webanwendungen
03.07.2018     - LS14 / Howar BA Einführungsvortrag: Testgetriebene Entwicklung von APIs und Mediatoren am Beispiel eines Dienstes zum Lösen von logischen Bedingungen
12.06.2018     - LS14 / Rehof BA Einführungsvortrag: Implementierung eines Java-basierten Python3-Parsers und Syntaxbaummanipulationswerkzeugs
12.06.2018     - LS14 / Rehof BA Einführungsvortrag: Generierung von Prozessvarianten für Microsoft Project Netzpläne mittels CLS
04.06.2018     - LS14 / Howar BA Einführungsvortrag: Automatisierte Generierung von Unit Tests für Java Anwendungen auf Basis von dynamischer symbolischer Ausführung
28.05.2018     - LS14 / Wiederkehr BA Einführungsvortrag: Entwicklung einer adaptiven Datenstruktur zur Repräsentation von Dexelvolumenmodellen
28.05.2018     - LS14 / Wiederkehr BA Einführungsvortrag: Systematische Untersuchung und Modellierung von Unsicherheiten in Messdaten spanender Fertigungsprozesse und deren Berücksichtigung in geometrisch-physikalischen Simulationssystemen
28.05.2018     - LS14 / Wiederkehr BA Einführungsvortrag: Identifikation von Formabweichungen additiv gefertigter Bauteile hinsichtlich der spanenden Nachbearbeitung
22.05.2018     - LS14 / ISST MA Abschlussvortrag: Entwicklung eines Workflow-Editors für Datenanalysten
14.05.2018     - LS14 / Howar BA Einführungsvortrag: Design einer Domänen-spezifischen Sprache zur Beschreibung von Abläufen von Ereignissen im Straßenverkehr
08.05.2018     - LS14 / Rehof BA Einführungsvortrag: Concept and Implementation of a Parser and Pretty-Printer based on the Coq Proof Assistant
24.04.2018     - LS14 / Rehof MA Einführungsvortrag: Inhabitation im lambda-Kalkül mit Intersektionstypen - Eine Implementierung in Scala
20.04.2018     - MB / Wiederkehr MA Abschlussvortrag: Analyse der Prozessdämpfung bei der HPC Fräsbearbeitung von Flugzeugbauteilen
10.04.2018     - LS14 / Rehof MA Einführungsvortrag: Prinzipale Inhabitation im einfach getypten Lambda-Kalkül
10.04.2018     - LS14 / Howar MA Einführungsvortrag: Implementation and performance analysis of the L* algorithm for moore automata with partial table generation based on local inputs for each state
27.03.2018     - LS14 BA Einführungsvortrag: Entwicklung eines Editors für die Erstellung von Templates für Projektpläne und Planungsprozesse
22.03.2018     - MB / Wiederkehr BA Abschlussvortrag: Modellierung und Analyse eines Druckluftsystems zur Untersuchung von Interaktionen einzelner Systemkomponenten
22.03.2018     - MB / Wiederkehr BA Abschlussvortrag: Validierung eines Simulationsmodells zur Ermittlung der Leistungsaufnahme von Fräsprozessen
30.01.2018     - LS14 MA Abschlussvortrag: Process Synthesis based on the Higher-Order Arrow Calculus
09.01.2018     - LS 14 BA Abschlussvortrag: Entwicklung eines Tools und Durchführung einer Fallstudie zur kontinuirlichen statischen Code-Analyse

2017

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
19.12.2017     - LS14 / ISST MA Einführungsvortrag: Entwicklung eines Workflow-Editors für Datenanalysten
19.12.2017     - LS14 MA Einführungsvortrag: Vergleich einiger DSL-Ansätze für die Steuerung eines Sensors anhand des Beispiels Rasperry Pi Sense HAT
05.12.2017     - LS14 BA Abschlussvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten
05.12.2017     - LS14 BA Abschlussvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving
05.12.2017     - LS14 BA Abschlussvortrag: Analyse und Modellierung der Komponenten eines Materialflusssystems mittels AnyLogic
04.12.2017     - MB / Wiederkehr PA Abschlussvortrag: Energiebedarf, Eigenschaften und die damit verbundenen Interaktionen von typischen in der Produktionstechnik verwendeten Druckluftsystemen und deren Bestandteilen
22.11.2017     - MB / Wiederkehr PA Abschlussvortrag: Grundlagenuntersuchungen zur Zerspanbarkeit von LIBO-Schichten mittels des Mikrofräsens
21.11.2017     - LS14/ISST MA Einführungsvortrag: Generierung von SPARQL Anfragen durch das semantische Parsen faktoider Fragen unter Verwendung neuronaler Netze
07.11.2017     - LS14 /ISST MA Einführungsvortrag: Ein Ende-zu-Ende Dialogsystem zur Exploration und Analyse von großen Datenmengen auf Basis von neuronalen Netzen
07.11.2017     - LS14 MA Abschlussvortrag: Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung der vorhandenen Ressourcen
01.11.2017     - MB / Wiederkehr PA Abschlussvortrag: Modellierung von Werkzeugverschleiß für die Simulation von gefrästen Oberflächenstrukturen
24.10.2017     - LS14 BA Abschlussvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS
24.10.2017     - LS14 BA Abschlussvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse
10.10.2017     - LS14 + Autoform BA Abschlussvortrag: AutoForm DataManager zur Verwaltung von AutoForm-Dateien
26.09.2017     - LS14 MA Abschlussvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings
26.09.2017     - LS14 BA Abschlussvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung
19.07.2017     - MB / Wiederkehr MA Abschlussvortrag: Optimierung von Mikrofräswerkzeugen für die Zerspanung hochharter Werkzeugstähle zur Erzeugung hochwertiger Oberflächen
18.07.2017     - LS14 MA Zwischenvortrag: Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung der vorhandenen Ressourcen
04.07.2017     - LS14 BA Einführungsvortrag: Entwicklung eines Tools und Durchführung einer Fallstudie zur kontinuierlichen statischen Code-Analyse
04.07.2017     - LS14 MA Abschlussvortrag: Entwicklung einer Compilations- und Ausführungsumgebung für eine formal verifizierbare imperative Sprache zur Programmierung von Raspberry Pis
21.06.2017     - MB / Wiederkehr MA Abschlussvortrag: Evaluation of an analytical approach and a geometric physically-based simulation for the prediction of stability lobe diagrams and chatter frequencies in milling processes
06.06.2017     - LS14 BA Abschlussvortrag: Konzeption und Umsetzung für eine Testauswertung DO-BINE
06.06.2017     - LS14 BA Einführungsvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten
23.05.2017     - LS14 BA Einführungsvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS
23.05.2017     - LS14 BA Einführungsvortrag: Analyse und Modellierung der Komponenten eines Materialflusssystems mittels AnyLogic
23.05.2017     - LS14 BA Einführungsvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving
09.05.2017     - LS14 BA Abschlussvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus
09.05.2017     - LS14 MA Einführungsvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings
09.05.2017     - LS14 BA Einführungsvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse
09.05.2017     - LS14 MA Abschlussvortrag: Erweiterung von Eclipse um Java Template Code
29.03.2017     - LS14 BA Einführungsvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung
01.03.2017     - LS14 + AutoForm BA Einführungsvortrag: AutoForm DataManager zur Verwaltung von AutoForm-Dateien  Erstellung einer Abstraktion für das lokale Management von AutoForm-bezogenen Dateien mithilfe eines Versionsverwaltungssystems
01.03.2017     - LS14 BA Abschlussvortrag: Entwicklung eines Taxonomie-Editors für das CPS-Werkzeug zur Prozesssynthese
15.02.2017     -    
01.02.2017     - LS14 MA Abschlussvortrag: Verbesserung einer bestehenden Webanwendung mittels Usability Testing
01.02.2017     - LS14 MA Einführungsvortrag: Process Synthesis based on the Higher-Order Arrow Calculus

2016

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
23.11.2016     - LS14 BA Abschlussvortrag: Entwurf und Implementierung eines Eclipse Plug-Ins für die Auswahl von Prozessfragmenten zur Synthese von Geschäftsprozessen
23.11.2016     - LS14/Rehabilitationswissenschaften BA Einführungsvortrag: tba
09.11.2016     - LS14 BA Abschlussvortrag: Regeln für die Bewertung der Qualität von UML-Diagrammen
02.11.2016     - LS14 Abschlussvortrag: Spielende kooperierende Agenten
19.10.2016     - ISST BA Abschlussvortrag: Spezifikation und Implementierung einer domänenspezifischen Abfragesprache für einen Metadatenverzeichnisdienst
17.08.2016     - LS14 BA Einführungsvortrag: Entwicklung eines Taxonomie-Editors ur das CPS-Werkzeug zur Prozesssynthese
17.08.2016     - LS14 BA Abschlussvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse
03.08.2016     - LS14/Materna BA Abschlussvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips
06.07.2016     - LS14 MA Abschlussvortrag: Entwicklung eines Beschreibungsmodells und Analysesystems zur Überprüfung der Eignung von Beacons für verschiedene Anwendungsbereiche
06.07.2016     - LS14 BA Abschlussvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops
29.06.2016     - LS14 BA Zwischenvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse
15.06.2016     - LS14 BA Einführungsvortrag: Beurteilung der Qualität von UML-Diagrammen mit dem SMT-Solver Z3
08.06.2016     - LS14 BA Abschlussvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus
25.05.2016     - LS14 BA Einführungsvortrag: tba
25.05.2016     - LS14 MA Einführungsvortrag: Usability Testing zur Verbesserung einer bestehenden Webanwendung
11.05.2016     - LS14/Institut für Musik und Musikwissenschaft BA Abschlussvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus
27.04.2016     - ISST MA Einführungsvortrag: tba
27.04.2016     - LS14 BA Einführungsvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus
27.04.2016     - LS14 BA Einführungsvortrag: Synthese von Continuous-Integration Pipelines
27.04.2016     - LS14 MA Einführungsvortrag: Synthese von Unit- und Integrationstests
13.04.2016     - LS14 BA Proposalvortrag: Syntax- und Konsistenzchecks von UML-Diagrammen
16.03.2016     - LS14 MA Einführungsvortrag: Digitalisierung im Pflegesektor: Systematisches Requirements Engineering mit Vergleich von Prozessmodellierungsarten auf verschiedenen Detailebenen am Beispiel einer Online-Marktplattform
16.03.2016     - LS14 MA Einführungsvortrag: Digitalisierung im Pflegesektor: Entwurf und Implementierung eines Frameworks zum Antragsprozessmanagementunter Zuhilfenahme eines Inhabitationsalgorithmus am Beispiel einer Online-Marktplattform
10.02.2016     - LS14 MA Abschlussvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus
10.02.2016     - LS14 BA Proposalvortrag: Entwurf und Implementierung eines Frameworks zur Analyse von BPMN Netzen mithilfe struktureller Testverfahren in Activiti
27.01.2016     - LS14/WILO SE MA Abschlussvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
13.01.2016     - LS14 BA Einführungsvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips
13.01.2016     - LS14 BA Einführungsvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus

2015

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
02.12.2015     - LS14 BA Abschlussvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse
18.11.2015     - LS14/Institut für Musik und Musikwissenschaft BA Einführungsvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus
18.11.2015     - ISST BA Einführungsvortrag: Erfassung der Kosten und Nutzen von IT-Sicherheitsinvestitionen: Bewertung der Geschäftsprozesse, Wiederherstellung und IT-Sicherheitsmaßnahmen
18.11.2015     - LS14 BA Einführungsvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops
21.10.2015     - LS14/WILO SE MA Zwischenvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
21.10.2015     - LS14 MA Proposalvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus
15.07.2015     - LS14 BA Proposalvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse
15.07.2015     - LS14 MA Proposalvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
15.07.2015     - LS14 BA Abschlussvortrag: Entwurf, Implementierung und Test eines erweiterbaren Frameworks zur Bewertung von Geschäftsprozessen in BPMN mittels Metriken
17.06.2015     - ISST MA Zwischenvortrag: Evaluation von BMPN und CMMN zur Entwicklung einer Prozesssteuerungskomponente für die Integration in die Elektronische FallAkte unter Verwendung der Camunda-Plattform
17.06.2015     - ISST BA Abschlussvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade
03.06.2015     - LS14 BA Zwischenvortrag:
07.01.2015     - LS14 BA Proposalvortrag: tba
07.01.2015     - ISST MA Proposalvortrag: Evaluation von BMPN und CMMN zur Entwicklung einer Prozesssteuerungskomponente für die Integration in die Elektronische FallAkte unter Verwendung der Camunda-Plattform

2014

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
21.11.2014     - LS14 BA Proposalvortrag: Einsatz von JavaFX 8 in Software-Projekten zur Realisierung grafischer Benutzungsschnittstellen im Software-Praktikum
21.11.2014     - ISST BA Proposalvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade
03.11.2014     - LS14 BA Abschlussvortrag: Die Zukunft des Lernens im Netz: Das Beispiel der Massive Open Online Courses (MOOCs)
15.10.2014     - LS14 BA Abschlussvortrag: Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus
01.10.2014     - LS14 DA Einführungsvortrag:
01.10.2014     - ISST BA Abschlussvortrag: Konzeption und Implementierung eines modularen Frameworks zur flexiblen Anbindung von Vitalwertsensoren auf Basis des OSGi-Frameworks
28.05.2014     - LS14 Einsatz von „Spiele-Bibliotheken“ für die Realisierung von 2D-Computer-Spielen im Software-Praktikum
28.05.2014     - LS14 Clean Code - Code-Qualität im Software-Praktikum
28.05.2014     - LS14 Klassifizierung von Texten unter Einsatz von selbstlernenden Algorithmen der Open-Source-Umgebung RapidMiner
30.04.2014     - LS14 Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus
22.01.2014     - LS14 Synthesizing Dependency Injection Configurations for the Spring Framework
22.01.2014     - LS14 Synthese von Orchestrationscode für Cloud-basierte Dienste
22.01.2014     - ISST Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern

2013

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
18.12.2013     - ISST Konzeption eines EFA-Portal-Plugins zur Abbildung von EFA Metadaten auf strukturierte Event Logs unter Nutzung des XES Standards
18.12.2013     - LS14 Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus
18.12.2013     - LS14 Automatische Generierung einer Java GUI unter Zuhilfenahme eines Inhabitationsalgorithmus
04.12.2013     - LS14 BA Abschlussvortrag: Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus
06.11.2013     - ISST MA Abschlussvortrag: Einsatz von Verfahren des maschinellen Lernens und Data Minings zur Optimierung von therapeutischen Trainingsplänen
06.11.2013     - ISST BA Proposalvortrag: tba
06.11.2013     - LS14 BA Abschlussvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO®NXT-VIs aus einem Repository
24.10.2013     - ISST DA Abschlussvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud
24.10.2013     - ISST BA Abschlussvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog
24.10.2013     - LS14 BA Abschlussvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus
24.10.2013     - ISST DA Abschlussvortrag:
10.07.2013     - LS14 BA Proposalvortrag:
19.06.2013     - LS14 BA Proposalvortrag: Entwicklung einer webbasierten Benutzerschnittstelle für ein Framework zur automatisierten Synthese von Softwarekomponenten
19.06.2013     - LS14 DA Proposalvortrag:
19.06.2013     - ISST DA Proposalvortrag: Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern
29.05.2013     - LS14 BA Proposalvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO™ NXT-VIs aus einem Repository
29.05.2013     - LS14 MA Proposalvortrag:
29.05.2013     - LS14 BA Proposalvortrag:
15.05.2013     - ISST BA Proposalvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog
15.05.2013     - LS14 BA Proposalvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus
17.04.2013     - LS14 BA Abschlussvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow
17.04.2013     - LS14 DA Proposalvortrag:
17.04.2013     - LS14 DA Proposalvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud
06.02.2013     - LS14 BA Zwischenvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow
06.02.2013     - ISST DA Proposalvortrag: Konzeption und Realisierung einer Methodik zur modellbasierten Entwicklung des kontextadaptiven Verhaltens von AAL-Anwendungen mit Hilfe einer grafischen Entwicklungsumgebung
Zum Seitenanfang