| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 11.04.2019 | 13:00 | OH12 2.013 | Dominik Schulz | LS14 / Wiederkehr | BA Einführungsvortrag: Entwicklung einer Methode zur Optimierung von 5-Achs-Fräsprozessen unter Berücksichtigung der Achsbeschleunigung |
| 09.04.2019 | 14:15 | OH12 2.013 | Anton Bessonov | LS14 / Rehof | DA Abschlussvortrag: Entwicklung und Führung hoch-performanter Teams in der Softwareentwicklung |
| 03.04.2019 | 14 Uhr | OH12 1.054 | Martin Fitzke | LS14 / Howar | BA Abschlussvortrag: Design und prototypische Entwicklung einer servicebasierten Experimentierplattform |
| 06.03.2019 | 15:00 | OH12 2.013 | Timo Wördemann | 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 | Simon Schröder | 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 | Robin Schönborn | 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 | Kevin Kaßelmann | 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 | Marco Tesche | 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 | Christoph Parnitzke | LS 14 / Howar | BA Abschlussvortrag: Entwicklung einer domänenspezifischen Sprache für anforderungsbasierte Testfälle |
| 08.02.2019 | 16:00 | OH12 2.013 | David Gaida | 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 | Alex Tinis | LS14 / Rehof | BA Abschlussvortrag: Generierung von Prozessvarianten für Microsoft Project Netzpläne mittels CLS |
| 18.12.2018 | 14:15 | OH12 2.013 | Dominik Krüger | LS14 / Rehof | MA Abschlussvortrag: Implementierung der Typinferenz im Lambda-Kalkül mit Intersektionstypen |
| 17.12.2018 | 14:00 | 2.013 OH12 | Maren Geske | 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 | Jonas Denis | 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 | Daniel Naczinski | LS14 / Rehof | BA Abschlussvortrag: Implementierung eines Java-basierten Python3-Parsers und Syntaxbaummanipulationswerkzeugs |
| 19.11.2018 | 16:00 | OH12 2.019 | Martin Fitzke | LS14 / Howar | BA Einführungsvortrag: Design und prototypische Entwicklung einer servicebasierten Experimentierplattform |
| 19.11.2018 | 16:30 | OH12 2.019 | Jan Peter Meyer | LS14 / Howar | BA Einführungsvortrag: Entwicklung und Test von Sensor Fusion zur Unterstützung von Fahrassistenzsystemen |
| 06.11.2018 | 14:15 | OH12 2.013 | Jan Goclik | LS14 / Rehof | MA Abschlussvortrag: Inhabitation im Lambda-Kalkül mit Intersektionstypen - Eine Implementierung in Scala |
| 06.11.2018 | 14:15 | OH12 2.013 | Christoph Stahl | LS14 / Rehof | MA Abschlussvortrag: Prinzipale Inhabitation im einfach getypten Lambda-Kalkül |
| 23.10.2018 | 14:15 | OH12 2.013 | David Divis | 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 | Tobias Furmanek | 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 | Laurette Mariella Tamdjokwen M | 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 | Pascal Dulich | 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 | Eric Fiege | ISST / Howar | MA Einführungsvortrag: Detektion von epileptischen Anfällen unter Verwendung der Puls-Transit-Zeit. |
| 09.10.2018 | 14:15 | OH12 2.013 | Dominik Thiemermann | 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 | Tilman Zuckmantel | 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 | Fadil Kallat | LS14 / Rehof | MA Einführungsvortrag: Verwendung von SMT Techniken im Kontext der komponentenbasierten Softwaresynthese |
| 09.10.2018 | 14:15 | 2.013 | Dominic Starzinski | LS14 / Rehof | MA Einführungsvortrag: Statische Analyse auf Statecharts in YAKINDU SCTD |
| 12.09.2018 | 15.00 | R 2.013 | Nils Schmidt | 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 | Jannik Junghänel | 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 | Dominik Krüger | LS14 / Rehof | MA Einführungsvortrag: Implementierung der Typinferenz im Lambda-Kalkül mit Intersektionstypen |
| 31.07.2018 | 14:15 | R 2.013 | Marco Tesche | 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 | Jonas Denis | LS14 / Rehof | BA Einführungsvortrag: Entwurf und Implementierung eines synthesebasierten Ansatzes für die flexible Ausführung von Geschäftsprozessen |
| 03.07.2018 | Martin Scholten | 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 | Dennis Jan Gaidel | LS14 / ISST | MA Abschlussvortrag: Generierung von SPARQL Anfragen durch das semantische Parsen faktoider Fragen unter Verwendung neuronaler Netze | ||
| 03.07.2018 | Dominik Krüger | LS14 / ISST | MA Einführungsvortrag: Erweiterung einer Prorgammiersprache zur Datenverarbeitung um ein Berechtigungssystem | ||
| 03.07.2018 | Christoph Parnitzke | LS14 / Howar | BA Einführungsvortrag: Entwicklung einer domänenspezifischen Sprache für Anforderungsbasierte Testfälle für Webanwendungen | ||
| 03.07.2018 | David Gaida | LS14 / Howar | BA Einführungsvortrag: Testgetriebene Entwicklung von APIs und Mediatoren am Beispiel eines Dienstes zum Lösen von logischen Bedingungen | ||
| 12.06.2018 | Daniel Naczinski | LS14 / Rehof | BA Einführungsvortrag: Implementierung eines Java-basierten Python3-Parsers und Syntaxbaummanipulationswerkzeugs | ||
| 12.06.2018 | Alex Tinis | LS14 / Rehof | BA Einführungsvortrag: Generierung von Prozessvarianten für Microsoft Project Netzpläne mittels CLS | ||
| 04.06.2018 | Tobias Furmanek | 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 | Alexander Schäferdiek | LS14 / ISST | MA Abschlussvortrag: Entwicklung eines Workflow-Editors für Datenanalysten | ||
| 14.05.2018 | Dennis Ochocki | LS14 / Howar | BA Einführungsvortrag: Design einer Domänen-spezifischen Sprache zur Beschreibung von Abläufen von Ereignissen im Straßenverkehr | ||
| 08.05.2018 | Tilman Zuckmantel | LS14 / Rehof | BA Einführungsvortrag: Concept and Implementation of a Parser and Pretty-Printer based on the Coq Proof Assistant | ||
| 24.04.2018 | Jan Goclik | 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 | Christoph Stahl | LS14 / Rehof | MA Einführungsvortrag: Prinzipale Inhabitation im einfach getypten Lambda-Kalkül | ||
| 10.04.2018 | Maren Geske | 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 | David Divis | 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 | Tristan Schäfer | LS14 | MA Abschlussvortrag: Process Synthesis based on the Higher-Order Arrow Calculus | ||
| 09.01.2018 | Alexander Kojen | 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 | Alexander Schäferdiek | LS14 / ISST | MA Einführungsvortrag: Entwicklung eines Workflow-Editors für Datenanalysten | ||
| 19.12.2017 | Laurette M. Tamdjokwen Mefowe | 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 | Max Brämer | LS14 | BA Abschlussvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten | ||
| 05.12.2017 | Robin Weisbauer | LS14 | BA Abschlussvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving | ||
| 05.12.2017 | Robin Czarnetzki | 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 | Dennis Gaidel | LS14/ISST | MA Einführungsvortrag: Generierung von SPARQL Anfragen durch das semantische Parsen faktoider Fragen unter Verwendung neuronaler Netze | ||
| 07.11.2017 | Martin Scholten | 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 | Jannik Zappe | 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 | Marco Pennekamp | LS14 | BA Abschlussvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS | ||
| 24.10.2017 | Philipp Baumert | LS14 | BA Abschlussvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse | ||
| 10.10.2017 | Timon Sassor | LS14 + Autoform | BA Abschlussvortrag: AutoForm DataManager zur Verwaltung von AutoForm-Dateien | ||
| 26.09.2017 | Oliver Seifert | LS14 | MA Abschlussvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings | ||
| 26.09.2017 | Inessa Azizova | 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 | Jannik Zappe | LS14 | MA Zwischenvortrag: Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung der vorhandenen Ressourcen | ||
| 04.07.2017 | Alexander Kojen | LS14 | BA Einführungsvortrag: Entwicklung eines Tools und Durchführung einer Fallstudie zur kontinuierlichen statischen Code-Analyse | ||
| 04.07.2017 | Patrick Wolf | 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 | Lisa Janning | LS14 | BA Abschlussvortrag: Konzeption und Umsetzung für eine Testauswertung DO-BINE | ||
| 06.06.2017 | Max Brämer | LS14 | BA Einführungsvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten | ||
| 23.05.2017 | Marco Pennekamp | LS14 | BA Einführungsvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS | ||
| 23.05.2017 | Robin Czarnetzki | LS14 | BA Einführungsvortrag: Analyse und Modellierung der Komponenten eines Materialflusssystems mittels AnyLogic | ||
| 23.05.2017 | Robin Weisbauer | LS14 | BA Einführungsvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving | ||
| 09.05.2017 | Daniel Scholtyssek | LS14 | BA Abschlussvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 09.05.2017 | Oliver Seifert | LS14 | MA Einführungsvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings | ||
| 09.05.2017 | Philipp Baumert | LS14 | BA Einführungsvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse | ||
| 09.05.2017 | Timo Etzold | LS14 | MA Abschlussvortrag: Erweiterung von Eclipse um Java Template Code | ||
| 29.03.2017 | Inessa Azizova | LS14 | BA Einführungsvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung | ||
| 01.03.2017 | Timon Sassor | 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 | Timo Walter | LS14 | BA Abschlussvortrag: Entwicklung eines Taxonomie-Editors für das CPS-Werkzeug zur Prozesssynthese | ||
| 15.02.2017 | DiDo fällt aus | ||||
| 01.02.2017 | Marc Walocha | LS14 | MA Abschlussvortrag: Verbesserung einer bestehenden Webanwendung mittels Usability Testing | ||
| 01.02.2017 | Tristan Schäfer | LS14 | MA Einführungsvortrag: Process Synthesis based on the Higher-Order Arrow Calculus |
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 23.11.2016 | Frank Milkereit | LS14 | BA Abschlussvortrag: Entwurf und Implementierung eines Eclipse Plug-Ins für die Auswahl von Prozessfragmenten zur Synthese von Geschäftsprozessen | ||
| 23.11.2016 | Lisa Janning | LS14/Rehabilitationswissenschaften | BA Einführungsvortrag: tba | ||
| 09.11.2016 | Sarah Graf | LS14 | BA Abschlussvortrag: Regeln für die Bewertung der Qualität von UML-Diagrammen | ||
| 02.11.2016 | PG-596 | LS14 | Abschlussvortrag: Spielende kooperierende Agenten | ||
| 19.10.2016 | Theodor Schnitzler | ISST | BA Abschlussvortrag: Spezifikation und Implementierung einer domänenspezifischen Abfragesprache für einen Metadatenverzeichnisdienst | ||
| 17.08.2016 | Timo Walter | LS14 | BA Einführungsvortrag: Entwicklung eines Taxonomie-Editors ur das CPS-Werkzeug zur Prozesssynthese | ||
| 17.08.2016 | Sascha Bülles | LS14 | BA Abschlussvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse | ||
| 03.08.2016 | Maximilian Otten | LS14/Materna | BA Abschlussvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips | ||
| 06.07.2016 | Matthias Wisniewski | LS14 | MA Abschlussvortrag: Entwicklung eines Beschreibungsmodells und Analysesystems zur Überprüfung der Eignung von Beacons für verschiedene Anwendungsbereiche | ||
| 06.07.2016 | Matthias Krebin | LS14 | BA Abschlussvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops | ||
| 29.06.2016 | Sascha Bülles | LS14 | BA Zwischenvortrag: Entwurf und Implementierung eines Frameworks zur Extraktion von Unittests für BPMN Prozesse | ||
| 15.06.2016 | Fadil Kallat | LS14 | BA Einführungsvortrag: Beurteilung der Qualität von UML-Diagrammen mit dem SMT-Solver Z3 | ||
| 08.06.2016 | Daniel Sendzik | LS14 | BA Abschlussvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus | ||
| 25.05.2016 | Sarah Graf | LS14 | BA Einführungsvortrag: tba | ||
| 25.05.2016 | Marc Walocha | LS14 | MA Einführungsvortrag: Usability Testing zur Verbesserung einer bestehenden Webanwendung | ||
| 11.05.2016 | Robert Burckhardt | LS14/Institut für Musik und Musikwissenschaft | BA Abschlussvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 27.04.2016 | Theodor Schnitzler | ISST | MA Einführungsvortrag: tba | ||
| 27.04.2016 | Daniel Scholtyssek | LS14 | BA Einführungsvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 27.04.2016 | Dominik Krüger | LS14 | BA Einführungsvortrag: Synthese von Continuous-Integration Pipelines | ||
| 27.04.2016 | Maik Manjura | LS14 | MA Einführungsvortrag: Synthese von Unit- und Integrationstests | ||
| 13.04.2016 | Stefan Todorinski | LS14 | BA Proposalvortrag: Syntax- und Konsistenzchecks von UML-Diagrammen | ||
| 16.03.2016 | Andreas Helget | 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 | Patrick Schramowski | 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 | Sebastian Kurth | LS14 | MA Abschlussvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 10.02.2016 | Sascha Bülles | LS14 | BA Proposalvortrag: Entwurf und Implementierung eines Frameworks zur Analyse von BPMN Netzen mithilfe struktureller Testverfahren in Activiti | ||
| 27.01.2016 | Deepika Anandakrishnan | LS14/WILO SE | MA Abschlussvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives | ||
| 13.01.2016 | Maximilian Otten | LS14 | BA Einführungsvortrag: CRISP-DM: Anwendung auf Daten von MATERNAips | ||
| 13.01.2016 | Daniel Sendzik | LS14 | BA Einführungsvortrag: Synthese von constraint-basierten Deployments von Cloud-Anwendungen mit Hilfe eines Inhabitationsalgorithmus |
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 02.12.2015 | Dominic Starzinski | LS14 | BA Abschlussvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse | ||
| 18.11.2015 | Robert Burckhardt | LS14/Institut für Musik und Musikwissenschaft | BA Einführungsvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 18.11.2015 | Liudmila Vishnyakova | ISST | BA Einführungsvortrag: Erfassung der Kosten und Nutzen von IT-Sicherheitsinvestitionen: Bewertung der Geschäftsprozesse, Wiederherstellung und IT-Sicherheitsmaßnahmen | ||
| 18.11.2015 | Matthias Krebin | LS14 | BA Einführungsvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops | ||
| 21.10.2015 | Deepika Anandakrishnan | LS14/WILO SE | MA Zwischenvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives | ||
| 21.10.2015 | Sebastian Kurth | LS14 | MA Proposalvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 15.07.2015 | Dominic Starzinski | LS14 | BA Proposalvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse | ||
| 15.07.2015 | Deepika Anandakrishnan | LS14 | MA Proposalvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives | ||
| 15.07.2015 | Kristof Wilke | LS14 | BA Abschlussvortrag: Entwurf, Implementierung und Test eines erweiterbaren Frameworks zur Bewertung von Geschäftsprozessen in BPMN mittels Metriken | ||
| 17.06.2015 | Dominik Mohr | 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 | Christian Everke | ISST | BA Abschlussvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade | ||
| 03.06.2015 | Kristof Wilke | LS14 | BA Zwischenvortrag: | ||
| 07.01.2015 | Kristof Wilke | LS14 | BA Proposalvortrag: tba | ||
| 07.01.2015 | Dominik Mohr | 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 |
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 21.11.2014 | Christopher Schütte | LS14 | BA Proposalvortrag: Einsatz von JavaFX 8 in Software-Projekten zur Realisierung grafischer Benutzungsschnittstellen im Software-Praktikum | ||
| 21.11.2014 | Christian Everke | ISST | BA Proposalvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade | ||
| 03.11.2014 | Blanca Estela Wannöffel-Peña | LS14 | BA Abschlussvortrag: Die Zukunft des Lernens im Netz: Das Beispiel der Massive Open Online Courses (MOOCs) | ||
| 15.10.2014 | Fabian Kotschenreuther | LS14 | BA Abschlussvortrag: Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 01.10.2014 | Zani Zarkisyan | LS14 | DA Einführungsvortrag: | ||
| 01.10.2014 | Eric Fiege | ISST | BA Abschlussvortrag: Konzeption und Implementierung eines modularen Frameworks zur flexiblen Anbindung von Vitalwertsensoren auf Basis des OSGi-Frameworks | ||
| 28.05.2014 | Jens Veuhoff | LS14 | Einsatz von „Spiele-Bibliotheken“ für die Realisierung von 2D-Computer-Spielen im Software-Praktikum | ||
| 28.05.2014 | Julian Remmers | LS14 | Clean Code - Code-Qualität im Software-Praktikum | ||
| 28.05.2014 | Marc Walocha | LS14 | Klassifizierung von Texten unter Einsatz von selbstlernenden Algorithmen der Open-Source-Umgebung RapidMiner | ||
| 30.04.2014 | Fabian Kotschenreuther | LS14 | Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 22.01.2014 | Jan Bessai | LS14 | Synthesizing Dependency Injection Configurations for the Spring Framework | ||
| 22.01.2014 | Anna Vasileva | LS14 | Synthese von Orchestrationscode für Cloud-basierte Dienste | ||
| 22.01.2014 | Daniel Spasovski | ISST | Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern |
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 18.12.2013 | Lutz Oettershagen | ISST | Konzeption eines EFA-Portal-Plugins zur Abbildung von EFA Metadaten auf strukturierte Event Logs unter Nutzung des XES Standards | ||
| 18.12.2013 | Eike Ogkler | LS14 | Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus | ||
| 18.12.2013 | Matthias Wisniewski | LS14 | Automatische Generierung einer Java GUI unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 04.12.2013 | Sebastian Gnitkowitz | 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 | Andriy Kadyba | ISST | MA Abschlussvortrag: Einsatz von Verfahren des maschinellen Lernens und Data Minings zur Optimierung von therapeutischen Trainingsplänen | ||
| 06.11.2013 | Eric Fiege | ISST | BA Proposalvortrag: tba | ||
| 06.11.2013 | Patrick Wolf | LS14 | BA Abschlussvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO®NXT-VIs aus einem Repository | ||
| 24.10.2013 | Tim Düllmann | ISST | DA Abschlussvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud | ||
| 24.10.2013 | Sebastian Kurth | ISST | BA Abschlussvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog | ||
| 24.10.2013 | Steffen Plate | LS14 | BA Abschlussvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 24.10.2013 | Ralph Bochon | ISST | DA Abschlussvortrag: | ||
| 10.07.2013 | Matthias Wisniewski | LS14 | BA Proposalvortrag: | ||
| 19.06.2013 | Eike Ogkler | LS14 | BA Proposalvortrag: Entwicklung einer webbasierten Benutzerschnittstelle für ein Framework zur automatisierten Synthese von Softwarekomponenten | ||
| 19.06.2013 | Anna Vasileva | LS14 | DA Proposalvortrag: | ||
| 19.06.2013 | Daniel Spasovski | ISST | DA Proposalvortrag: Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern | ||
| 29.05.2013 | Patrick Wolf | LS14 | BA Proposalvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO™ NXT-VIs aus einem Repository | ||
| 29.05.2013 | Jan Bessai | LS14 | MA Proposalvortrag: | ||
| 29.05.2013 | Sebastian Gnittkowitz | LS14 | BA Proposalvortrag: | ||
| 15.05.2013 | Sebastian Kurth | ISST | BA Proposalvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog | ||
| 15.05.2013 | Steffen Plate | LS14 | BA Proposalvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 17.04.2013 | Agata Berg | LS14 | BA Abschlussvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow | ||
| 17.04.2013 | Benjamin Titz | LS14 | DA Proposalvortrag: | ||
| 17.04.2013 | Tim Düllmann | LS14 | DA Proposalvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud | ||
| 06.02.2013 | Agata Berg | LS14 | BA Zwischenvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow | ||
| 06.02.2013 | Ralf Bochon | ISST | DA Proposalvortrag: Konzeption und Realisierung einer Methodik zur modellbasierten Entwicklung des kontextadaptiven Verhaltens von AAL-Anwendungen mit Hilfe einer grafischen Entwicklungsumgebung |