Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Bereichsnavigation

Hauptinhalt

DiDo Vortragsliste

2019

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
08.01.2019 13:00 OH12 2.013 LS14 / Wiederkehr Abschlussvortrag: Projektarbeit "Identifikation von Materialparameterwerten für das Johnson-Cook-Modell auf Grundlage des Split-Hopkinson-Bar-Versuchs"

2018

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
18.12.2018 14:15 OH12 2.013 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
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
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
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

2017

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
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
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
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
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

2016

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

2015

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

2014

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

2013

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