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 |