Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste Überarbeitung Beide Seiten der Revision
lehre:vortraege [2018/09/25 10:19]
elliott [November]
lehre:vortraege [2019/05/24 08:00]
127.0.0.1 Externe Bearbeitung
Zeile 18: Zeile 18:
 \\ \\
 \\ \\
-==== April ====+==== August ​====
 \\ \\
-=== 26.04.2019 (KW 17Fr) ===+=== 08.08.2019 (KW 32Do) ===
 \\ \\
-Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\+Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
 \\ \\
 Moderation: TBA\\ Moderation: TBA\\
 \\ \\
 +**14:​30-15:​00**\\
 +Asaad, Monica, "​TBD"​ (BA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\
 +
 \\ \\
-=== 12.04.2019 (KW 15, Fr===+**15:​00-15:​30**\\ 
 +AbdelgelilFarah, "​TBD"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 \\ \\
-Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\+\\ 
 +=== 01.08.2019 (KW 31, Do) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
 \\ \\
 Moderation: TBA\\ Moderation: TBA\\
 \\ \\
 +**14:​30-15:​15**\\
 +Li, Zhi, "​Development of a Tool to Generate Maps for Autonomous Driving"​ (MA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\
 +
 \\ \\
-=== 04.04.2019 (KW 14, Do) === 
 \\ \\
-Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\+==== Juli ==== 
 +\\ 
 +=== 16.07.2019 (KW 29, Di) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
 \\ \\
 Moderation: TBA\\ Moderation: TBA\\
 \\ \\
 +**14:​30-15:​00**\\
 +Schimitzek, Simon, "​TBA"​ (BA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​grochowski]]\\
 +
 \\ \\
-==== März ==== 
 \\ \\
-=== 29.03.2019 (KW 13Fr) ===+=== 04.07.2019 (KW 27Do) ===
 \\ \\
 Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
Zeile 49: Zeile 69:
 Moderation: TBA\\ Moderation: TBA\\
 \\ \\
 +**14:​30-15:​15**\\
 +Ripplinger, Fabian, "​TBD"​ (MA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\
 +
 \\ \\
-=== 22.03.2019 (KW 12Fr) ===+\\ 
 +==== Juni ==== 
 +\\ 
 +=== 27.06.2019 (KW 26Do) ===
 \\ \\
 Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
Zeile 56: Zeile 83:
 Moderation: TBA\\ Moderation: TBA\\
 \\ \\
 +**14:​30-14:​45**\\
 +Kruschewsky,​ Alexander, "​TBD"​ (BA-Antrittsvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\
 +
 \\ \\
-=== 08.03.2019 (KW 10Fr) ===+\\ 
 +=== 13.06.2019 (KW 24Do) ===
 \\ \\
 Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​kloock]]\\
 \\ \\
 +**14:​30-14:​45**\\
 +Kloock, Maximilian, "​TBD"​ (MA-Antrittsvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\
 +
 \\ \\
-=== 01.03.2019 (KW 9Fr) ===+**14:​45-15:​00**\\ 
 +Schaeffer, Carina, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**15:​00-15:​15**\\ 
 +Asaad, Monica, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**15:​15-15:​30**\\ 
 +Stolz, Tarek, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 + 
 +\\ 
 +**15:​30-15:​45**\\ 
 +Lüer, Maximilian, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**15:​45-16:​30**\\ 
 +Henn, Thomas, "​Viability of BDDs in Property Directed Reachability"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​bohlender]]\\ 
 + 
 +\\ 
 +\\ 
 +=== 04.06.2019 (KW 23Di) ===
 \\ \\
 Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\
 \\ \\
-Moderation: TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 +\\ 
 +**14:​30-14:​45**\\ 
 +Milde, Michelle, "​Evaluierung der Sensitivität von Wärmebildkameras unter Berücksichtigung der Sensortemperatur"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​smieschek]]\\ 
 + 
 +\\ 
 +**14:​45-15:​00**\\ 
 +Sumic, Patrick, "​Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​smieschek]]\\ 
 + 
 +\\ 
 +**15:​00-15:​15**\\ 
 +Jakobczak, Kevin, "TBA" (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​grochowski]]\\ 
 + 
 +\\ 
 +**15:​15-15:​30**\\ 
 +Conrads, Kevin, "​TBA"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​grochowski]]\\ 
 + 
 +\\ 
 +**15:​30-16:​00**\\ 
 +Camp, Alexander, "​Coordinating Cooperative Vehicles at Road Intersections using Scheduling"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**16:​00-16:​15**\\ 
 +Rolf, Johannes, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​scheffe]]\\ 
 + 
 +\\ 
 +**16:​15-16:​30**\\ 
 +Kreuzberg, Lars, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​scheffe]]\\ 
 + 
 +\\ 
 +**16:​30-16:​45**\\ 
 +Hess, Judy, "​TBD"​ (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**16:​45-17:​00**\\ 
 +Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​foerster]]\\ 
 + 
 +\\ 
 +**17:​00-17:​15**\\ 
 +Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/​Transduktoren"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​foerster]]\\ 
 + 
 +\\ 
 +**17:​15-17:​30**\\ 
 +Förster, Marc, "To be announced"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​foerster]]\\ 
 + 
 +\\ 
 +\\ 
 +==== Mai ==== 
 +\\ 
 +=== 16.05.2019 (KW 20, Do) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 16:00-17:45 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​scheffe]]\\ 
 +\\ 
 +**16:​00-16:​15**\\ 
 +Ngo, Vu, "​Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​scheffe]]\\ 
 + 
 +\\ 
 +**16:​15-16:​30**\\ 
 +Bittner, Dominik, "​Entwicklung einer Software-Testumgebung für die Komplikationserkennung 
 +bei akutem Lungenversagen"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​elliott]]\\ 
 + 
 +\\ 
 +**16:​30-16:​45**\\ 
 +Rüll, Annika, "​Entwicklung einer Query-Sprache für SysML-Modelle"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 + 
 +\\ 
 +**16:​45-17:​00**\\ 
 +Kluener, David, "​Entwicklung eines Automaten-basierten Orchestrators für Dienste-orientierte Architekturen"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**17:​00-17:​15**\\ 
 +Rogalski, Jan, "​Konzept und Aufbau eines Prüfstandes für eine dienstorientierte Softwarearchitektur im Fahrzeug"​ (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**17:​15-17:​30**\\ 
 +Nothnick, Philipp, "​Testen von SmartTVs"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​stollenwerk]]\\ 
 + 
 +\\ 
 +**17:​30-17:​45**\\ 
 +Rennert, Christian, "​TBD"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 + 
 +\\ 
 +\\ 
 +=== 09.05.2019 (KW 19, Do) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 16:30-17:30 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 +\\ 
 +**16:​30-16:​45**\\ 
 +Brochmann, Leon, "​Automatisierung der Kalibrierung von berührungslosen kapazitiven Füllstandssensoren"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 + 
 +\\ 
 +**16:​45-17:​00**\\ 
 +Oprea, Camelia, "CO2 gesteuerte Regelung der Beatmung von Neugeborenen im Model" (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 + 
 +\\ 
 +**17:​00-17:​30**\\ 
 +Lützenkirchen,​ Philipp, "​Entwicklung einer Android-Applikation zur Vereinfachung der Barcode-basierten Inventur"​ (Sonstiges)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​voelker]]\\ 
 + 
 +\\ 
 +\\ 
 +==== April ==== 
 +\\ 
 +=== 26.04.2019 (KW 17, Fr) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 12:45-15:00 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​akugler]]\\ 
 +\\ 
 +**12:​45-13:​30**\\ 
 +Seyrekgelen,​ Serdar, "​Networked Model Predictive Control for Vehicle Formations"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**13:​30-14:​15**\\ 
 +Oss, Leon, "​Abstraction Refinement in Incremental Cycle-Bounded Model Checking"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​bohlender]]\\ 
 + 
 +\\ 
 +**14:​15-15:​00**\\ 
 +Barakat, Patrick, "​Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases" (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​akugler]]\\ 
 + 
 +\\ 
 +\\ 
 +=== 12.04.2019 (KW 15, Fr) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 14:00-16:15 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 +\\ 
 +**14:​00-14:​30**\\ 
 +Beyel, Harry, "​Modeling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**14:​30-15:​15**\\ 
 +Marquardt, Sascha, "​Vehicle Coordination at Intersections using Networked Model Predictive Control"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**15:​15-16:​00**\\ 
 +Wüstenberg,​ Andreas, "​Implementation of the Real-Time Publish-Subscribe Protocol for Automotive-grade Microcontrollers"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**16:​00-16:​15**\\ 
 +Fenger, Christian, "​Sensordatenfusion zur Positionsschätzung von Modellfahrzeugen in Gebäuden"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +\\ 
 +=== 04.04.2019 (KW 14, Do) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 14:00-15:30 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 +\\ 
 +**14:​00-14:​30**\\ 
 +Rieck, Thomas, "​Datenannotation von bei Frühgeborenenbeatmung 
 +aufgetretenen Komplikationen"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 + 
 +\\ 
 +**14:​30-15:​00**\\ 
 +Mauermann, Hannah, "​Anforderungsanlyse und Konzepterstellung für ein Cloud-System im Kontext des automatisierten Fahrens"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**15:​00-15:​30**\\ 
 +Meyer, Robert, "​Documenting Dependency Structures of Simulink Models in SysML" (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 + 
 +\\ 
 +\\ 
 +==== März ==== 
 +\\ 
 +=== 21.03.2019 (KW 12, Do) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 13:00-14:30 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 +\\ 
 +**13:​00-13:​45**\\ 
 +Tülleners, Isabelle, "​Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**13:​45-14:​30**\\ 
 +Botz, Lukas, "​Autonomous Vehicle Racing using Networked Model Predictive Control"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +\\ 
 +=== 01.03.2019 (KW 9, Fr) === 
 +\\ 
 +Verfügbarer Zeitrahmen: 13:30-16:15 Uhr \\ 
 +\\ 
 +Moderation: [[lehrstuhl:​mitarbeiter:​wiechowski]]\\ 
 +\\ 
 +**13:​30-14:​00**\\ 
 +Bernwald, Thomas, "Word Embedding für semantische Textvergleiche in Gefährdungsanalysen"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ 
 + 
 +\\ 
 +**14:​00-14:​30**\\ 
 +Jansen, Moritz, "​Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\ 
 + 
 +\\ 
 +**14:​30-15:​15**\\ 
 +Koss, Stefanie, "​Modelling Non-linear Conditionals and Indirect Memory Access for Policy Iteration-based Static Analysis"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​voelker]]\\ 
 + 
 +\\ 
 +**15:​15-15:​30**\\ 
 +Ledwon, Dennis, "​Erzeugung von Testfällen maximaler Code-Abdeckung mittels Model-Checking"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​goebe]]\\ 
 + 
 +\\ 
 +**15:​30-16:​00**\\ 
 +Ruffer, Josef, "​Entwicklung eines Tools zur Aufnahme und Wiedergabe von Nachrichten in einem DDS Netzwerk"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**16:​00-16:​15**\\ 
 +Marius Kruft, "​Automatisierung und Überwachung eines Prüfstands für  
 +automotive Steuergeräte mit Arttest"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​wiechowski]]\\ 
 \\ \\
 \\ \\
 ==== Februar ==== ==== Februar ====
 \\ \\
