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