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 |
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: http://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? |
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ückerstatung |
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" |
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 |
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 |
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 |