-=== 22.02.2019 (KW 8, Fr) ===+=== 18.02.2019 (KW 8, Mo) ===
 \\ \\
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: 14:00-16:15 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 +\\ 
 +**14:​00-14:​30**\\ 
 +René Magritz, "​Entwicklung eines Variantenmanagements für die Erzeugung von Software für Batteriemanagementsysteme"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**14:​30-15:​00**\\ 
 +Valentin Niemann, "​Entwicklung eines modularen Bootloaders für sicherheitskritische Anwendungen"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**15:​00-15:​30**\\ 
 +Werthebach, Moritz, "​Evaulation des eNav-Systems durch Benutzerstudien"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\ 
 + 
 +\\ 
 +**15:​30-16:​00**\\ 
 +Denker, Merlin, "​Kontinuierliche Berechnung von Condition-Indikatoren im Rahmen der Predictive Maintenance einer Rollenkette"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​smieschek]]\\ 
 + 
 +\\ 
 +**16:​00-16:​15**\\ 
 +Prieler, Lucas, "​Developing a visual editor for Logic-to-Software Allocations in SysML" (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 \\ \\
 \\ \\
 ==== Januar ==== ==== Januar ====
 \\ \\
-=== 25.01.2019 (KW 4Fr) ===+=== 30.01.2019 (KW 5Mi) ===
 \\ \\
-Verfügbarer Zeitrahmen: ​14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: ​10:00-11:45 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​elliott]]\\
 \\ \\
 +**10:​00-10:​30**\\
 +Hochmann, Philipp, "​Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung"​ (BA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\
 +
 \\ \\
-=== 18.01.2019 (KW 3Fr===+**10:​30-11:​15**\\ 
 +KraglLudwig, "​Go-to-formation of nonholonomic Vehicles using Networked Model Predictive Control"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 \\ \\
-Verfügbarer Zeitrahmen: ​14:30-16:00 Uhr \\+**11:​15-11:​45**\\ 
 +Hammer, Freimut, "pH Wert regulation in extrakorporalen Nierenperfusionsystemen"​ (BA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​elliott]]\\ 
 + 
 +\\ 
 +\\ 
 +=== 25.01.2019 (KW 4, Fr) === 
 +\\ 
 +Verfügbarer Zeitrahmen: ​12:30-14:00 Uhr \\
 \\ \\
 Moderation: TBA\\ Moderation: TBA\\
 +\\
 +**12:​30-14:​00**\\
 +Abschlussvorträge Praktikum (Sonstiges)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​stollenwerk]]\\
 +
 \\ \\
 \\ \\
 === 11.01.2019 (KW 2, Fr) === === 11.01.2019 (KW 2, Fr) ===
 \\ \\
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: 14:30-15:00 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 +\\ 
 +**14:​30-14:​45**\\ 
 +Meyer, Robert, "​Automatische Dokumentationsgenerierung für MATLAB/​Simulink Modelle"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 + 
 +\\ 
 +**14:​45-15:​00**\\ 
 +Schimitzek, Simon, "​Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​grochowski]]\\ 
 \\ \\
 \\ \\
