Datum |
Uhrzeit |
Raum |
Vortragender |
Arbeitsgruppe / Institut |
Thema |
15.12.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Fiete Wennier |
LS14 / Rehof |
MA Abschlussvortrag: Konzeption und Entwicklung einer Applikation zur Durchführung von Last- und Performancetests im Kontext von Microservices und Kubernetes |
15.12.2020 |
14:15 |
Telekonferenz - Daten auf Anfrage |
Pina Kolling |
LS14 / Rehof |
BA Einführungsvortrag: Gruppentheorie des 2x2x2 Zauberwürfels und dessen Lösungsalgorithmen |
14.12.2020 |
12:30 |
Web-Konferenz – Daten auf Anfrage |
Kevin Stühm |
LS14 / Wiederkehr |
MA Einführungsvortrag: Entwicklung eines auf Lernvideos basierten Unterrichtsvorhabens zum Thema Machine Learning in Form eines SPOC für den Schuleinsatz |
14.12.2020 |
12:30 |
Web-Konferenz – Daten auf Anfrage |
Johannes Mundorf |
LS14 / Wiederkehr |
MA Einführungsvortrag: Potentiale und Grenzen von IIoT-Plattformen im Bereich der zerspanenden Bearbeitung |
03.12.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Timo Santehanser |
LS14 / Howar |
BA Einführungsvortrag: Integration of Array Theory into JConstraints |
01.12.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Niklas Wende |
LS14 / Rehof |
BA Einführungsvortrag: Implementierung eines Prototypen zur Analyse der Eignung von Smartphone-Sensoren für die Wegeoptimierung durch Standorterfassung in intralogistischen Prozessen |
01.12.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Rico Ahlbäumer |
LS14 / Rehof |
MA Abschlussvortrag: Typechecking in the Calculus of Dependent Lambda Eliminations via typability in set-theoretic bounded dimension Intersection Types |
19.11.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Niklas Haldorn |
LS14 / Howar |
BA Abschlussvortrag: HL7 FHIR-basierte Umsetzung der International Patient Summary in der Elektronischen Fallakte |
18.11.2020 |
10:00 |
Webkonferenz - Daten auf Anfrage |
Melina Wenzel |
LS14 / Wiederkehr |
BA Abschlussvortrag: Entwicklung eines Virtual-Reality-Lehrsystems zur Modal- und Stabilitätsanalyse von Fräsprozessen |
17.11.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Daniel Kuhse |
LS14 / Rehof |
MA Einführungsvortrag: Certified code generation from inductive specifications |
05.11.2020 |
12:15 |
Telefonkonferenz - Daten auf Anfrage |
Oxana Warkentin |
LS14 / Howar |
MA Einführungsvortrag: Normalization of SMT Problems |
03.11.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Felix Laarmann |
LS14 / Rehof |
MA Abschlussvortrag: Coinduction in the Calculus of Dependent Lambda Eliminations |
03.11.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Mustafa Aden Omar |
LS14 / Rehof |
BA Abschlussvortrag: Implementierung eines Unity-basierten Management Tools zur Synthese von Motion Planning Algorithmen |
03.11.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Daniel Scholtyssek |
LS14 / Rehof |
MA Einführungsvortrag: Synthese von Variationen eines Systems zur Berechnung profitabler Touren für Handelsvertreter unter Zuhilfenahme eines Inhabitationsalgorithmus |
29.10.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Petar Juric |
LS14 / Howar |
MA Abschlussvortrag: Choreografische Realisierung von BPMN-Geschäftsprozessen |
20.10.2020 |
14:15 |
Telekonferenz – Daten auf Anfrage |
Rico van Endern |
LS 14 / Rehof + adesso |
MA Abschlussvortrag: Dialogmanagement im vom NLU abstrahierten Kontext |
06.10.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Marc Heyer |
LS 14 / Rehof |
BA Abschlussvortrag: Vergleich dreier Implementierungen eines minutengenauen Produktfeeds |
01.10.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Nico Koltermann |
LS14 / Howar |
BA Einführungsvortrag: Metaheuristische Optimierung von Reglern zur lateralen und longitudinalen Steuerung eines autonomen Rennwagens |
24.09.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Timm Horny |
LS14 / Howar |
BA Abschlussvortrag: Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers |
24.09.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Maximilian König |
LS14 / Howar |
BA Abschlussvortrag: Prototypische Implementierung eines systemunabhängigen Light Node zur Überwachung von Prozessen im Supply Chain Management |
22.09.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Tilman Zuckmantel |
LS 14 / Rehof |
MA Einführungsvortrag: Visualizing Scala Programs using the Unified Modelling Language |
16.09.2020 |
09:30 |
Web-Konferenz, Daten auf Anfrage |
|
LS14 / Wiederkehr |
MA Einführungsvortrag: Modellierung der Randzonenbeeinflussung in Abhängigkeit der NC-Strategie bei Fräsprozessen |
16.09.2020 |
09:30 |
Web-Konferenz, Daten auf Anfrage |
|
LS14 / Wiederkehr |
BA Einführungsvortrag: Konzeption einer formalen Sprache zur Abbildung von Werkzeugschneiden und Entwicklung eines Interpreters zur Überführung in strukturierte Gitternetze |
10.09.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Julien Leuering |
LS14 / Howar |
BA Abschlussvortrag: Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung |
25.08.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Jonas Wielage |
LS 14 / Rehof |
MA Abschlussvortrag: Statische Analyse mittels Symbolic Execution von Zustandsautomaten |
11.08.2020 |
14:45 |
Telefonkonferenz - Daten auf Anfrage |
Dominik Mäckel |
LS 14 / Rehof |
BA Abschlussvortrag: Synthese von Scheduling-Heuristiken für Flow Shop- und Job Shop-Probleme zur Makespanminimierung durch Komponentisierung und Rekombination |
11.08.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Goddy Ntongwe Asale |
LS 14 / Rehof |
MA Abschlussvortrag: Implementation and Evaluation of Different Prediction Models for Predicting long-term Developments of Numeric Data |
11.08.2020 |
15:15 |
Telefonkonferenz - Daten auf Anfrage |
Severin Mengers |
LS 14 / Rehof |
BA Abschlussvortrag: Entwicklung einer verifizierten Bibliothek für Graphalgorithmen in Idris |
28.07.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Nicolas Lenz |
LS 14 / Rehof |
BA Abschlussvortrag: Design and Algebraic Implementation of a Functional Programming Language |
16.07.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Daniel Meier |
LS14 / Howar |
BA Abschlussvortrag: Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests |
16.07.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Richard Stewing |
LS14 / Howar |
MA Abschlussvortrag: Taint-Analyse: Ein typbasierter Ansatz |
09.07.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Finn Thieme |
LS14 / Howar |
MA Einführungsvortrag: Agile Reifegradmodelle in IT-Unternehmen: Anwendung und Bezug zum Unternehmenserfolg |
02.07.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Brian Jahnke |
LS14 / Howar |
MA Abschlussvortrag: Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen |
30.06.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Inessa Azizova |
LS 14 / Rehof |
MA Abschlussvortrag: Planung und Evaluierung eines Modellierungsverfahrens zur Dokumentenanalyse |
30.06.2020 |
14:15 |
Telefonkonferenz - Daten auf Anfrage |
Yannik Wegener |
LS 14 / Rehof |
BA Einführungsvortrag: Entwicklung eines Unifikationstools zur Auswertung von IFC-Daten im Kontext von digitalen Bauantragsverfahren |
25.06.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Leon Hißmann |
LS14 / Howar |
BA Abschlussvortrag: Requirements Engineering für ein Management-Tool als Ergänzung zum Produkt in/sure Health Claims zur weiteren Steuerung des Geschäftsprozesses der Kostenrückerstattung |
18.06.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Tim Tannert |
LS14 / Howar |
MA Einführungsvortrag: Entwicklung eines verteilten Datensammlersystems im automotiven Umfeld |
18.06.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Brian Jahnke |
LS14 / Howar |
MA Abschlussvortrag: Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen |
16.06.2020 |
14:15 |
Telekonferenz – Daten auf Anfrage |
Mustafa Aden Omar |
LS14 / Rehof |
BA Einführungsvortrag: Implementierung eines Unity-basierten Management Tools zur Synthese von Motion Planning Algorithmen |
28.05.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Onur Basbayandur |
LS14 / Howar |
BA Abschlussvortrag: Entwurf einer konfigurierbaren und automatisierten Verarbeitungspipeline für Machine Learning |
28.05.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Timm Horny |
LS14 / Howar |
BA Einführungsvortrag: Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers |
19.05.2020 |
14:00 |
Web-Konferenz |
|
LS14 / Wiederkehr |
BA Abschlussvortrag: Vorhersage der Prozessstabilität bei Fräsprozessen mithilfe von Verfahren des maschinellen Lernens anhand von simulierten sowie experimentellen Daten |
19.05.2020 |
14:00 |
Web-Konferenz |
|
LS14 / Wiederkehr |
BA Abschlussvortrag: Augmentation von Trainingsdaten für die automatisierte Kornerkennung zur Generierung von punktbasierten Werkzeugmodellen für die Simulation von Schleifprozessen mithilfe von Methoden des maschinelle |
19.05.2020 |
14:00 |
Web-Konferenz |
|
LS 14 / Wiederkehr |
PA Abschlussvortrag: Experimentelle Untersuchungen zu Stabilitätskriterien bei Fräsprozessen mit Hilfe einer sensorischen Messkonstruktion |
14.05.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Robert Delhougne |
LS14 / Howar |
MA Einführungsvortrag: Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript Anwendungen |
07.05.2020 |
13:30 |
Telekonferenz – Daten auf Anfrage |
Achref Abdelkefi |
LS14 / Howar |
BA Abschlussvortrag: Evaluation des menschzentrierten Gestaltungsprozesses anhand eines Bibliothekssystems |
05.05.2020 |
14:15 |
Telekonferenz – Daten auf Anfrage |
Fiete Wennier |
LS14 / Rehof |
MA Einführungsvortrag: Konzeption und Entwicklung einer Applikation zur Durchführung von Last-und Performancetests im Kontext von Microservices und Kubernetes |
30.04.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Niklas Haldorn |
LS14 / Howar |
BA Einführungsvortrag: HL7 FHIR-basierte Umsetzung der International Patient Summary in der Elektronischen Fallakte |
16.04.2020 |
12:30 |
Telekonferenz – Daten auf Anfrage |
Richard Stewing |
LS 14 / Howar |
MA Einführungsvortrag: Typebasierte Taint-Analyse im Lambda-Kalkül und die Anwendung auf C |
16.04.2020 |
13:15 |
Telekonferenz – Daten auf Anfrage |
Lasse Elsbernd |
LS 14 / Howar |
BA Abschlussvortrag: Implementierung und Evaluation der String-Theorie Unterstützung in JConstraints unter Verwendung verschiedener String-Solver |
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 |
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" |
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 |
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 |
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 |