Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

DiDo Vortragsliste

2020

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
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

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"

2018

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

2017

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

2016

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

2015

Datum Uhrzeit Raum Vortragender Arbeitsgruppe / Institut Thema
02.12.2015 - LS14 BA Abschlussvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse
18.11.2015 - LS14/Institut für Musik und Musikwissenschaft BA Einführungsvortrag: Automatische Komposition von Zwölftonmusik unter Zuhilfenahme eines Inhabitationsalgorithmus
18.11.2015 - ISST BA Einführungsvortrag: Erfassung der Kosten und Nutzen von IT-Sicherheitsinvestitionen: Bewertung der Geschäftsprozesse, Wiederherstellung und IT-Sicherheitsmaßnahmen
18.11.2015 - LS14 BA Einführungsvortrag: Inhabitationsbasierte Synthese von JavaScript Code am Beispiel eines Webshops
21.10.2015 - LS14/WILO SE MA Zwischenvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
21.10.2015 - LS14 MA Proposalvortrag: Automatische Generierung von ausführbaren medizinischen BPMN-Modellen unter Zuhilfenahme eines Inhabitationsalgorithmus
15.07.2015 - LS14 BA Proposalvortrag: Java Call Sequence Tree Generator (JCSTG) – Ein Werkzeug zur dynamischen Code-Analyse
15.07.2015 - LS14 MA Proposalvortrag: Automation Concept Development for the Automation Tool-Chain for Qualification of Electrical Pump Drives
15.07.2015 - LS14 BA Abschlussvortrag: Entwurf, Implementierung und Test eines erweiterbaren Frameworks zur Bewertung von Geschäftsprozessen in BPMN mittels Metriken
17.06.2015 - 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 - ISST BA Abschlussvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade
03.06.2015 - LS14 BA Zwischenvortrag:
07.01.2015 - LS14 BA Proposalvortrag: tba
07.01.2015 - 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 - LS14 BA Proposalvortrag: Einsatz von JavaFX 8 in Software-Projekten zur Realisierung grafischer Benutzungsschnittstellen im Software-Praktikum
21.11.2014 - ISST BA Proposalvortrag: Konzeption und Implementierung eins regelbasierten Ansatzes zur Spezifikation von Prozessfragmenten im Rahmen der modulbasierten Modellierung klinischer Pfade
03.11.2014 - LS14 BA Abschlussvortrag: Die Zukunft des Lernens im Netz: Das Beispiel der Massive Open Online Courses (MOOCs)
15.10.2014 - LS14 BA Abschlussvortrag: Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus
01.10.2014 - LS14 DA Einführungsvortrag:
01.10.2014 - ISST BA Abschlussvortrag: Konzeption und Implementierung eines modularen Frameworks zur flexiblen Anbindung von Vitalwertsensoren auf Basis des OSGi-Frameworks
28.05.2014 - LS14 Einsatz von „Spiele-Bibliotheken“ für die Realisierung von 2D-Computer-Spielen im Software-Praktikum
28.05.2014 - LS14 Clean Code - Code-Qualität im Software-Praktikum
28.05.2014 - LS14 Klassifizierung von Texten unter Einsatz von selbstlernenden Algorithmen der Open-Source-Umgebung RapidMiner
30.04.2014 - LS14 Automatische Generierung einer Produktlinie von einer Android Applikation unter Zuhilfenahme eines Inhabitationsalgorithmus
22.01.2014 - LS14 Synthesizing Dependency Injection Configurations for the Spring Framework
22.01.2014 - LS14 Synthese von Orchestrationscode für Cloud-basierte Dienste
22.01.2014 - 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 - ISST Konzeption eines EFA-Portal-Plugins zur Abbildung von EFA Metadaten auf strukturierte Event Logs unter Nutzung des XES Standards
18.12.2013 - LS14 Konzeption und Implementierung einer Softwarelösung zur automatischen Überführung von Java Bibliotheken in Typumgebungen für einen Typinhabitationsalgorithmus
18.12.2013 - LS14 Automatische Generierung einer Java GUI unter Zuhilfenahme eines Inhabitationsalgorithmus
04.12.2013 - 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 - ISST MA Abschlussvortrag: Einsatz von Verfahren des maschinellen Lernens und Data Minings zur Optimierung von therapeutischen Trainingsplänen
06.11.2013 - ISST BA Proposalvortrag: tba
06.11.2013 - LS14 BA Abschlussvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO®NXT-VIs aus einem Repository
24.10.2013 - ISST DA Abschlussvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud
24.10.2013 - ISST BA Abschlussvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog
24.10.2013 - LS14 BA Abschlussvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus
24.10.2013 - ISST DA Abschlussvortrag:
10.07.2013 - LS14 BA Proposalvortrag:
19.06.2013 - LS14 BA Proposalvortrag: Entwicklung einer webbasierten Benutzerschnittstelle für ein Framework zur automatisierten Synthese von Softwarekomponenten
19.06.2013 - LS14 DA Proposalvortrag:
19.06.2013 - ISST DA Proposalvortrag: Entwicklung einer ereignisbasierten Middleware zur Erkennung prozessrelevanter Fachereignisse auf Basis von Integrationsplattformen in Krankenhäusern
29.05.2013 - LS14 BA Proposalvortrag: Entwicklung eines Adapters mit VI Scripting (LabVIEW) zur Synthese von LEGO™ NXT-VIs aus einem Repository
29.05.2013 - LS14 MA Proposalvortrag:
29.05.2013 - LS14 BA Proposalvortrag:
15.05.2013 - ISST BA Proposalvortrag: Implementierung einer Software für Pflegedienstleister zur Erstellung von Prozessmodellen aus einem dafür entwickelten Dienstekatalog
15.05.2013 - LS14 BA Proposalvortrag: Automatische Generierung einer Konfiguration für virtuelle Maschinen unter Zuhilfenahme eines Inhabitationsalgorithmus
17.04.2013 - LS14 BA Abschlussvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow
17.04.2013 - LS14 DA Proposalvortrag:
17.04.2013 - LS14 DA Proposalvortrag: Auftragsverwaltung mittels Tracking intelligenter Produkte in der Cloud
06.02.2013 - LS14 BA Zwischenvortrag: Modelltransformator vom XML-Resultat eines Inhabitationsservices in einen AristaFlowWorkflow
06.02.2013 - ISST DA Proposalvortrag: Konzeption und Realisierung einer Methodik zur modellbasierten Entwicklung des kontextadaptiven Verhaltens von AAL-Anwendungen mit Hilfe einer grafischen Entwicklungsumgebung