Zeile 107: Zeile 477:
 === 21.12.2018 (KW 51, Fr) === === 21.12.2018 (KW 51, Fr) ===
 \\ \\
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: 14:30-15:45 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​chomicz]]\\
 \\ \\
 +**14:​30-15:​15**\\
 +Akdas, Derya, "​Evaluation kontrollierter Sprachen für die Gefährdungsanalyse"​ (MA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\
 +
 \\ \\
-=== 14.12.2018 (KW 50Fr===+**15:​15-15:​30**\\ 
 +LiZhi, "​Development of a tool to generate maps for autonomous driving"​ (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 \\ \\
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\+**15:30-15:45**\\ 
 +Clegg, Georg, "​Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion 
 +" (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:smieschek]]\\ 
 \\ \\
-Moderation: TBA\\ 
 \\ \\
 +=== 11.12.2018 (KW 50, Di) ===
 \\ \\
-=== 07.12.2018 (KW 49, Fr) ===+Verfügbarer Zeitrahmen: 14:30-15:45 Uhr \\
 \\ \\
-Verfügbarer Zeitrahmen14:30-16:00 Uhr \\+Moderation[[lehrstuhl:mitarbeiter:bohlender]]\\
 \\ \\
-ModerationTBA\\+**14:30-14:​45**\\ 
 +Henn, Thomas, "​Viability of BDDs in Property Directed Reachability"​ (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​bohlender]]\\ 
 + 
 +\\ 
 +**14:​45-15:​00**\\ 
 +Oss, Leon, "​Abstraction Refinement in Incremental Cycle-Bounded Model Checking"​ (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​bohlender]]\\ 
 + 
 +\\ 
 +**15:​00-15:​45**\\ 
 +Lahr, Florian, "​Analyse des Energiemanagements der eNav-App"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\ 
 \\ \\
 \\ \\
 ==== November ==== ==== November ====
 \\ \\
-=== 23.11.2018 (KW 47Fr) ===+=== 26.11.2018 (KW 48Mo) ===
 \\ \\
-Verfügbarer Zeitrahmen: ​14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: ​12:30-13:30 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 +\\ 
 +**12:​30-12:​45**\\ 
 +Rieck, Thomas, "​Datenannotierung von bei Frühgeborenenbeatmung aufgetretenen Komplikationen"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​buglowski]]\\ 
 + 
 +\\ 
 +**12:​45-13:​00**\\ 
 +Mauermann, Hannah, "​Anforderungsanalyse und Konzepterstellung für ein Cloud-System im Kontext des automatisierte Fahrens"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ 
 + 
 +\\ 
 +**13:​00-13:​15**\\ 
 +Camp, Alexander, "​Coordinating Cooperative Vehicles at Road Intersections using Scheduling"​ (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**13:​15-13:​30**\\ 
 +Ripplinger, Fabian, "​Automatisches Layouting für interne Block-Diagramme in SysML" (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​boersma]]\\ 
 \\ \\
 \\ \\
 === 09.11.2018 (KW 45, Fr) === === 09.11.2018 (KW 45, Fr) ===
 \\ \\
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​chomicz]]\\
 \\ \\
 **14:​30-14:​45**\\ **14:​30-14:​45**\\
