Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:vortraege [2018/07/12 13:09] akugler [Juli] |
lehre:vortraege [2018/09/25 08:00] 127.0.0.1 Externe Bearbeitung |
||
|---|---|---|---|
| Zeile 18: | Zeile 18: | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | + | ==== April ==== | |
| - | ===== SS 2018 ===== | + | |
| - | ==== Juli ==== | + | |
| \\ | \\ | ||
| - | === 27.07.2018 (KW 29, Fr) === | + | === 26.04.2019 (KW 17, Fr) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\ |
| \\ | \\ | ||
| Moderation: TBA\\ | Moderation: TBA\\ | ||
| \\ | \\ | ||
| - | **14:30-15:00**\\ | ||
| - | Amelung, Tim, "Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | **15:00-15:15**\\ | + | === 12.04.2019 (KW 15, Fr) === |
| - | Denker, Merlin, "Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | |
| \\ | \\ | ||
| - | **15:15-15:30**\\ | + | Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\ |
| - | Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ | + | |
| \\ | \\ | ||
| - | **15:30-16:15**\\ | + | Moderation: TBA\\ |
| - | Gergely Bilkei-Gorzo, "Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | |
| \\ | \\ | ||
| \\ | \\ | ||
| - | === 13.07.2018 (KW 27, Fr) === | + | === 04.04.2019 (KW 14, Do) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:30 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:simon]]\\ | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | **14:30-15:15**\\ | ||
| - | Kohout, Markus, "Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren | ||
| - | " (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | **15:15-16:00**\\ | + | ==== März ==== |
| - | Friedrich, Nico, "Mutation-guided Symbolic Testing for Logic Control Software" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | + | |
| \\ | \\ | ||
| - | **16:00-16:30**\\ | + | === 29.03.2019 (KW 13, Fr) === |
| - | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | + | |
| \\ | \\ | ||
| + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | === 06.07.2018 (KW 26, Fr) === | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | === 22.03.2019 (KW 12, Fr) === |
| \\ | \\ | ||
| - | **14:30-14:45**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Classen, Leonard, "Vehicle Lane Change on Highways using Networked Model Predictive Control " (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | |
| \\ | \\ | ||
| - | **14:45-15:00**\\ | + | Moderation: TBA\\ |
| - | Marquardt, Sascha, "Vehicle Coordination at Intersections using Networked Model Predictive Control" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | |
| \\ | \\ | ||
| - | **15:00-15:15**\\ | ||
| - | Botz, Lukas, "Autonomous Vehicle Racing using Networked Model Predictive Control" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | **15:15-15:30**\\ | + | === 08.03.2019 (KW 10, Fr) === |
| - | Kragl, Ludwig, "Go-to-Formation of nonholonomic Vehicles using Networked Model Predictive Control " (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | |
| \\ | \\ | ||
| - | **15:30-15:45**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Akdas, Derya, "Evaluation kontrollierter Sprachen für die Gefährdungsanalyse" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:45-16:00**\\ | + | Moderation: TBA\\ |
| - | Barakat, Patrick, "Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ | + | |
| \\ | \\ | ||
| \\ | \\ | ||
| - | ==== Juni ==== | + | === 01.03.2019 (KW 9, Fr) === |
| - | \\ | + | |
| - | === 29.06.2018 (KW 25, Fr) === | + | |
| \\ | \\ | ||
| Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | **14:30-15:15**\\ | ||
| - | Marc Werner, "Konzept und Implementierung eines Statusanzeige- und Interaktionssystems für prototypische Fahrzeuge" (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
| \\ | \\ | ||
| - | **15:15-15:30**\\ | + | ==== Februar ==== |
| - | Schlein, Steffan, "Integrierte Anbindung heterogener intensivmedizinischer Datenquellen an variable Anwendungen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | + | |
| \\ | \\ | ||
| - | **15:30-15:45**\\ | + | === 22.02.2019 (KW 8, Fr) === |
| - | Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | + | |
| \\ | \\ | ||
| + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | === 22.06.2018 (KW 24, Fr) === | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe]]\\ | + | ==== Januar ==== |
| \\ | \\ | ||
| - | **14:30-15:15**\\ | + | === 25.01.2019 (KW 4, Fr) === |
| - | Ding, Chengjing, "eNav_Point_matching" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **15:15-15:30**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Müller, Jonathan, "HIL-Testen mit dSPACE-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | + | |
| \\ | \\ | ||
| - | **15:30-15:45**\\ | + | Moderation: TBA\\ |
| - | Loup, Benedikt, "HIL-Testen auf Beckhoff-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | + | |
| \\ | \\ | ||
| - | **15:45-16:15**\\ | ||
| - | Judizki, Arkadi, "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | \\ | + | === 18.01.2019 (KW 3, Fr) === |
| - | === 12.06.2018 (KW 23, Di) === | + | |
| \\ | \\ | ||
| Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | **14:30-14:45**\\ | ||
| - | Schwarz, Kevin, "Goal Structuring Notation Editor" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | **14:45-15:00**\\ | + | === 11.01.2019 (KW 2, Fr) === |
| - | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:00-15:15**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:15-15:30**\\ | + | Moderation: TBA\\ |
| - | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **15:30-15:45**\\ | ||
| - | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| + | ==== Dezember ==== | ||
| \\ | \\ | ||
| - | ==== Mai ==== | + | === 21.12.2018 (KW 51, Fr) === |
| \\ | \\ | ||
| - | === 25.05.2018 (KW 20, Fr) === | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-16:15 Uhr \\ | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15**\\ | + | === 14.12.2018 (KW 50, Fr) === |
| - | Kölsch, Alexander, "Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:45**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Lau, Christian, "Import und semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:15**\\ | + | Moderation: TBA\\ |
| - | Hildebrandt, Oliver, "Eingabeunterstützung für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **14:15-14:30**\\ | ||
| - | Pause \\ | ||
| \\ | \\ | ||
| - | **14:30-15:15**\\ | + | === 07.12.2018 (KW 49, Fr) === |
| - | Fidomski, Kim, "Evaluation von kontrollierten Sprachen" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:15-15:45**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Bender, Serjoscha, "Collision Avoidance Detection of Wheelchairs" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **15:45-16:15**\\ | + | Moderation: TBA\\ |
| - | Van Essen, Jan, "Integration einer Consumer-Wärmebildkamera in ein System zur Validierung von Händedesinfektionen" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | |
| \\ | \\ | ||
| \\ | \\ | ||
| - | === 18.05.2018 (KW 19, Fr) === | + | ==== November ==== |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ | + | === 23.11.2018 (KW 47, Fr) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | **14:30-14:45**\\ | + | Moderation: TBA\\ |
| - | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | + | |
| \\ | \\ | ||
| - | **14:45-15:30**\\ | ||
| - | Hicks, Sandra, "Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem | ||
| - | " (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| \\ | \\ | ||
| - | **15:30-16:15**\\ | + | === 09.11.2018 (KW 45, Fr) === |
| - | Hardes, David, "Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems | + | |
| - | " (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | |
| \\ | \\ | ||
| + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | === 04.05.2018 (KW 17, Fr) === | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 15:00-16:45 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | ==== Oktober ==== |
| - | \\ | + | |
| - | **15:00-15:15**\\ | + | |
| - | Brueckner, Sebastian, "Generierung von VISSIM Modellen anhand von Skizzen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| - | \\ | + | |
| - | **15:15-15:30**\\ | + | |
| - | Lahr, Florian, "Erweiterung des Barriereerkennungssystems um eine Funktion zur Berechnung der Trajektorie" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| - | \\ | + | |
| - | **15:30-16:00**\\ | + | |
| - | Duehrsen, Lucas, "Meetings Route Optimizer" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| - | \\ | + | |
| - | **16:00-16:30**\\ | + | |
| - | Bugdalle, Daniel, "Halteliniendetektor via Satellitenbilder | + | |
| - | " (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| - | \\ | + | |
| - | \\ | + | |
| - | ==== April ==== | + | |
| \\ | \\ | ||
| - | === 27.04.2018 (KW 16, Fr) === | + | === 19.10.2018 (KW 42, Fr) === |
| \\ | \\ | ||
| Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ | + | Moderation: TBA\\ |
| \\ | \\ | ||
| **14:30-15:00**\\ | **14:30-15:00**\\ | ||
| - | Lützenkirchen, Philipp, "Entwicklung eines LTL-Parsers unter Verwendung des Shunting-yard-Algorithmus" (Sonstiges)\\ | + | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| - | **15:00-15:45**\\ | + | **15:15-15:45**\\ |
| - | Lauschke, Marc, "Design, Implementation and Evaluation of a System for the Use of Simulated Data for Classification of Driving Situations in Highly Automated Vehicles" (MA-Abschlussvortrag)\\ | + | Schwarz, Kevin, "Entwurf eines Goal Structuring Notation Editor" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| + | **15:45-16:15**\\ | ||
| + | Husak, Adnan, "Datenbankgestützte Eingabeunterstützung für Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| - | ===== WS 2017/2018 ===== | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | ==== März ==== | + | === 12.10.2018 (KW 41, Fr) === |
| \\ | \\ | ||
| - | === 26.03.2018 (KW 13, Mo) === | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | Moderation: TBA\\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | **14:30-15:15**\\ |
| + | Loup, Benedikt, "Entwicklung eines kostengünstigen HIL-Testsystems für reaktives Testen in der automobilen Domäne." (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:hansen]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | ||
| - | Oliver Blasius, "Entwicklung einer modularen Testumgebung für Batteriemanagementsysteme" (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | **16:15-16:30 Uhr**\\ | + | === 05.10.2018 (KW 40, Fr) === |
| - | Nico Friedrich, "Mutation Analysis for Programmable Logic Controllers using Dynamic Symbolic Execution" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | + | |
| \\ | \\ | ||
| - | **16:30-17:15 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Lukas Neuberger, "Erweiterung der Postsimulation-Analyse von Testfällen um eine virtuelle Zeitbasis" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | + | |
| \\ | \\ | ||
| - | **17:15-17:30 Uhr**\\ | + | Moderation: TBA\\ |
| - | Tim Amelung, "Implementierung kontrollierter Sprachen im Grammatical Framework" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| \\ | \\ | ||
| - | === 19.03.2018 (KW 12, Mo) === | + | ==== September ==== |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | === 27.09.2018 (KW 39, Do) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:obster]]\\ | + | Verfügbarer Zeitrahmen: 14:30-16:10 Uhr \\ |
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | Marc Lauschke, "Design, Implementation and Evaluation of a System for the Use of Simulated Data for Classification of Driving Situations in Highly Automated Vehicles" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Achim Klaus Völker, Carolo Cup Abschlussvortrag \\ | + | Philipp Nolte, "Probabilistische Prädiktion von Fußgängerbewegungen an Kreuzungen mit neuronalen Netzen" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ |
| \\ | \\ | ||
| - | **13:30-14:00 Uhr**\\ | + | **15:15-15:25**\\ |
| - | Till Müllers, "Integration von Statischer Analyse in Entwicklungsumgebungen für SPS Code" (BA-Abschlussvortrag)\\ | + | Neuberger, Lukas, "Carolo Cup als Softwarepraktikum (Abschlussvortrag) " (Sonstiges)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **14:00-14:45 Uhr**\\ | ||
| - | Timo Hinrichs, "Analyse von Signalverläufen zur Zustandsüberwachung einer Flaschenwaschanlage" (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | === 02.03.2018 (KW 9, Fr) === | + | === 21.09.2018 (KW 38, Fr) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 13:45-16:15 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **12:30-12:45 Uhr**\\ | + | **13:45-14:30**\\ |
| - | Thomas Schemmer, "Redesigning a Model-Scale Vehicle for Autonomous Driving" (MA-Antrittsvortrag)\\ | + | Schemmer, Thomas, "Modification a Model-Scale Vehicle for Autonomous Driving |
| + | " (MA-Abschlussvortrag)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **12:45-13:30 Uhr**\\ | + | **14:30-14:45**\\ |
| - | Yang Zhang, "Formalisierung von Technical Assumptions und Safety Goals" (MA-Abschlussvortrag)\\ | + | Denker, Merlin, "Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ |
| - | \\ | + | |
| - | ==== Februar ==== | ||
| \\ | \\ | ||
| + | **14:45-15:15**\\ | ||
| + | Richter, Fabian, "Methoden zur Identifikation von Widersprüchen in Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| - | === 05.02.2018 (KW 6, Mo) === | ||
| - | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | ||
| - | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| - | \\ | ||
| - | **12:30-13:15 Uhr**\\ | ||
| - | Mateusz Buglowski, "Neuronale Netze zur Fehlererkennung in einer automatisierten ECLA" (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| - | \\ | ||
| - | **13:15-13:45 Uhr**\\ | ||
| - | Andreas Kratz, "Erweiterung von Arttest um Coverage-Analysen für die Modell- und Software-Ebene" (BA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski]]\\ | ||
| - | \\ | ||
| - | **13:45-14:00 Uhr**\\ | ||
| - | Arkadi Judizski, "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| + | **15:15-16:00**\\ | ||
| + | Remington Voertmann, "Entwicklung eines Prüfstandkonzeptes zur Verkürzung der Inbetriebnahmezeiten von dezentralen Personentransportanlagen" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
| - | ==== Januar ==== | ||
| \\ | \\ | ||
| - | === 15.01.2018 (KW 3, Mo) === | + | **16:00-16:15**\\ |
| - | \\ | + | Hochmann, Philipp, "Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeuges zur Eingabeunterstützung" (BA-Antrittsvortrag)\\ |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **12:30-14:00 Uhr**\\ | + | |
| - | Praktikum, "Automatisierung einer Destillationsanlage" (Abschlussvorträge) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **14:00-14:15 Uhr**\\ | + | |
| - | Christian Lau, "Import und semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | ==== Dezember ==== | ||
| \\ | \\ | ||
| - | === 18.12.2017 (KW 51, Mo) === | + | === 13.09.2018 (KW 37, Do) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:15 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | **14:30-15:00**\\ |
| - | Nico Böhr, "Hardwareplattform zur sicheren Vernetzung von Medizintechnik" (MA-Abschlussvortrag)\\ | + | Brueckner, Sebastian, "Generierung von VISSIM Modellen anhand von Skizzen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | Chengjing Ding, "Point Matching for 3D-Map" (MA-Antrittsvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | **15:00-15:30**\\ |
| - | Daniel Bugdalle, "Halteliniendetektor via Satelitenbilder" (BA-Antrittsvortrag)\\ | + | Vukelic, Filip, "Policy Iteration with Octagons for Static Analysis of PLC Programs" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **15:30-16:00**\\ |
| - | Lucas Dührsen, "Meetings Route Optimizer " (BA-Antrittsvortrag)\\ | + | Tabe, Christian, "Ein Werkzeug zum Im- und Export formaler Spezifikationen von Software-Komponenten" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | ||
| - | Serjoscha Bender, "Collision Avoidance Detection of Wheelchairs" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | === 04.12.2017 (KW 49, Mo) === | + | ==== August ==== |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:00-15:30 Uhr \\ | + | === 14.08.2018 (KW 33, Di) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | Markus Kohout, "Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | |
| \\ | \\ | ||
| - | **14:15-14:30 Uhr**\\ | + | **14:30-14:45**\\ |
| - | Bilkei-Gorzo Gergely, "Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz" (MA-Antrittsvortrag)\\ | + | Ruffer, Josef, "Entwicklung eines Tools zur Aufnahme und Wiedergabe von Nachrichten in einem DDS Netzwerk" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **14:30-14:45 Uhr**\\ | ||
| - | Lukas Neuberger, "Erweiterung von Postsimulation um eine virtuelle Zeitbasis" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | ||
| \\ | \\ | ||
| - | **14:45-15:00 Uhr**\\ | + | === 03.08.2018 (KW 31, Fr) === |
| - | Oliver Hildebrandt, "Eingabeunterstützung für kontrollierte Sprachen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:00-15:15 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Jan van Essen, "Evaluation einer Desinfektionsvalidierung mit einer Consumer-Wärmebildkamera" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | |
| \\ | \\ | ||
| - | ==== November ==== | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | === 20.11.2017 (KW 47, Mo) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:30 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | |
| \\ | \\ | ||
| - | **12:30-12:45 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Alexander Kölsch, "Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten" (MA-Antrittsvortrag)\\ | + | Gergely Bilkei-Gorzo, "Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz" (MA-Abschlussvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **12:45-13:00 Uhr**\\ | + | **15:15-15:45**\\ |
| - | Sandra Hicks, "Control of a Long-term Ex Vivo Kidney Perfusion System" (MA-Antrittsvortrag)\\ | + | , "Evaluation of the LwIP stack with respect to UDP communication on resource constrained platforms" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kühn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | ||
| - | David Hardes, "Reglung der Blutparameter eines Nierenperfusionssystems" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kühn]]\\ | ||
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | ==== Juli ==== |
| - | Kim Fidomski, "Evaluation von kontrollierten Sprachen" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **13:30-14:15 Uhr**\\ | + | === 27.07.2018 (KW 30, Fr) === |
| - | Sujan Tamrakar, "Enhanced Pedelec Odometry" (MA-Abschlussvortrag)\\ | + | |
| - | Betruer: [[lehrstuhl:mitarbeiter:schweigler]]\\ | + | |
| \\ | \\ | ||
| - | === 06.11.2017 (KW 45, Mo) === | + | Verfügbarer Zeitrahmen: 11:00-12:00 Uhr \\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | Moderation: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| - | \\ | + | |
| - | **12:30-13:15 Uhr**\\ | + | |
| - | Thorben Kallen, "Statische Wertebereicheanalyse von Reset Systemen" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | **11:00-11:30**\\ |
| - | Stefan Srecec, "Modellierung und Visualisierung des Condition Monitoring vernetzter Industriesysteme" (BA-Abschlussvortrag)\\ | + | , "Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:00 Uhr**\\ | + | |
| - | Yang Zhang, "Formalisierung von Technical Assumptions und Safety Goals | + | |
| - | " (MA-Antrittsvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | **11:30-11:45**\\ |
| - | Oliver Blasius, "Entwicklung einer modularen Testumgebung für Batteriemanagementsysteme" (MA-Antrittsvortrag)\\ | + | Triefenbach, Lucas, "Automatic Test Generation for Arttest using a Controlled Natural Language" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| \\ | \\ | ||
| + | **11:45-12:00**\\ | ||
| + | Seyrekgelen, Serdar, "Networked Model Predictive Control for Vehicle Formation" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | ===== SS 2017 ===== | ||
| \\ | \\ | ||
| + | === 13.07.2018 (KW 28, Fr) === | ||
| \\ | \\ | ||
| - | ==== September ==== | + | Verfügbarer Zeitrahmen: 14:30-16:30 Uhr \\ |
| \\ | \\ | ||
| - | === 25.09.2017 (KW 39, Mo) === | + | Moderation: [[lehrstuhl:mitarbeiter:simon]]\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | **14:30-15:15**\\ |
| - | \\ | + | , "Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren |
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | " (MA-Abschlussvortrag)\\ |
| - | \\ | + | |
| - | **12:15-12:45 Uhr**\\ | + | |
| - | Janis Maczijewski, "Echtzeitfähige Trajektorienoptimierung für autonome Automobilrennen" (BA-Abschlussvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **12:45-13:30 Uhr**\\ | + | **15:15-16:00**\\ |
| - | Marco Grochowski, "A GPS-aided Inertial Navigation System for a Pedelec" (MA-Abschlussvortrag)\\ | + | Friedrich, Nico, "Mutation-guided Symbolic Testing for Logic Control Software" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ |
| \\ | \\ | ||
| - | **13:30-14:00 Uhr**\\ | + | **16:00-16:30**\\ |
| - | Sven Titz, "Erweiterung einer statischen Wertebereichsanalyse für Matlab/Simulink Modelle um Blockabstraktion" (BA-Abschlussvortrag)\\ | + | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | ||
| - | Markus Kohut, Carolo-Cup Praktikum Abschlussvortrag \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | **14:15-14:30 Uhr**\\ | + | === 06.07.2018 (KW 27, Fr) === |
| - | Andreas Wüstenberg, Carolo-Cup Praktikum Abschlussvortrag \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| \\ | \\ | ||
| - | **14:30-14:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ |
| - | Jonas Hein, Carolo-Cup Praktikum Abschlussvortrag \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| \\ | \\ | ||
| - | === 18.09.2017 (KW 38, Mo) === | + | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **14:30-14:45**\\ |
| + | Classen, Leonard, "Vehicle Lane Change on Highways using Networked Model Predictive Control " (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | + | **14:45-15:00**\\ |
| + | Marquardt, Sascha, "Vehicle Coordination at Intersections using Networked Model Predictive Control" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | **15:00-15:15**\\ |
| - | Andrei Svetlakov, "Testauswertung und Postsimulation-Analyse von Hardware-in-the-Loop Tests" (BA-Abschlussvortrag)\\ | + | Botz, Lukas, "Autonomous Vehicle Racing using Networked Model Predictive Control" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **13:00-13:45 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Marco Nicolini, "Nutzung von Sequential Function Charts zur Spezifikation von Hardware-in-the-Loop Tests" (MA-Abschlussvortrag)\\ | + | Kragl, Ludwig, "Go-to-Formation of nonholonomic Vehicles using Networked Model Predictive Control " (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | === 11.09.2017 (KW 37, Mo) === | + | **15:30-15:45**\\ |
| - | \\ | + | Akdas, Derya, "Evaluation kontrollierter Sprachen für die Gefährdungsanalyse" (MA-Antrittsvortrag)\\ |
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler]]\\ | + | |
| - | \\ | + | |
| - | **12:30-13:15 Uhr**\\ | + | |
| - | Lucas Braun, "Optimale Auswahl von Point of Interest (POI) Subsets für Enav" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic | Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-14:00 Uhr**\\ | + | **15:45-16:00**\\ |
| - | Stephan Stahlmann, "Entwicklung einer konsistenten A*-Heuristik für das eNav-Routing" (MA-Abschlussvortrag)\\ | + | Barakat, Patrick, "Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic | Dzenan Dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| - | \\ | + | |
| - | \\ | + | |
| - | ==== August ==== | + | |
| - | \\ | + | |
| - | === 09.08.2017 (KW 32, Mi) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter: goebe]]\\ | + | |
| - | \\ | + | |
| - | **12:30-13:00 Uhr**\\ | + | |
| - | Michael Osetinski, "Remote-Supervisor für SPS-basierte Steuerungen" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe | Florian Göbe]]\\ | + | |
| - | \\ | + | |
| - | **13:00-13:15 Uhr**\\ | + | |
| - | Timo Hinrichs, "Analyse von Signalverläufen zur Zustandsüberwachung einer vernetzten Flaschenwaschanlage in der Getränkeindustrie" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek | Manfred Smieschek]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | Andreas Kratz, "Erweiterung von Arttest um Coverage-Analysen für die Modell- und Software-Ebene" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski | Norbert Wiechowski]]\\ | + | |
| - | \\ | + | |
| - | ==== Juli ==== | + | |
| - | \\ | + | |
| - | === 25.07.2017 (KW 30, Di) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | \\ | + | |
| - | **12:30-13:00 Uhr**\\ | + | |
| - | Marc Fassbender, "Entwicklung eines Frameworks zur performanten Visualisierung von Signalen und | + | |
| - | Akzeptanzbereichen in Arttest" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler | Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **13:00-13:20 Uhr**\\ | + | |
| - | Carolo Cup Statusreport & Praktikumsabschlussvorträge\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel | Stefan Rakel]]\\ | + | |
| - | \\ | + | |
| - | **13:20-14:05 Uhr**\\ | + | |
| - | Nico Wübbels, "Zeitliche Analyse von Temperaturverläufen zur Bewertung von Handdesinfektionen" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek |Manfred Smieschek]]\\ | + | |
| - | \\ | + | |
| - | **14:05-14:35 Uhr**\\ | + | |
| - | Katharina Wehrmeister, "Modellbasierte Überwachung auf Mobilgeräten" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kühn |Jan Kühn]]\\ | + | |
| - | \\ | + | |
| - | **14:35-15:20 Uhr**\\ | + | |
| - | Lukas Armborst, "A Unifying Formalism for PDR-based Software Verification" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender |Dimitri Bohlender]]\\ | + | |
| - | \\ | + | |
| - | === 03.07.2017 (KW 27, Mo) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter: kuehn]]\\ | + | |
| - | \\ | + | |
| - | **12:30-12:45 Uhr**\\ | + | |
| - | Nico Böhr, "Hardwareplatform zur Vernetzung von Medizintechnik" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn | Jan Kühn]]\\ | + | |
| - | \\ | + | |
| - | **12:45-13:00 Uhr**\\ | + | |
| - | Thorben Kallen, "TBA" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen | Norman Hansen]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | Mateusz Buglowski, "Neuronale Netze zur Fehlererkennung in vernetzter Medizintechnik" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn | Jan Kühn]]\\ | + | |
| - | \\ | + | |
| - | **13:30-14:00 Uhr**\\ | + | |
| - | Patrick Feser, "Konzept zur assistierten Testfall-Generierung aus freitextlichen Anforderungen über eine Zwischendarstellung" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | ||
| - | Stefan Srecec, "Zustandsmodellierung und -visualisierung vernetzter Industriesysteme" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek|Manfred Smieschek]]\\ | ||
| \\ | \\ | ||
| ==== Juni ==== | ==== Juni ==== | ||
| \\ | \\ | ||
| - | === 19.06.2017 (KW 25, Mo) === | + | === 29.06.2018 (KW 26, Fr) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:15-13:45 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:smieschek |Paul Chomicz]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| \\ | \\ | ||
| - | **12:15-12:45 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Yannik Müller, "Zentrale CERM Datenspeicherung via Ros" (BA-Abschlussvortrag)\\ | + | Marc Werner, "Konzept und Implementierung eines Statusanzeige- und Interaktionssystems für prototypische Fahrzeuge" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic |Dzenan Dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ |
| \\ | \\ | ||
| - | **12:45-13:00 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Julian Treiber, "Datenbankbasierte Eingabeunterstützung" (BA-Antrittsvortrag)\\ | + | Schlein, Steffan, "TBD" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz |Paul Chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ |
| \\ | \\ | ||
| + | **15:30-15:45**\\ | ||
| + | Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
| \\ | \\ | ||
| - | === 01.06.2017 (KW 22, Mo) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:30 Uhr \\ | + | === 22.06.2018 (KW 25, Fr) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:thoennessen |David Thönnessen]]\\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ |
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| - | Christian Fischer, "Entwicklung einer Fernsteuerung eines Elektrorollstuhls" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Sven Titz, "Erweiterung einer statischen Wertebereichsanalyse für Matlab/Simulink Modelle um Blockabstraktionen" (BA-Antrittsvortrag)\\ | + | Ding, Chengjing, "eNav_Point_matching" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen|Norman Hansen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Andrei Svetlakov, "Testauswertung und Postsimulation-Analyse von Hardware-in-the-Loop Tests" (BA-Antrittsvortrag)\\ | + | Müller, Jonathan, "HIL-Testen mit dSPACE-Systemen mit Arttest" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen |David Thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | **15:30-15:45**\\ |
| - | Marco Nicolini, "Nutzung von Sequential Function Charts zur Spezifikation von Hardware-in-the-Loop Tests" (MA-Antrittsvortrag)\\ | + | Loup, Benedikt, "HIL-Testen auf Beckhoff-Systemen mit Arttest" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen |David Thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| - | \\ | + | |
| - | **13:45-14:00 Uhr**\\ | + | |
| - | Till Müllers, "Integration von Statischer Analyse in Entwicklungsumgebungen für SPS-Programme" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| \\ | \\ | ||
| + | **15:45-16:15**\\ | ||
| + | , "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| - | ==== Mai ==== | ||
| - | |||
| - | === 15.05.2017 (KW 20, Mo) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | === 12.06.2018 (KW 24, Di) === |
| \\ | \\ | ||
| - | **12:30-12:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Michael Osetinski, "Remote-Supervisor für SPS-basierte Steuerungen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | |
| \\ | \\ | ||
| - | **12:45-13:15 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| - | Fabian Claßen, "Concolic Testcase Generation for Sequential Function Chart" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:simon|Hendrik Simon]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | **14:30-14:45**\\ |
| - | Marius Völkel, "Übersetzung von natürlicher Sprache in kontrollierte | + | Schwarz, Kevin, "Goal Structuring Notation Editor" (BA-Antrittsvortrag)\\ |
| - | Sprache im Kontext der Gefährdungsanalyse" (BA-Abschlussvortrag)\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **14:45-15:00**\\ |
| - | Lukas Armborst, "Configurable IC3" (MA-Antrittsvortrag)\\ | + | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender |Dimitri Bohlender]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | **15:00-15:15**\\ |
| - | Stephan Stahlmann, "Entwicklung einer konsistenten A*-Heuristik für das eNav-Routing" (MA-Antrittsvortrag)\\ | + | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic |Dzenan Dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | === 02.05.2017 (KW 18, Di) === | + | **15:15-15:30**\\ |
| + | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **15:30-15:45**\\ |
| + | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | ==== Mai ==== |
| - | David Rath, "Syntactic Analysis of PLC Software Projects" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | + | === 25.05.2018 (KW 21, Fr) === |
| - | Marco Grochowski, "A GPS-aided Inertial Navigation System for a Pedelec" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-14:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 12:30-16:15 Uhr \\ |
| - | Daniel Hamm, "Cycle-Bounded Model-Checking of Reactive Programs" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender|Dimitri Bohlender]]\\ | + | |
| \\ | \\ | ||
| - | ==== April ==== | + | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| - | === 04.04.2017 (KW 14, Mo) (Notfalltermin wg. TI) === | + | **12:30-13:15**\\ |
| + | Kugler, Alexander, "Alexander Kölsch - Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **13:15-13:45**\\ |
| + | , "Import und semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | **13:45-14:15**\\ |
| + | , "Eingabeunterstützung für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | **14:15-14:30**\\ |
| - | Yan Wo, "eNav Development based on PostgreSQL and Evaluation" (BA-Abschlussvortrag) \\ | + | Kugler, Alexander, "Pause" (Sonstiges)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| \\ | \\ | ||
| + | **14:30-15:15**\\ | ||
| + | , "Evaluation von kontrollierten Sprachen" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| - | ===== WS 2016/2017 ===== | ||
| \\ | \\ | ||
| + | **15:15-15:45**\\ | ||
| + | , "Collision Avoidance Detection of Wheelchairs | ||
| + | " (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | ==== März ==== | + | **15:45-16:15**\\ |
| + | Van Essen, Jan, "Integration einer Consumer-Wärmebildkamera in ein System zur Validierung von Händedesinfektionen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | === 20.03.2017 (KW 12, Mo) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:30 Uhr \\ | + | === 18.05.2018 (KW 20, Fr) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn|Jan Kühn]]\\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ |
| - | Leon Oss, "Automatische Generierung von Systemmodellen für Vissim" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **14:30-14:45**\\ |
| - | Katharina Wehrmeister, "Modellbasierte Überwachung auf Mobilgeräten" (BA-Antrittsvortrag) \\ | + | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn|Jan Kühn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ |
| \\ | \\ | ||
| - | **14:00-15:30 Uhr**\\ | + | **14:45-15:30**\\ |
| - | Praktikum, "Automatisierung einer Destillationsanlage" (Abschlussvorträge) \\ | + | , "Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | " (MA-Abschlussvortrag)\\ |
| + | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| \\ | \\ | ||
| - | === 10.03.2017 (KW 10, Fr) === | + | **15:30-16:15**\\ |
| - | \\ | + | , "Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems |
| - | Verfügbarer Zeitrahmen: 09:00-11:30 Uhr \\ | + | " (MA-Abschlussvortrag)\\ |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:thoennessen|David Thoennessen]]\\ | + | |
| - | \\ | + | |
| - | **09:00-09:45 Uhr**\\ | + | |
| - | Niklas Reinker, "Hardware-in-the-Loop Simulation Using an Extension of PLC Programming Languages)" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thoennessen]]\\ | + | |
| - | \\ | + | |
| - | **09:45-10:30 Uhr**\\ | + | |
| - | Stefan Rakel, "Extension of Twistturn to Support Hardware-in-the-Loop Simulation" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thoennessen]]\\ | + | |
| - | \\ | + | |
| - | **10:30-11:00 Uhr**\\ | + | |
| - | Selin Aydin, "Evaluation eines Werkzeugs zur Supervisorsynthese auf einer prozesstechnischen Anlage" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | |
| - | \\ | + | |
| - | **11:00-11:30 Uhr**\\ | + | |
| - | Torben Friedrichs, "Vergleichseditor für Gefährdungsanalysen" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | ==== Februar ==== | + | |
| - | \\ | + | |
| - | === 20.02.2017 (KW 8, Mo) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 11:00-12:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **11:00-11:45 Uhr**\\ | + | |
| - | Thorsten Marx, "Grammatikkonforme Eingabeunterstützung für Gefährdungsanalysen" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **11:45-12:00 Uhr**\\ | + | |
| - | Sujan Tamrakar, "Odometry Optimization for Pedelecs" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | |
| - | \\ | + | |
| - | === 06.02.2017 (KW 6, Mo) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:tba|tba]]\\ | + | |
| - | \\ | + | |
| - | ==== Januar ==== | + | |
| - | \\ | + | |
| - | === 24.01.2017 (KW 4, DI) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:00-13:45 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **12:00-12:15 Uhr**\\ | + | |
| - | Marius Völkel, "Semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **12:15-12:30 Uhr**\\ | + | |
| - | Torben Friedrichs, "Vergleichseditor für Gefährdungsanalysen" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **12:30-12:45 Uhr**\\ | + | |
| - | Nico Wübbels, "Validierung eines thermodynamischen Modells eines Handdesinfektionsprozesses" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek|Manfred Smieschek]]\\ | + | |
| - | \\ | + | |
| - | **12:45-13:00 Uhr**\\ | + | |
| - | Marc Fassbender, "Entwicklung eines Frameworks zur performanten Visualisierung von Signalen und Akzeptanzbereichen für Arttest" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **13:00-13:15 Uhr**\\ | + | |
| - | Yannik Müller, "Zentrale CERM Datenspeicherung via Ros" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | Lucas Braun, "Optimale Auswahl von Point of Interest Subsets für eNav" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| - | \\ | + | |
| - | ==== Dezember ==== | + | |
| - | \\ | + | |
| - | === 19.12.2016 (KW 51, Mo) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **12:30-13:15 Uhr**\\ | + | |
| - | Florian Sehl, "Entwicklung einer Anbindungsschnittstelle eines Tauchcomputers an ein Bodysensor Netzwerk" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:45 Uhr**\\ | + | |
| - | Robert Lau, "Zerlegung von Impedanztomographie-Bildfolgen mittels "empirical mode decomposition" (EMD)" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:00 Uhr**\\ | + | |
| - | Niklas Reinker, "Hardware-in-the-Loop Simulation Using an Extension of PLC Programming Languages)" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thoennessen]]\\ | + | |
| - | \\ | + | |
| - | **14:00-14:15 Uhr**\\ | + | |
| - | Stefan Rakel, "Extension of Twistturn to Support Hardware-in-the-Loop Simulation" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thoennessen]]\\ | + | |
| - | \\ | + | |
| - | === 05.12.2016 (KW 49, Mo) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-13:45 Uhr (harte Deadline) \\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| - | \\ | + | |
| - | **12:30-13:15 Uhr**\\ | + | |
| - | Mohamed Shaaban, "Iterative Static Analysis for PLC Code" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | David Rath, "Syntactic Analysis of PLC Software Projects" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:simon|Hendrik Simon]]\\ | + | |
| - | \\ | + | |
| - | **13:30-13:45 Uhr**\\ | + | |
| - | Patrick Feser, "Entwicklung eines Konzepts zur Testfallgenerierung aus freitextlichen Anforderungen" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | |
| - | \\ | + | |
| - | ==== November ==== | + | |
| - | \\ | + | |
| - | === 22.11.2016 (KW 47, Di) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:15-14:00 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:dernehl|Christian Dernehl]]\\ | + | |
| - | \\ | + | |
| - | **12:15-12:45 Uhr**\\ | + | |
| - | Robert Funk, "Policy Iteration for Static Analysis of PLC Programs" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker|Marcus Völker]]\\ | + | |
| - | \\ | + | |
| - | **12:45-13:15 Uhr**\\ | + | |
| - | Karl Mertens, "Entwicklung einer inkrementellen statischen Wertebereichsanalyse für Matlab Simulink" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dernehl|Christian Dernehl]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | Leon Oss, "Automatische Generierung von Simulationsmodelle für Vissim" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| - | \\ | + | |
| - | **13:30-13:45 Uhr**\\ | + | |
| - | Christian Fischer, "eNav - Entwicklung einer Fernsteuerung eines Elektrorollstuhls" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:00 Uhr**\\ | + | |
| - | Yan Wo, "eNav Development based on PostgreSQL and Evaluation" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| - | \\ | + | |
| - | === 07.11.2016 (KW 45, Do) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | |
| - | \\ | + | |
| - | **12:30-12:45 Uhr**\\ | + | |
| - | Selin Aydin, "Evaluation eines Werkzeugs zur Supervisorsynthese auf einer prozesstechischen Anlage" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | |
| - | \\ | + | |
| - | **12:45-13:00 Uhr**\\ | + | |
| - | Daniel Hamm, "Cycle-Bounded Model-Checking of Reactive Programs" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender|Dimitri Bohlender]]\\ | + | |
| - | \\ | + | |
| - | **13:00-13:45 Uhr**\\ | + | |
| - | Alexander Kucksdorf, "eNav-Entwicklung auf Basis von Neo4j und Evaluierung" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:15 Uhr**\\ | + | |
| - | Jakob Strüver, "Simulation-free evaluation of existing data in Arttest" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | ==== Oktober ==== | + | |
| - | \\ | + | |
| - | === 26.10.2016 (KW 39, Do) === | + | |
| - | \\ | + | |
| - | Verfügbarer Zeitrahmen: 16:00-17:30 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | ===== SS 2016 ===== | + | |
| - | \\ | + | |
| - | \\ | + | |
| - | ==== September==== | + | |
| - | \\ | + | |
| - | === 29.09.2016 (KW 39, Do) === | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | |
| - | \\ | + | |
| - | **15:00-15:45 Uhr**\\ | + | |
| - | Stefan Schake, "Integration of PROFINET protocol stack into the RTAndroid platform" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | |
| - | \\ | + | |
| - | **15:45-16:15 Uhr**\\ | + | |
| - | Philipp Hossner, "Werkzeug für Qualitätssicherung der Systemkonfiguration von Real-Time Android" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | |
| - | \\ | + | |
| - | **16:15-17:00 Uhr**\\ | + | |
| - | Oliver Ney, "Schwerpunktabhängige Fahrdynamikregelung eines semi-autonomen Fahrzeugprototyps" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | **>> 15 min. PAUSE <<**\\ | + | |
| - | \\ | + | |
| - | **17:15-18:00 Uhr**\\ | + | |
| - | Mirko Kugelmeier, "Tethering a semi-autonomous vehicle prototype by relative positioning" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | **18:00-18:30 Uhr**\\ | + | |
| - | Malte Modlich, "Adaptation of keyword extraction algorithms to the medical domain using expert taxonomies" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | |
| - | Externer Betreuer: Christian Kohlschein\\ | + | |
| - | \\ | + | |
| - | **18:30-19:00 Uhr**\\ | + | |
| - | Daniel Klischies, "Design and implementation of a semantic search system for medical research papers" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | |
| - | Externer Betreuer: Christian Kohlschein\\ | + | |
| - | \\ | + | |
| - | === 26.09.2016 (KW 39, Mo) === | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **14:30-15:00 Uhr**\\ | + | |
| - | Jonathan Müller, "Grafisch änderbare visuelle Testfallspezifikation in Arttest" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **15:00-15:30 Uhr**\\ | + | |
| - | Sebastian Pape, "Entwicklung einer widget-basierten Oberfläche zur Steuerung von Simulink Modellen in Arttest" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **15:30-16:00 Uhr**\\ | + | |
| - | Andreas Wüstenberg, "Integration of an on-board field device adapter into the RTAndroid platform" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | |
| - | \\ | + | |
| - | === 19.09.2016 (KW 38, Mo) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 16:00-18:45 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | + | |
| - | \\ | + | |
| - | **16:00-16:30 Uhr**\\ | + | |
| - | Michael Janssen, "TBA" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **16:30-17:00 Uhr**\\ | + | |
| - | Benedikt Loup, "Unterstützung des Imports von Rohdaten für funktionale Testfälle" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | |
| - | \\ | + | |
| - | **17:00-17:45 Uhr **\\ | + | |
| - | Kai Neumann, "Portierung eines NMPC-basierten Trajektorienplaners auf Nvidias Drive PX Plattform" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **17:45-18:15 Uhr**\\ | + | |
| - | Benedikt Röder, "Computerprogramm zur Überwachung intensivmedizinischer Therapiesysteme" (BA-Abschlussvortrag) \\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | /* | ||
| - | **18:15-18:45 Uhr**\\ | ||
| - | Marc Summen, "Sprachinklusion von Produkten von Timed-Automata" (BA-Abschlussvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | ||
| - | */ | ||
| \\ | \\ | ||
| - | ==== August ==== | + | === 04.05.2018 (KW 18, Fr) === |
| \\ | \\ | ||
| - | === 23.08.2016 (KW 34, Di) === | + | Verfügbarer Zeitrahmen: 15:00-16:45 Uhr \\ |
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:15-15:45 Uhr\\ | + | Moderation: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | **15:00-15:15**\\ |
| + | Brueckner, Sebastian, "Generierung von VISSIM Modellen anhand von Skizzen" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | **13:15-14:00 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Nicolas Wagener, "Integration von ÖPNV-Echtzeit-Informationen in das eNav-System" (MA-Abschlussvortrag) \\ | + | Lahr, Florian, "Erweiterung des Barriereerkennungssystems um eine Funktion zur Berechnung der Trajektorie" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **14:00-14:30 Uhr**\\ | + | **15:30-16:00**\\ |
| - | Stefan Klug, "Evaluationsmethoden für signalbasierte funktionale Testfälle im Automobilbereich" (BA-Abschlussarbeit) \\ | + | , "Meetings Route Optimizer" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **14:30-15:00 Uhr**\\ | + | **16:00-16:30**\\ |
| - | Nicola Gatto, "Erweiterte Codegenerierung für ein Werkzeug zur Synthese von ereignisdiskreten Überwachern" (BA-Abschlussvortrag) \\ | + | , "Halteliniendetektor via Satellitenbilder |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | " (BA-Abschlussvortrag)\\ |
| - | \\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| - | **15:00-15:45 Uhr**\\ | + | |
| - | Alexandru Gurghian, "TBD" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | |
| - | \\ | + | |
| - | ==== Juli ==== | + | |
| - | \\ | + | |
| - | === 19.07.2016 (KW 29, Mo) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 14:30-15:30 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | **14:30-15:00 Uhr**\\ | + | |
| - | Carsten Albert, "Analyse und Implementierung eines Parametrisierungskonzepts für ein Fahrermodell für den Kreuzungsbereich" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | === 11.07.2016 (KW 28, Mo) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:voelker|Marcus Völker]]\\ | + | |
| - | \\ | + | |
| - | **13:30-13:45 Uhr**\\ | + | |
| - | Robert Funk, "Policy Iteration for Static Analysis of PLC Programs (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker|Marcus Völker]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:15 Uhr**\\ | + | |
| - | Kim Haps, "OPC-UA-Anbindung von Android-Geräten an Werkzeugmaschinen" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | ==== Juni ==== | + | |
| - | \\ | + | |
| - | === 20.06.2016 (KW 25, Mo) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: N.N.\\ | + | |
| - | \\ | + | |
| - | === 13.06.2016 (KW 24, Mo) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **13:30-13:45 Uhr**\\ | + | |
| - | Jonathan Müller, "Visuelle Testfallspezifikation in Arttest" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:00 Uhr**\\ | + | |
| - | Sebastian Pape, "Entwicklung einer Widget-basierten Oberfläche zur Steuerung von Simulink Modellen in Arttest" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **14:00-14:15 Uhr**\\ | + | |
| - | Jakob Strüver, "Iterative evaluation with pre- and postprocessing on existing data within Arttest" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| - | \\ | + | |
| - | **14:15-14:30 Uhr**\\ | + | |
| - | Philipp Hossner, "Werkzeug für Qualitätssicherung der Systemkonfiguration von Real-Time Android" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | |
| - | \\ | + | |
| - | **14:30-14:45 Uhr**\\ | + | |
| - | Mohamed Shaaban, "Iterative static analysis for PLC code" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| - | \\ | + | |
| - | **14:45-15:00 Uhr**\\ | + | |
| - | Oliver Ney, "Schwerpunktabhängige Fahrdynamikregelung" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen|David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | **15:00-15:15 Uhr**\\ | + | |
| - | Mirko Kugelmeier, "Tethering semi-autonomous vehicles by relative positioning" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen|David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | ==== Mai ==== | + | |
| - | \\ | + | |
| - | === 30.05.2016 (KW 22, Mo) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | |
| - | \\ | + | |
| - | **13:30-13:45 Uhr**\\ | + | |
| - | Nico Linder, "Konsistenzprüfung von Gefährdungsanalysen" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| - | \\ | + | |
| - | **13:45-14:00 Uhr**\\ | + | |
| - | Benedikt Loup, "Unterstützung von Rohdaten für modellbasierte Testfälle" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | |
| - | \\ | + | |
| - | **14:00-15:00 Uhr**\\ | + | |
| - | Stefan Rakel, Mirko Kugelmeier, Stefan Schake, "Carolo-Cup 2016" (Praktikumsabschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | |
| - | \\ | + | |
| - | === 03.05.2016 (KW 18, Di) === | + | |
| - | \\ | + | |
| - | Verfügb. Zeitrahmen: 14:45-15:45 Uhr\\ | + | |
| - | \\ | + | |
| - | Moderation: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | + | |
| - | \\ | + | |
| - | **14:45-15:00 Uhr**\\ | + | |
| - | Andreas Wüstenberg, "Design and Implementation of an efficient onboard Field Device Adapter for Twistturn" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | /* | + | |
| - | **15:00-15:15 Uhr**\\ | + | |
| - | Marc Summen, "Sprachinklusion von Produkten von Timed Automata" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | + | |
| - | */ | + | |
| \\ | \\ | ||
| - | **15:15-15:30 Uhr**\\ | ||
| - | Christian Tabe, "Im- und Export bedingter Spezifikationen für Software-Komponenten" (BA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | ||
| \\ | \\ | ||
| ==== April ==== | ==== April ==== | ||
| \\ | \\ | ||
| - | === 25.04.2016 (KW 17, Mo) === | + | === 27.04.2018 (KW 17, Fr) === |
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen 1: 13:00-13:45 Uhr\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Verfügb. Zeitrahmen 2: 16:30-18:00 Uhr\\ | + | |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| \\ | \\ | ||
| - | **SLOT 1**\\ | + | **14:30-14:50**\\ |
| + | Lützenkirchen, Philipp, "Entwicklung eines LTL-Parsers unter Verwendung des Shunting-yard-Algorithmus" (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | + | **14:50-15:35**\\ |
| - | Nicola Gatto, "Erweiterter Codegenerator für SynTACS" (BA-Antrittsvortrag) \\ | + | Grochowski, Marco, "Design, Implementation and Evaluation of a System for the Use of Simulated Data for Classification of Driving Situations in Highly Automated Vehicles" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | ||
| - | Stefan Schake, "Integration of PROFINET Protocol Stack into the RTAndroid Platform" (MA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | ||
| - | \\ | ||
| - | **13:30-13:45 Uhr**\\ | ||
| - | Benedikt Röder, "Applikation zur Überwachung intensivmedizinischer Therapiesysteme" (BA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| - | \\ | ||
| - | **SLOT 2**\\ | ||
| - | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | ||
| - | \\ | ||
| - | **16:30-17:00 Uhr**\\ | ||
| - | Patric Mai, "Entwicklung eines Plattformadapters zur Unterstützung zusätzlicher Simulationsumgebungen in Arttest" (BA-Abschlussvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | ||
| - | \\ | ||
| - | **17:00-17:15 Uhr**\\ | ||
| - | Joel Charles, "Formalisierung von Exposure Rationales und semi-automatisierte Einstufung des Exposure Parameters" (BA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| - | \\ | ||
| - | **17:15-17:30 Uhr**\\ | ||
| - | Pascal Stump, "Verwaltungssystem für kontrollierte Sprachen" (BA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| - | \\ | ||
| - | **17:30-17:45 Uhr**\\ | ||
| - | Alexander Kucksdorf, "eNav-Entwicklung auf Basis von Neo4j und Evaluierung" (MA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | === 11.04.2016 (KW 15, Mo) === | ||
| - | \\ | ||
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | ||
| - | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | ||
| - | \\ | ||
| - | **13:30-13:45 Uhr**\\ | ||
| - | Thorsten Marx, "Grammatikkonforme Eingabeunterstützung" (MA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | ||
| - | \\ | ||
| - | **13:45-14:15 Uhr**\\ | ||
| - | Shi Chen Niu, "Dynamische Reportgenerierung für Analysen und Tests modellbasierter Softwareartefakte" (BA-Abschlussvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:gerlitz|Thomas Gerlitz]]\\ | ||
| - | \\ | ||
| - | **14:15-14:30 Uhr**\\ | ||
| - | Julian Teige, "Visueller Editor für Gefährdungsanalysen" (MA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | ||
| - | \\ | ||
| \\ | \\ | ||
| \\ | \\ | ||