DiDo Vortragsliste 2019
Das DiDo-Seminar ist eine Veranstaltung für Bachelor- und Masterstudierende, DoktorandInnen und Postdocs. Weiterführende Informationen sind auf der DiDo-Seminar Seite zu finden.
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" |