-HammerFreimut„ph-Wertsteuerung bei der Nierenperfusion“ ​(BA-Antrittsvortrag) +BernwaldThomas"Word Embedding für semantische Textvergleiche in Gefährdungsanalysen"​ (BA-Antrittsvortrag)\\ 
-Betreuer+Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ 
 + 
 +\\ 
 +**14:​45-15:​00**\\ 
 +Jansen, Moritz, "​Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren" ​(BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ 
 + 
 +\\ 
 +**15:​00-15:​15**\\ 
 +Koss, Stefanie, "​Modelling Non-linear Conditionals and Indirect Memory Access for Policy Iteration-based Static Analysis"​ (MA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​voelker]]\\ 
 + 
 +\\ 
 +**15:​15-15:​30**\\ 
 +Beyel, Harry, "​Modelling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making 
 +" (BA-Antrittsvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\ 
 + 
 +\\ 
 +**15:​30-16:​15**\\ 
 +Müller, Jonathan, "​Reaktives HIL-Testen auf industrieüblichen Komponenten über den ASAM XIL Standard"​ (MA-Abschlussvortrag)\\ 
 +Betreuer: [[lehrstuhl:​mitarbeiter:​goebe]]\\ 
 + 
 +\\
 \\ \\
 ==== Oktober ==== ==== Oktober ====
Zeile 149: Zeile 586:
 === 19.10.2018 (KW 42, Fr) === === 19.10.2018 (KW 42, Fr) ===
 \\ \\
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​kloock]]\\
 \\ \\
-**14:30-15:00**\\+**14:00-14:30**\\
 Conzen, Oliver, "​Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Abschlussvortrag)\\ Conzen, Oliver, "​Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\
  
 \\ \\
-**15:15-15:45**\\+**14:30-15:00**\\
 Schwarz, Kevin, "​Entwurf eines Goal Structuring Notation Editor"​ (BA-Abschlussvortrag)\\ Schwarz, Kevin, "​Entwurf eines Goal Structuring Notation Editor"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\
  
 \\ \\
-**15:45-16:15**\\+**15:00-15:30**\\
 Husak, Adnan, "​Datenbankgestützte Eingabeunterstützung für Gefährdungsanalysen"​ (BA-Abschlussvortrag)\\ Husak, Adnan, "​Datenbankgestützte Eingabeunterstützung für Gefährdungsanalysen"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\
 +
 +\\
 +**15:​30-15:​45**\\
 +Tülleners, Isabelle, "​Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles"​ (MA-Antrittsvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kloock]]\\
 +
 +\\
 +**15:​45-16:​00**\\
 +Wüstenberg,​ Andreas, "​Implementation of the Real-Time Publish-Subscribe Protocol for Automotive-grade Microcontroller"​ (MA-Antrittsvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\
  
 \\ \\
Zeile 171: Zeile 618:
 === 12.10.2018 (KW 41, Fr) === === 12.10.2018 (KW 41, Fr) ===
 \\ \\
-Verfügbarer Zeitrahmen: ​14:30-16:00 Uhr \\+Verfügbarer Zeitrahmen: ​12:30-14:00 Uhr \\
 \\ \\
-Moderation: ​TBA\\+Moderation: ​[[lehrstuhl:​mitarbeiter:​elliott]]\\
 \\ \\
-**14:30-15:15**\\+**12:30-13:15**\\
 Loup, Benedikt, "​Entwicklung eines kostengünstigen HIL-Testsystems für reaktives Testen in der automobilen Domäne."​ (MA-Abschlussvortrag)\\ Loup, Benedikt, "​Entwicklung eines kostengünstigen HIL-Testsystems für reaktives Testen in der automobilen Domäne."​ (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​hansen]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​hansen]]\\
  
 \\ \\
 +**13:​15-13:​45**\\
 +Schlein, Steffan, "​Integrierte Anbindung heterogener intensivmedizinischer Datenquellen an variable Anwendungen"​ (BA-Abschlussvortrag)\\
 +Betreuer: [[lehrstuhl:​mitarbeiter:​elliott]]\\
 +
 \\ \\
-=== 05.10.2018 (KW 40, Fr) === +**13:45-14:00**\\ 
-\\ +Hammer, Freimut, "​ph-Regulation of extra corporal kidney perfusion systems"​ (BA-Antrittsvortrag)\\ 
-Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ +Betreuer[[lehrstuhl:​mitarbeiter:​elliott]]\\ 
-\\ +
-ModerationTBA\\+
 \\ \\
 \\ \\
 ==== September ==== ==== September ====
 \\ \\
-=== 27.09.2018 (KW 39, Do) ===+=== 28.09.2018 (KW 39, Fr) ===
 \\ \\
-Verfügbarer Zeitrahmen: ​14:30-16:10 Uhr \\+Verfügbarer Zeitrahmen: ​15:30-16:25 Uhr \\
 \\ \\
 Moderation: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ Moderation: [[lehrstuhl:​mitarbeiter:​kampmann]]\\
 \\ \\
-**14:30-15:15**\\+**15:30-16:15**\\
 Philipp Nolte, "​Probabilistische Prädiktion von Fußgängerbewegungen an Kreuzungen mit neuronalen Netzen"​ (MA-Abschlussvortrag)\\ Philipp Nolte, "​Probabilistische Prädiktion von Fußgängerbewegungen an Kreuzungen mit neuronalen Netzen"​ (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​alrifaee]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​alrifaee]]\\
  
 \\ \\
-**15:15-15:25**\\+**16:15-16:25**\\
 Neuberger, Lukas, "​Carolo Cup als Softwarepraktikum (Abschlussvortrag) " (Sonstiges)\\ Neuberger, Lukas, "​Carolo Cup als Softwarepraktikum (Abschlussvortrag) " (Sonstiges)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\
Zeile 288: Zeile 738:
 \\ \\
 **15:​15-15:​45**\\ **15:​15-15:​45**\\
-, "​Evaluation of the LwIP stack with respect to UDP communication on resource constrained platforms"​ (BA-Abschlussvortrag)\\+Ansari, Abir, "​Evaluation of the LwIP stack with respect to UDP communication on resource constrained platforms"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​kampmann]]\\
  
Zeile 302: Zeile 752:
 \\ \\
 **11:​00-11:​30**\\ **11:​00-11:​30**\\
-, "​Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen"​ (BA-Abschlussvortrag)\\+Amelung, Tim, "​Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​rakel]]\\
  
Zeile 324: Zeile 774:
 \\ \\
 **14:​30-15:​15**\\ **14:​30-15:​15**\\
-, "​Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren+Kohout, Markus, "​Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren
 " (MA-Abschlussvortrag)\\ " (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​alrifaee]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​alrifaee]]\\
Zeile 423: Zeile 873:
 \\ \\
 **15:​45-16:​15**\\ **15:​45-16:​15**\\
-, "​Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance"​ (BA-Abschlussvortrag)\\+Judizki, Arkadi, "​Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​smieschek]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​smieschek]]\\
  
Zeile 474: Zeile 924:
 \\ \\
 **13:​15-13:​45**\\ **13:​15-13:​45**\\
-, "​Import und semi-automatische Übersetzung von alten Gefährdungsanalysen"​ (BA-Abschlussvortrag)\\+Lau, Christian, "​Import und semi-automatische Übersetzung von alten Gefährdungsanalysen"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\
  
 \\ \\
 **13:​45-14:​15**\\ **13:​45-14:​15**\\
-, "​Eingabeunterstützung für kontrollierte Sprachen"​ (BA-Abschlussvortrag)\\+Hildebrandt,​ Oliver, "​Eingabeunterstützung für kontrollierte Sprachen"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\
  
Zeile 489: Zeile 939:
 \\ \\
 **14:​30-15:​15**\\ **14:​30-15:​15**\\
-, "​Evaluation von kontrollierten Sprachen"​ (MA-Abschlussvortrag)\\+Fidomski, Kim, "​Evaluation von kontrollierten Sprachen"​ (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​chomicz]]\\
  
 \\ \\
 **15:​15-15:​45**\\ **15:​15-15:​45**\\
-, "​Collision Avoidance Detection of Wheelchairs+Bender, Serjoscha, "​Collision Avoidance Detection of Wheelchairs
 " (BA-Abschlussvortrag)\\ " (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\
Zeile 517: Zeile 967:
 \\ \\
 **14:​45-15:​30**\\ **14:​45-15:​30**\\
-, "​Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem+Hicks, Sandra, "​Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem
 " (MA-Abschlussvortrag)\\ " (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​kuehn]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​kuehn]]\\
Zeile 523: Zeile 973:
 \\ \\
 **15:​30-16:​15**\\ **15:​30-16:​15**\\
-, "​Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems+Hardes, David, "​Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems
 " (MA-Abschlussvortrag)\\ " (MA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​kuehn]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​kuehn]]\\
Zeile 546: Zeile 996:
 \\ \\
 **15:​30-16:​00**\\ **15:​30-16:​00**\\
-, "​Meetings Route Optimizer"​ (BA-Abschlussvortrag)\\+Duehrsen, Lucas, "​Meetings Route Optimizer"​ (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\
  
 \\ \\
 **16:​00-16:​30**\\ **16:​00-16:​30**\\
-, "​Halteliniendetektor via Satellitenbilder+Bugdalle, Daniel, "​Halteliniendetektor via Satellitenbilder
 " (BA-Abschlussvortrag)\\ " (BA-Abschlussvortrag)\\
 Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\ Betreuer: [[lehrstuhl:​mitarbeiter:​dzafic]]\\