Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:vortraege [2018/06/07 13:52] akugler [SS 2018] |
lehre:vortraege [2019/08/13 15:46] foerster [September] |
||
|---|---|---|---|
| Zeile 18: | Zeile 18: | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | + | ==== September ==== | |
| - | ===== SS 2018 ===== | + | |
| - | ==== Juni ==== | + | |
| \\ | \\ | ||
| - | === 29.06.2018 (KW 25, Fr) === | + | === 26.09.2019 (KW 39, Do) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 13:00-17:00 Uhr \\ |
| \\ | \\ | ||
| Moderation: TBA\\ | Moderation: TBA\\ | ||
| \\ | \\ | ||
| - | **14:30-15:15**\\ | + | **13:00-13:30**\\ |
| - | Kugler, Alexander, "Marc Werner - TBD" (MA-Abschlussvortrag)\\ | + | Schaeffer, Carina, "TBD" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| - | **15:15-15:30**\\ | + | |
| - | Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\\\ | + | |
| - | **15:30-15:45**\\ | + | |
| - | Kugler, Alexander, "Patrick Barakat - TBD" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\\\ | + | |
| - | **15:45-16:00**\\ | + | |
| - | Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\\\ | + | |
| \\ | \\ | ||
| - | === 22.06.2018 (KW 24, Fr) === | + | **13:30-14:15**\\ |
| + | Hess, Judy, "TBD" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | **14:15-14:45**\\ |
| + | Milde, Michelle, "Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | Moderation: TBA\\ | + | **14:45-15:15**\\ |
| + | Sumic, Patrick, "Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | **14:30-15:15**\\ | + | **15:15-15:45**\\ |
| - | Ding, Chengjing, "eNav_Point_matching" (MA-Abschlussvortrag)\\ | + | Kluener, David, "TBD" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | **15:15-15:30**\\ | + | |
| - | Müller, Jonathan, "HIL-Testen mit dSPACE-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\\\ | + | |
| - | **15:30-15:45**\\ | + | |
| - | 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]]\\\\ | + | |
| \\ | \\ | ||
| - | === 12.06.2018 (KW 23, Di) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | === 17.09.2019 (KW 38, Di) === |
| + | \\ | ||
| + | Verfügbarer Zeitrahmen: 13:00-17:00 Uhr \\ | ||
| \\ | \\ | ||
| Moderation: TBA\\ | Moderation: TBA\\ | ||
| \\ | \\ | ||
| - | **14:30-14:45**\\ | + | **13:00-13:30**\\ |
| - | Schwarz, Kevin, "Goal Structuring Notation Editor" (BA-Antrittsvortrag)\\ | + | Nothnick, Philipp, "Automatisiertes Testen von SmartTVs" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ |
| - | **14:45-15:00**\\ | + | |
| - | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\\\ | + | |
| - | **15:00-15:15**\\ | + | |
| - | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\\\ | + | |
| - | **15:15-15:30**\\ | + | |
| - | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\\\ | + | |
| - | **15:30-15:45**\\ | + | |
| - | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | + | |
| \\ | \\ | ||
| + | **13:30-14:00**\\ | ||
| + | Conrads, Kevin, "Umsetzung einer Service-orientierten Architektur auf Basis von OPC-UA am Beispiel einer Modellanlage" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | ==== Mai ==== | + | **14:00-14:30**\\ |
| + | Jakobczak, Kevin, "Entwicklung einer Steuerung für die automatisierte Justage optischer Systeme" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ | ||
| \\ | \\ | ||
| - | === 25.05.2018 (KW 20, Fr) === | + | **14:30-15:00**\\ |
| + | Rolf, Johannes, "Analysis of Existing Autonomous and Networked Model-scale Vehicles" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-16:15 Uhr \\ | + | **15:00-15:30**\\ |
| + | Lüer, Maximilian, "TBD" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | **15:30-16:15**\\ |
| + | Raphael van Kempen, "Masterarbeit am IKA "Potenzial einer cloudbasierten Fusion von Dynamic Occupancy Grid Maps zur Erstellung eines kollektiven Umfeldmodells" " (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15**\\ | + | **16:15-16:45**\\ |
| - | Kölsch, Alexander, "Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten" (MA-Abschlussvortrag)\\ | + | Ayssar Benelhedi, "A program library for Boolean functions in algebraic normal form" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ |
| \\ | \\ | ||
| - | **13:15-13:45**\\ | + | **16:45-17:15**\\ |
| - | Lau, Christian, "Import und semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | + | Daniel Petri, "Eine Programmbibliothek für Produkte symbolischer Transduktoren" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ |
| \\ | \\ | ||
| - | **13:45-14:15**\\ | + | **17:15-17:45**\\ |
| - | Hildebrandt, Oliver, "Eingabeunterstützung für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ | + | Jannik Wortmann, "Minimierung symbolischer Transduktoren" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ |
| \\ | \\ | ||
| - | **14:15-14:30**\\ | ||
| - | Pause \\ | ||
| \\ | \\ | ||
| - | **14:30-15:15**\\ | + | === 12.09.2019 (KW 37, Do) === |
| - | Fidomski, Kim, "Evaluation von kontrollierten Sprachen" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:15-15:45**\\ | + | Verfügbarer Zeitrahmen: 13:00-17: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]]\\ | + | |
| \\ | \\ | ||
| + | **13:00-13:45**\\ | ||
| + | Li, Zhi, "Development of a Tool to Generate Maps for Autonomous Driving" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | === 18.05.2018 (KW 19, Fr) === | + | **13:45-14:15**\\ |
| + | Fenger, Christian, "TBD" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ | + | **14:15-14:45**\\ |
| + | Oprea, Camelia, "Entwicklung eines Lungenmodells zur C02-geführten Beatmung von Frühgeborenen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | **14:45-15:15**\\ |
| + | Rennert, Christian, "Entwicklung eines Software-Mocks für die C02-geführte Neonatalbeatmung" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ | ||
| \\ | \\ | ||
| - | **14:30-14:45**\\ | + | **15:15-15:45**\\ |
| - | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Antrittsvortrag)\\ | + | Brochmann, Leon, "Automatisierung der Kalibrierung von |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | + | berührungslosen kapazitiven |
| + | Füllstandssensoren" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ | ||
| \\ | \\ | ||
| - | **14:45-15:30**\\ | + | **15:45-16:15**\\ |
| - | Hicks, Sandra, "Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem | + | Christian Kloos, "Entwicklung eines Protokolls zur Durchsatzsteigerung von Funkverbindungen für unbemannte Luftfahrzeuge (BA Abschlussvortrag am FSD)" (Sonstiges)\\ |
| - | " (MA-Abschlussvortrag)\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | |
| \\ | \\ | ||
| - | **15:30-16:15**\\ | ||
| - | Hardes, David, "Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems | ||
| - | " (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| \\ | \\ | ||
| + | ==== August ==== | ||
| \\ | \\ | ||
| - | === 04.05.2018 (KW 17, Fr) === | + | === 12.08.2019 (KW 33, Mo) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 15:00-16:45 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-16:45 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:scheffe]]\\ |
| \\ | \\ | ||
| - | **15:00-15:15**\\ | + | **14:30-15:00**\\ |
| - | Brueckner, Sebastian, "Generierung von VISSIM Modellen anhand von Skizzen" (BA-Antrittsvortrag)\\ | + | Ngo, Vu, "Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ |
| \\ | \\ | ||
| - | **15:15-15:30**\\ | + | **15:00-15:30**\\ |
| - | Lahr, Florian, "Erweiterung des Barriereerkennungssystems um eine Funktion zur Berechnung der Trajektorie" (MA-Antrittsvortrag)\\ | + | Stolz, Tarek, "Automatische Kanonisierung von SysML-Interfaces" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| \\ | \\ | ||
| - | **15:30-16:00**\\ | + | **15:30-15:45**\\ |
| - | Duehrsen, Lucas, "Meetings Route Optimizer" (BA-Abschlussvortrag)\\ | + | Kehren, Jan, "App-basiertes Live Monitoring und dynamische Vernetzung von Medizingeräten" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | **16:00-16:30**\\ | + | **15:45-16:15**\\ |
| - | Bugdalle, Daniel, "Halteliniendetektor via Satellitenbilder | + | Bittner, Dominik, "Aufbau einer Systemumgebung für die Entwicklung von Komplikationserkennungen bei akutem Lungenversagen" (BA-Abschlussvortrag)\\ |
| - | " (BA-Abschlussvortrag)\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | |
| \\ | \\ | ||
| + | **16:15-16:45**\\ | ||
| + | Simon Fonk, "Automatisierte Integration von Modellierungswerkzeugen im Rahmen modellgetriebener Softwareentwicklung" (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | ==== April ==== | ||
| \\ | \\ | ||
| - | === 27.04.2018 (KW 16, Fr) === | + | === 01.08.2019 (KW 31, Do) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-15:00 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| \\ | \\ | ||
| **14:30-15:00**\\ | **14:30-15:00**\\ | ||
| - | Lützenkirchen, Philipp, "Entwicklung eines LTL-Parsers unter Verwendung des Shunting-yard-Algorithmus" (Sonstiges)\\ | + | Rüll, Annika, "Entwicklung einer Query-Sprache für SysML-Modelle" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| - | \\ | + | |
| - | **15:00-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)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | + | |
| - | \\ | + | |
| - | ===== WS 2017/2018 ===== | ||
| \\ | \\ | ||
| \\ | \\ | ||
| - | ==== März ==== | + | ==== Juli ==== |
| \\ | \\ | ||
| - | === 26.03.2018 (KW 13, Mo) === | + | === 16.07.2019 (KW 29, Di) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-15:30 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:grochowski]]\\ |
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | **14:30-15:00**\\ |
| - | Oliver Blasius, "Entwicklung einer modularen Testumgebung für Batteriemanagementsysteme" (MA-Abschlussvortrag)\\ | + | Marius Kruft, "Automatisierung und Überwachung eines Prüfstands für automotive Steuergeräte mit Arttest" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski]]\\ |
| \\ | \\ | ||
| - | **16:15-16:30 Uhr**\\ | ||
| - | Nico Friedrich, "Mutation Analysis for Programmable Logic Controllers using Dynamic Symbolic Execution" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | ||
| \\ | \\ | ||
| - | **16:30-17:15 Uhr**\\ | + | === 04.07.2019 (KW 27, Do) === |
| - | Lukas Neuberger, "Erweiterung der Postsimulation-Analyse von Testfällen um eine virtuelle Zeitbasis" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | + | |
| \\ | \\ | ||
| - | **17:15-17:30 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-15:45 Uhr \\ |
| - | Tim Amelung, "Implementierung kontrollierter Sprachen im Grammatical Framework" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| + | Moderation: [[lehrstuhl:mitarbeiter:goebe]]\\ | ||
| \\ | \\ | ||
| - | === 19.03.2018 (KW 12, Mo) === | + | **14:30-15:15**\\ |
| + | Ripplinger, Fabian, "Automatische Layouts für interne Blockdiagramme in SysML" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | **15:15-15:45**\\ |
| + | Ledwon, Dennis, "White-Box-Testfallgenerierung anhand verschiedener Codeüberdeckungs-Kriterien mittels Model-Checking" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:obster]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | ==== Juni ==== |
| - | 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**\\ | + | === 27.06.2019 (KW 26, Do) === |
| - | Achim Klaus Völker, Carolo Cup Abschlussvortrag \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| \\ | \\ | ||
| - | **13:30-14:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-15:30 Uhr \\ |
| - | Till Müllers, "Integration von Statischer Analyse in Entwicklungsumgebungen für SPS Code" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster]]\\ | + | |
| \\ | \\ | ||
| - | **14:00-14:45 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| - | Timo Hinrichs, "Analyse von Signalverläufen zur Zustandsüberwachung einer Flaschenwaschanlage" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | |
| \\ | \\ | ||
| - | === 02.03.2018 (KW 9, Fr) === | + | **14:30-14:45**\\ |
| + | Kruschewsky, Alexander, "A SysML Version Control System with Change Request Tracking" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | **14:45-15:00**\\ |
| - | \\ | + | Gajjar, Romin, "Porting and Evaluation of Real-Time Publish-Subscribe Protocol Implementations for Embedded Systems" (MA-Antrittsvortrag)\\ |
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | \\ | + | |
| - | **12:30-12:45 Uhr**\\ | + | |
| - | Thomas Schemmer, "Redesigning a Model-Scale Vehicle for Autonomous Driving" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | |
| - | \\ | + | |
| - | **12:45-13:30 Uhr**\\ | + | |
| - | Yang Zhang, "Formalisierung von Technical Assumptions und Safety Goals" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| \\ | \\ | ||
| + | **15:00-15:15**\\ | ||
| + | Abdelgelil, Farah, "Development of a Semantic Segmentation Algorithm for Detection of Light Poles Using Deep Learning" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| - | ==== Februar ==== | ||
| \\ | \\ | ||
| + | **15:15-15:30**\\ | ||
| + | Asaad, Monica, "Priority Assignment for Distributed Model Predictive Intersection Control " (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| - | === 05.02.2018 (KW 6, Mo) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | === 13.06.2019 (KW 24, Do) === |
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-17:00 Uhr \\ |
| - | Mateusz Buglowski, "Neuronale Netze zur Fehlererkennung in einer automatisierten ECLA" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | 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**\\ | + | **14:30-15:15**\\ |
| - | Arkadi Judizski, "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Antrittsvortrag)\\ | + | Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ |
| \\ | \\ | ||
| + | **15:15-15:30**\\ | ||
| + | Schaeffer, Carina, "Distributed Resource Assignment for Cooperative Vehicles at Road Intersections" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| - | ==== Januar ==== | ||
| \\ | \\ | ||
| - | === 15.01.2018 (KW 3, Mo) === | + | **15:30-15:45**\\ |
| + | Lüer, Maximilian, "Definition und Implementierung von Kommunikationsschnittstellen eines Cloud-System für das automatisierte Fahren" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **15:45-16:00**\\ |
| + | Stolz, Tarek, "Automatische Kanonisierung von Interfaces in SysML" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:Chomicz]]\\ | + | **16:00-16:45**\\ |
| + | Hariharan Venkitachalam, "Metric-based Continuous Evaluation of Powertrain Software Architecture" (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ | ||
| \\ | \\ | ||
| - | **12:30-14:00 Uhr**\\ | ||
| - | Praktikum, "Automatisierung einer Destillationsanlage" (Abschlussvorträge) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | ||
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | === 04.06.2019 (KW 23, Di) === |
| - | Christian Lau, "Import und semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | ==== Dezember ==== | + | Verfügbarer Zeitrahmen: 14:30-17:15 Uhr \\ |
| \\ | \\ | ||
| - | === 18.12.2017 (KW 51, Mo) === | + | Moderation: [[lehrstuhl:mitarbeiter:grochowski]]\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:15 Uhr \\ | + | **14:30-14:45**\\ |
| + | Milde, Michelle, "Evaluierung der Sensitivität von Wärmebildkameras unter Berücksichtigung der Sensortemperatur" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | **14:45-15:00**\\ |
| + | Sumic, Patrick, "Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | **15:00-15:15**\\ |
| - | Nico Böhr, "Hardwareplattform zur sicheren Vernetzung von Medizintechnik" (MA-Abschlussvortrag)\\ | + | Jakobczak, Kevin, "Entwicklung einer Softwarearchitektur für die automatisierte Justage optischer Systeme" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Chengjing Ding, "Point Matching for 3D-Map" (MA-Antrittsvortrag)\\ | + | Conrads, Kevin, "Umsetzung einer Service-orientierten Architektur auf Basis von OPC-UA am Beispiel einer Modellanlage" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ |
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | **15:30-16:00**\\ |
| - | Daniel Bugdalle, "Halteliniendetektor via Satelitenbilder" (BA-Antrittsvortrag)\\ | + | Camp, Alexander, "Coordinating Cooperative Vehicles at Road Intersections using Scheduling" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **16:00-16:15**\\ |
| - | Lucas Dührsen, "Meetings Route Optimizer " (BA-Antrittsvortrag)\\ | + | Rolf, Johannes, "Analysis of Autonomous and Networked Model-scale Vehicles |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | " (BA-Antrittsvortrag)\\ |
| + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | ||
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | **16:15-16:30**\\ |
| - | Serjoscha Bender, "Collision Avoidance Detection of Wheelchairs" (BA-Antrittsvortrag)\\ | + | Hess, Judy, "Adaptive Cooperation Topology for Distributed Vehicle Trajectory Planning" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | === 04.12.2017 (KW 49, Mo) === | + | **16:30-16:45**\\ |
| + | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 14:00-15:30 Uhr \\ | + | **16:45-17:00**\\ |
| + | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/Transduktoren" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | **17:00-17:15**\\ |
| + | Wortmann, Jannik, "Minimierung von Produkten deterministischer Transduktoren" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | ||
| - | Markus Kohout, "Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | **14:15-14:30 Uhr**\\ | + | ==== Mai ==== |
| - | Bilkei-Gorzo Gergely, "Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | |
| \\ | \\ | ||
| - | **14:30-14:45 Uhr**\\ | + | === 16.05.2019 (KW 20, Do) === |
| - | Lukas Neuberger, "Erweiterung von Postsimulation um eine virtuelle Zeitbasis" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | + | |
| \\ | \\ | ||
| - | **14:45-15:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 16:00-17:45 Uhr \\ |
| - | Oliver Hildebrandt, "Eingabeunterstützung für kontrollierte Sprachen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **15:00-15:15 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:scheffe]]\\ |
| - | Jan van Essen, "Evaluation einer Desinfektionsvalidierung mit einer Consumer-Wärmebildkamera" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | |
| \\ | \\ | ||
| - | ==== November ==== | + | **16:00-16:15**\\ |
| - | === 20.11.2017 (KW 47, Mo) === | + | Ngo, Vu, "Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles" (BA-Antrittsvortrag)\\ |
| + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:30 Uhr \\ | + | **16:15-16:30**\\ |
| + | Bittner, Dominik, "Entwicklung einer Software-Testumgebung für die Komplikationserkennung | ||
| + | bei akutem Lungenversagen" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | **16:30-16:45**\\ |
| + | Rüll, Annika, "Entwicklung einer Query-Sprache für SysML-Modelle" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| \\ | \\ | ||
| - | **12:30-12:45 Uhr**\\ | + | **16:45-17:00**\\ |
| - | Alexander Kölsch, "Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten" (MA-Antrittsvortrag)\\ | + | Kluener, David, "Entwicklung eines Automaten-basierten Orchestrators für Dienste-orientierte Architekturen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **12:45-13:00 Uhr**\\ | + | **17:00-17:15**\\ |
| - | Sandra Hicks, "Control of a Long-term Ex Vivo Kidney Perfusion System" (MA-Antrittsvortrag)\\ | + | Rogalski, Jan, "Konzept und Aufbau eines Prüfstandes für eine dienstorientierte Softwarearchitektur im Fahrzeug" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kühn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | + | **17:15-17:30**\\ |
| - | David Hardes, "Reglung der Blutparameter eines Nierenperfusionssystems" (MA-Antrittsvortrag)\\ | + | Nothnick, Philipp, "Testen von SmartTVs" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kühn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | **17:30-17:45**\\ |
| - | Kim Fidomski, "Evaluation von kontrollierten Sprachen" (MA-Antrittsvortrag)\\ | + | Rennert, Christian, "TBD" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | **13:30-14:15 Uhr**\\ | ||
| - | Sujan Tamrakar, "Enhanced Pedelec Odometry" (MA-Abschlussvortrag)\\ | ||
| - | Betruer: [[lehrstuhl:mitarbeiter:schweigler]]\\ | ||
| \\ | \\ | ||
| - | === 06.11.2017 (KW 45, Mo) === | + | === 09.05.2019 (KW 19, Do) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 16:30-17:30 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | **16:30-16:45**\\ |
| - | Thorben Kallen, "Statische Wertebereicheanalyse von Reset Systemen" (MA-Abschlussvortrag)\\ | + | Brochmann, Leon, "Automatisierung der Kalibrierung von berührungslosen kapazitiven Füllstandssensoren" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | **16:45-17:00**\\ |
| - | Stefan Srecec, "Modellierung und Visualisierung des Condition Monitoring vernetzter Industriesysteme" (BA-Abschlussvortrag)\\ | + | Oprea, Camelia, "CO2 gesteuerte Regelung der Beatmung von Neugeborenen im Model" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **17:00-17:30**\\ |
| - | Yang Zhang, "Formalisierung von Technical Assumptions und Safety Goals | + | Lützenkirchen, Philipp, "Entwicklung einer Android-Applikation zur Vereinfachung der Barcode-basierten Inventur" (Sonstiges)\\ |
| - | " (MA-Antrittsvortrag)\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | ||
| - | Oliver Blasius, "Entwicklung einer modularen Testumgebung für Batteriemanagementsysteme" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| + | ==== April ==== | ||
| \\ | \\ | ||
| - | ===== SS 2017 ===== | + | === 26.04.2019 (KW 17, Fr) === |
| \\ | \\ | ||
| + | Verfügbarer Zeitrahmen: 12:45-15:00 Uhr \\ | ||
| \\ | \\ | ||
| - | ==== September ==== | + | Moderation: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| \\ | \\ | ||
| - | === 25.09.2017 (KW 39, Mo) === | + | **12:45-13:30**\\ |
| + | Seyrekgelen, Serdar, "Networked Model Predictive Control for Vehicle Formations" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | **13:30-14:15**\\ |
| + | Oss, Leon, "Abstraction Refinement in Incremental Cycle-Bounded Model Checking" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | **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:15-12:45 Uhr**\\ | ||
| - | Janis Maczijewski, "Echtzeitfähige Trajektorienoptimierung für autonome Automobilrennen" (BA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | **12:45-13:30 Uhr**\\ | + | === 12.04.2019 (KW 15, Fr) === |
| - | Marco Grochowski, "A GPS-aided Inertial Navigation System for a Pedelec" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler]]\\ | + | |
| \\ | \\ | ||
| - | **13:30-14:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:00-16:15 Uhr \\ |
| - | Sven Titz, "Erweiterung einer statischen Wertebereichsanalyse für Matlab/Simulink Modelle um Blockabstraktion" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen]]\\ | + | |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | Markus Kohut, Carolo-Cup Praktikum Abschlussvortrag \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | |
| \\ | \\ | ||
| - | **14:15-14:30 Uhr**\\ | + | **14:00-14:30**\\ |
| - | Andreas Wüstenberg, Carolo-Cup Praktikum Abschlussvortrag \\ | + | Beyel, Harry, "Modeling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **14:30-14:45 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Jonas Hein, Carolo-Cup Praktikum Abschlussvortrag \\ | + | Marquardt, Sascha, "Vehicle Coordination at Intersections using Networked Model Predictive Control" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | === 18.09.2017 (KW 38, Mo) === | + | **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]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **16:00-16:15**\\ |
| + | Fenger, Christian, "Sensordatenfusion zur Positionsschätzung von Modellfahrzeugen in Gebäuden" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | === 04.04.2019 (KW 14, Do) === |
| - | Andrei Svetlakov, "Testauswertung und Postsimulation-Analyse von Hardware-in-the-Loop Tests" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:00-15:30 Uhr \\ |
| - | Marco Nicolini, "Nutzung von Sequential Function Charts zur Spezifikation von Hardware-in-the-Loop Tests" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thönnessen]]\\ | + | |
| \\ | \\ | ||
| - | === 11.09.2017 (KW 37, Mo) === | + | Moderation: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:00 Uhr \\ | + | **14:00-14:30**\\ |
| + | Rieck, Thomas, "Datenannotation von bei Frühgeborenenbeatmung | ||
| + | aufgetretenen Komplikationen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler]]\\ | + | **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]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | **15:00-15:30**\\ |
| - | Lucas Braun, "Optimale Auswahl von Point of Interest (POI) Subsets für Enav" (MA-Abschlussvortrag)\\ | + | Meyer, Robert, "Documenting Dependency Structures of Simulink Models in SysML" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic | Dzenan Dzafic]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| \\ | \\ | ||
| - | **13:15-14:00 Uhr**\\ | ||
| - | Stephan Stahlmann, "Entwicklung einer konsistenten A*-Heuristik für das eNav-Routing" (MA-Abschlussvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic | Dzenan Dzafic]]\\ | ||
| \\ | \\ | ||
| + | ==== März ==== | ||
| \\ | \\ | ||
| - | ==== August ==== | + | === 21.03.2019 (KW 12, Do) === |
| \\ | \\ | ||
| - | === 09.08.2017 (KW 32, Mi) === | + | Verfügbarer Zeitrahmen: 13:00-14:30 Uhr \\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter: goebe]]\\ | + | **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]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | **13:45-14:30**\\ |
| - | Michael Osetinski, "Remote-Supervisor für SPS-basierte Steuerungen" (BA-Abschlussvortrag)\\ | + | Botz, Lukas, "Autonomous Vehicle Racing using Networked Model Predictive Control" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe | Florian Göbe]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **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**\\ | + | === 01.03.2019 (KW 9, Fr) === |
| - | Andreas Kratz, "Erweiterung von Arttest um Coverage-Analysen für die Modell- und Software-Ebene" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski | Norbert Wiechowski]]\\ | + | |
| \\ | \\ | ||
| - | ==== Juli ==== | + | Verfügbarer Zeitrahmen: 13:30-16:15 Uhr \\ |
| \\ | \\ | ||
| - | === 25.07.2017 (KW 30, Di) === | + | Moderation: [[lehrstuhl:mitarbeiter:wiechowski]]\\ |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **13:30-14:00**\\ |
| + | Bernwald, Thomas, "Word Embedding für semantische Textvergleiche in Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | **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]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Marc Fassbender, "Entwicklung eines Frameworks zur performanten Visualisierung von Signalen und | + | Ledwon, Dennis, "Erzeugung von Testfällen maximaler Code-Abdeckung mittels Model-Checking" (BA-Antrittsvortrag)\\ |
| - | Akzeptanzbereichen in Arttest" (BA-Abschlussvortrag)\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler | Alexander Kugler]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:20 Uhr**\\ | + | **15:30-16:00**\\ |
| - | Carolo Cup Statusreport & Praktikumsabschlussvorträge\\ | + | Ruffer, Josef, "Entwicklung eines Tools zur Aufnahme und Wiedergabe von Nachrichten in einem DDS Netzwerk" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:rakel | Stefan Rakel]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **13:20-14:05 Uhr**\\ | + | **16:00-16:15**\\ |
| - | Nico Wübbels, "Zeitliche Analyse von Temperaturverläufen zur Bewertung von Handdesinfektionen" (MA-Abschlussvortrag)\\ | + | Marius Kruft, "Automatisierung und Überwachung eines Prüfstands für |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek |Manfred Smieschek]]\\ | + | automotive Steuergeräte mit Arttest" (BA-Antrittsvortrag)\\ |
| + | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski]]\\ | ||
| \\ | \\ | ||
| - | **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**\\ | + | ==== Februar ==== |
| - | Lukas Armborst, "A Unifying Formalism for PDR-based Software Verification" (MA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender |Dimitri Bohlender]]\\ | + | |
| \\ | \\ | ||
| - | === 03.07.2017 (KW 27, Mo) === | + | === 18.02.2019 (KW 8, Mo) === |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:00-16:15 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter: kuehn]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **12:30-12:45 Uhr**\\ | + | **14:00-14:30**\\ |
| - | Nico Böhr, "Hardwareplatform zur Vernetzung von Medizintechnik" (MA-Antrittsvortrag)\\ | + | René Magritz, "Entwicklung eines Variantenmanagements für die Erzeugung von Software für Batteriemanagementsysteme" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn | Jan Kühn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **12:45-13:00 Uhr**\\ | + | **14:30-15:00**\\ |
| - | Thorben Kallen, "TBA" (MA-Antrittsvortrag)\\ | + | Valentin Niemann, "Entwicklung eines modularen Bootloaders für sicherheitskritische Anwendungen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen | Norman Hansen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | **15:00-15:30**\\ |
| - | Mateusz Buglowski, "Neuronale Netze zur Fehlererkennung in vernetzter Medizintechnik" (MA-Antrittsvortrag)\\ | + | Werthebach, Moritz, "Evaulation des eNav-Systems durch Benutzerstudien" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn | Jan Kühn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **13:30-14:00 Uhr**\\ | + | **15:30-16:00**\\ |
| - | Patrick Feser, "Konzept zur assistierten Testfall-Generierung aus freitextlichen Anforderungen über eine Zwischendarstellung" (BA-Abschlussvortrag)\\ | + | Denker, Merlin, "Kontinuierliche Berechnung von Condition-Indikatoren im Rahmen der Predictive Maintenance einer Rollenkette" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | **16:00-16:15**\\ |
| - | Stefan Srecec, "Zustandsmodellierung und -visualisierung vernetzter Industriesysteme" (BA-Antrittsvortrag)\\ | + | Prieler, Lucas, "Developing a visual editor for Logic-to-Software Allocations in SysML" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:smieschek|Manfred Smieschek]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| \\ | \\ | ||
| - | ==== Juni ==== | ||
| \\ | \\ | ||
| - | === 19.06.2017 (KW 25, Mo) === | + | ==== Januar ==== |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:15-13:45 Uhr \\ | + | === 30.01.2019 (KW 5, Mi) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:smieschek |Paul Chomicz]]\\ | + | Verfügbarer Zeitrahmen: 10:00-11:45 Uhr \\ |
| \\ | \\ | ||
| - | **12:15-12:45 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:elliott]]\\ |
| - | Yannik Müller, "Zentrale CERM Datenspeicherung via Ros" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic |Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **12:45-13:00 Uhr**\\ | + | **10:00-10:30**\\ |
| - | Julian Treiber, "Datenbankbasierte Eingabeunterstützung" (BA-Antrittsvortrag)\\ | + | Hochmann, Philipp, "Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz |Paul Chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| + | **10:30-11:15**\\ | ||
| + | Kragl, Ludwig, "Go-to-formation of nonholonomic Vehicles using Networked Model Predictive Control" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | === 01.06.2017 (KW 22, Mo) === | + | **11:15-11:45**\\ |
| + | Hammer, Freimut, "pH Wert regulation in extrakorporalen Nierenperfusionsystemen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:30 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:thoennessen |David Thönnessen]]\\ | + | === 25.01.2019 (KW 4, Fr) === |
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ |
| - | Christian Fischer, "Entwicklung einer Fernsteuerung eines Elektrorollstuhls" (BA-Abschlussvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | + | Moderation: TBA\\ |
| - | Sven Titz, "Erweiterung einer statischen Wertebereichsanalyse für Matlab/Simulink Modelle um Blockabstraktionen" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:hansen|Norman Hansen]]\\ | + | |
| - | \\ | + | |
| - | **13:15-13:30 Uhr**\\ | + | |
| - | Andrei Svetlakov, "Testauswertung und Postsimulation-Analyse von Hardware-in-the-Loop Tests" (BA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen |David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | **13:30-13:45 Uhr**\\ | + | |
| - | Marco Nicolini, "Nutzung von Sequential Function Charts zur Spezifikation von Hardware-in-the-Loop Tests" (MA-Antrittsvortrag)\\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen |David Thönnessen]]\\ | + | |
| - | \\ | + | |
| - | **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]]\\ | + | |
| \\ | \\ | ||
| + | **12:30-14:00**\\ | ||
| + | Abschlussvorträge Praktikum (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | ||
| - | ==== Mai ==== | ||
| - | |||
| - | === 15.05.2017 (KW 20, Mo) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | === 11.01.2019 (KW 2, Fr) === |
| \\ | \\ | ||
| - | **12:30-12:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-15: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:boersma]]\\ |
| - | 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 | + | Meyer, Robert, "Automatische Dokumentationsgenerierung für MATLAB/Simulink Modelle" (BA-Antrittsvortrag)\\ |
| - | Sprache im Kontext der Gefährdungsanalyse" (BA-Abschlussvortrag)\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **14:45-15:00**\\ |
| - | Lukas Armborst, "Configurable IC3" (MA-Antrittsvortrag)\\ | + | Schimitzek, Simon, "Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender |Dimitri Bohlender]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | ||
| - | Stephan Stahlmann, "Entwicklung einer konsistenten A*-Heuristik für das eNav-Routing" (MA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic |Dzenan Dzafic]]\\ | ||
| \\ | \\ | ||
| - | === 02.05.2017 (KW 18, Di) === | + | ==== Dezember ==== |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | === 21.12.2018 (KW 51, Fr) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | Verfügbarer Zeitrahmen: 14:30-15:45 Uhr \\ |
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| - | David Rath, "Syntactic Analysis of PLC Software Projects" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:15 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Marco Grochowski, "A GPS-aided Inertial Navigation System for a Pedelec" (MA-Antrittsvortrag)\\ | + | Akdas, Derya, "Evaluation kontrollierter Sprachen für die Gefährdungsanalyse" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **13:15-14:00 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Daniel Hamm, "Cycle-Bounded Model-Checking of Reactive Programs" (MA-Abschlussvortrag)\\ | + | Li, Zhi, "Development of a tool to generate maps for autonomous driving" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender|Dimitri Bohlender]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | ==== April ==== | + | **15:30-15:45**\\ |
| + | Clegg, Georg, "Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion | ||
| + | " (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | === 04.04.2017 (KW 14, Mo) (Notfalltermin wg. TI) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | === 11.12.2018 (KW 50, Di) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | Verfügbarer Zeitrahmen: 14:30-15:45 Uhr \\ |
| \\ | \\ | ||
| - | **12:30-13:00 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:bohlender]]\\ |
| - | Yan Wo, "eNav Development based on PostgreSQL and Evaluation" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| + | **14:30-14:45**\\ | ||
| + | Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | ||
| - | ===== WS 2016/2017 ===== | ||
| \\ | \\ | ||
| + | **14:45-15:00**\\ | ||
| + | Oss, Leon, "Abstraction Refinement in Incremental Cycle-Bounded Model Checking" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | ==== März ==== | + | **15:00-15:45**\\ |
| + | Lahr, Florian, "Analyse des Energiemanagements der eNav-App" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | === 20.03.2017 (KW 12, Mo) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-15:30 Uhr \\ | + | ==== November ==== |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kuehn|Jan Kühn]]\\ | + | === 26.11.2018 (KW 48, Mo) === |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 12:30-13:30 Uhr \\ |
| - | Leon Oss, "Automatische Generierung von Systemmodellen für Vissim" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| - | Katharina Wehrmeister, "Modellbasierte Überwachung auf Mobilgeräten" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn|Jan Kühn]]\\ | + | |
| \\ | \\ | ||
| - | **14:00-15:30 Uhr**\\ | + | **12:30-12:45**\\ |
| - | Praktikum, "Automatisierung einer Destillationsanlage" (Abschlussvorträge) \\ | + | Rieck, Thomas, "Datenannotierung von bei Frühgeborenenbeatmung aufgetretenen Komplikationen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||
| - | === 10.03.2017 (KW 10, Fr) === | + | **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]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 09:00-11:30 Uhr \\ | + | **13:00-13:15**\\ |
| + | Camp, Alexander, "Coordinating Cooperative Vehicles at Road Intersections using Scheduling" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:thoennessen|David Thoennessen]]\\ | + | **13:15-13:30**\\ |
| + | Ripplinger, Fabian, "Automatisches Layouting für interne Block-Diagramme in SysML" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| \\ | \\ | ||
| - | **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**\\ | + | === 09.11.2018 (KW 45, Fr) === |
| - | 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**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 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**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| - | Torben Friedrichs, "Vergleichseditor für Gefährdungsanalysen" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| \\ | \\ | ||
| - | ==== Februar ==== | + | **14:30-14:45**\\ |
| + | Bernwald, Thomas, "Word Embedding für semantische Textvergleiche in Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | === 20.02.2017 (KW 8, Mo) === | + | **14:45-15:00**\\ |
| + | Jansen, Moritz, "Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 11:00-12:00 Uhr \\ | + | **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]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | **15:15-15:30**\\ |
| + | Beyel, Harry, "Modelling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making | ||
| + | " (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | **11:00-11:45 Uhr**\\ | + | **15:30-16:15**\\ |
| - | Thorsten Marx, "Grammatikkonforme Eingabeunterstützung für Gefährdungsanalysen" (MA-Abschlussvortrag) \\ | + | Müller, Jonathan, "Reaktives HIL-Testen auf industrieüblichen Komponenten über den ASAM XIL Standard" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| \\ | \\ | ||
| - | **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) === | + | ==== Oktober ==== |
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | === 19.10.2018 (KW 42, Fr) === |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:tba|tba]]\\ | + | Verfügbarer Zeitrahmen: 14:00-16:00 Uhr \\ |
| \\ | \\ | ||
| - | ==== Januar ==== | + | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | === 24.01.2017 (KW 4, DI) === | + | **14:00-14:30**\\ |
| + | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:00-13:45 Uhr \\ | + | **14:30-15:00**\\ |
| + | Schwarz, Kevin, "Entwurf eines Goal Structuring Notation Editor" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | **15:00-15:30**\\ |
| + | Husak, Adnan, "Datenbankgestützte Eingabeunterstützung für Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | **12:00-12:15 Uhr**\\ | + | **15:30-15:45**\\ |
| - | Marius Völkel, "Semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Antrittsvortrag) \\ | + | Tülleners, Isabelle, "Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | **12:15-12:30 Uhr**\\ | + | **15:45-16:00**\\ |
| - | Torben Friedrichs, "Vergleichseditor für Gefährdungsanalysen" (BA-Antrittsvortrag) \\ | + | Wüstenberg, Andreas, "Implementation of the Real-Time Publish-Subscribe Protocol for Automotive-grade Microcontroller" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | **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**\\ | + | === 12.10.2018 (KW 41, Fr) === |
| - | 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**\\ | + | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ |
| - | Yannik Müller, "Zentrale CERM Datenspeicherung via Ros" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:elliott]]\\ |
| - | Lucas Braun, "Optimale Auswahl von Point of Interest Subsets für eNav" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | ==== Dezember ==== | + | **12:30-13:15**\\ |
| + | Loup, Benedikt, "Entwicklung eines kostengünstigen HIL-Testsystems für reaktives Testen in der automobilen Domäne." (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:hansen]]\\ | ||
| \\ | \\ | ||
| - | === 19.12.2016 (KW 51, Mo) === | + | **13:15-13:45**\\ |
| + | Schlein, Steffan, "Integrierte Anbindung heterogener intensivmedizinischer Datenquellen an variable Anwendungen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr \\ | + | **13:45-14:00**\\ |
| + | Hammer, Freimut, "ph-Regulation of extra corporal kidney perfusion systems" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | ==== September ==== |
| - | Florian Sehl, "Entwicklung einer Anbindungsschnittstelle eines Tauchcomputers an ein Bodysensor Netzwerk" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:45 Uhr**\\ | + | === 28.09.2018 (KW 39, Fr) === |
| - | Robert Lau, "Zerlegung von Impedanztomographie-Bildfolgen mittels "empirical mode decomposition" (EMD)" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 15:30-16:25 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**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| - | 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) === | + | **15:30-16:15**\\ |
| + | Philipp Nolte, "Probabilistische Prädiktion von Fußgängerbewegungen an Kreuzungen mit neuronalen Netzen" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-13:45 Uhr (harte Deadline) \\ | + | **16:15-16:25**\\ |
| + | Neuberger, Lukas, "Carolo Cup als Softwarepraktikum (Abschlussvortrag) " (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | ||
| \\ | \\ | ||
| - | **12:30-13:15 Uhr**\\ | + | === 21.09.2018 (KW 38, Fr) === |
| - | Mohamed Shaaban, "Iterative Static Analysis for PLC Code" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:obster|Mathias Obster]]\\ | + | |
| \\ | \\ | ||
| - | **13:15-13:30 Uhr**\\ | + | Verfügbarer Zeitrahmen: 13:45-16:15 Uhr \\ |
| - | David Rath, "Syntactic Analysis of PLC Software Projects" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:simon|Hendrik Simon]]\\ | + | |
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| - | Patrick Feser, "Entwicklung eines Konzepts zur Testfallgenerierung aus freitextlichen Anforderungen" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | |
| \\ | \\ | ||
| - | ==== November ==== | + | **13:45-14:30**\\ |
| + | Schemmer, Thomas, "Modification a Model-Scale Vehicle for Autonomous Driving | ||
| + | " (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | === 22.11.2016 (KW 47, Di) === | + | **14:30-14:45**\\ |
| + | Denker, Merlin, "Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:15-14:00 Uhr\\ | + | **14:45-15:15**\\ |
| + | Richter, Fabian, "Methoden zur Identifikation von Widersprüchen in Gefährdungsanalysen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:dernehl|Christian Dernehl]]\\ | + | **15:15-16:00**\\ |
| + | Remington Voertmann, "Entwicklung eines Prüfstandkonzeptes zur Verkürzung der Inbetriebnahmezeiten von dezentralen Personentransportanlagen" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
| \\ | \\ | ||
| - | **12:15-12:45 Uhr**\\ | + | **16:00-16:15**\\ |
| - | Robert Funk, "Policy Iteration for Static Analysis of PLC Programs" (BA-Abschlussvortrag) \\ | + | Hochmann, Philipp, "Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeuges zur Eingabeunterstützung" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker|Marcus Völker]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **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**\\ | + | === 13.09.2018 (KW 37, Do) === |
| - | Leon Oss, "Automatische Generierung von Simulationsmodelle für Vissim" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Christian Fischer, "eNav - Entwicklung einer Fernsteuerung eines Elektrorollstuhls" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| - | Yan Wo, "eNav Development based on PostgreSQL and Evaluation" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | === 07.11.2016 (KW 45, Do) === | + | **14:30-15:00**\\ |
| + | Brueckner, Sebastian, "Generierung von VISSIM Modellen anhand von Skizzen" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 12:30-14:00 Uhr\\ | + | **15:00-15:30**\\ |
| + | Vukelic, Filip, "Policy Iteration with Octagons for Static Analysis of PLC Programs" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | **15:30-16:00**\\ |
| + | Tabe, Christian, "Ein Werkzeug zum Im- und Export formaler Spezifikationen von Software-Komponenten" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| - | **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**\\ | + | ==== August ==== |
| - | Daniel Hamm, "Cycle-Bounded Model-Checking of Reactive Programs" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:bohlender|Dimitri Bohlender]]\\ | + | |
| \\ | \\ | ||
| - | **13:00-13:45 Uhr**\\ | + | === 14.08.2018 (KW 33, Di) === |
| - | Alexander Kucksdorf, "eNav-Entwicklung auf Basis von Neo4j und Evaluierung" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:15 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Jakob Strüver, "Simulation-free evaluation of existing data in Arttest" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| \\ | \\ | ||
| - | ==== Oktober ==== | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| - | === 26.10.2016 (KW 39, Do) === | + | **14:30-14:45**\\ |
| + | Ruffer, Josef, "Entwicklung eines Tools zur Aufnahme und Wiedergabe von Nachrichten in einem DDS Netzwerk" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 16:00-17:30 Uhr\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | === 03.08.2018 (KW 31, Fr) === |
| \\ | \\ | ||
| - | ===== SS 2016 ===== | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | ==== September==== | + | **14:30-15:15**\\ |
| + | Gergely Bilkei-Gorzo, "Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | === 29.09.2016 (KW 39, Do) === | + | **15:15-15:45**\\ |
| + | Ansari, Abir, "Evaluation of the LwIP stack with respect to UDP communication on resource constrained platforms" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | ||
| \\ | \\ | ||
| - | **15:00-15:45 Uhr**\\ | + | ==== Juli ==== |
| - | Stefan Schake, "Integration of PROFINET protocol stack into the RTAndroid platform" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | |
| \\ | \\ | ||
| - | **15:45-16:15 Uhr**\\ | + | === 27.07.2018 (KW 30, Fr) === |
| - | 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**\\ | + | Verfügbarer Zeitrahmen: 11:00-12:00 Uhr \\ |
| - | Oliver Ney, "Schwerpunktabhängige Fahrdynamikregelung eines semi-autonomen Fahrzeugprototyps" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | |
| \\ | \\ | ||
| - | **>> 15 min. PAUSE <<**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| \\ | \\ | ||
| - | **17:15-18:00 Uhr**\\ | + | **11:00-11:30**\\ |
| - | Mirko Kugelmeier, "Tethering a semi-autonomous vehicle prototype by relative positioning" (MA-Abschlussvortrag) \\ | + | Amelung, Tim, "Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| - | **18:00-18:30 Uhr**\\ | + | **11:30-11:45**\\ |
| - | Malte Modlich, "Adaptation of keyword extraction algorithms to the medical domain using expert taxonomies" (BA-Abschlussvortrag) \\ | + | Triefenbach, Lucas, "Automatic Test Generation for Arttest using a Controlled Natural Language" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
| - | Externer Betreuer: Christian Kohlschein\\ | + | |
| \\ | \\ | ||
| - | **18:30-19:00 Uhr**\\ | + | **11:45-12:00**\\ |
| - | Daniel Klischies, "Design and implementation of a semantic search system for medical research papers" (BA-Abschlussvortrag) \\ | + | Seyrekgelen, Serdar, "Networked Model Predictive Control for Vehicle Formation" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| - | Externer Betreuer: Christian Kohlschein\\ | + | |
| \\ | \\ | ||
| - | === 26.09.2016 (KW 39, Mo) === | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | === 13.07.2018 (KW 28, Fr) === |
| \\ | \\ | ||
| - | **14:30-15:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:30 Uhr \\ |
| - | Jonathan Müller, "Grafisch änderbare visuelle Testfallspezifikation in Arttest" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | |
| \\ | \\ | ||
| - | **15:00-15:30 Uhr**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:simon]]\\ |
| - | 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**\\ | + | **14:30-15:15**\\ |
| - | Andreas Wüstenberg, "Integration of an on-board field device adapter into the RTAndroid platform" (BA-Abschlussvortrag) \\ | + | Kohout, Markus, "Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | " (MA-Abschlussvortrag)\\ |
| + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
| \\ | \\ | ||
| - | === 19.09.2016 (KW 38, Mo) === | + | **15:15-16:00**\\ |
| + | Friedrich, Nico, "Mutation-guided Symbolic Testing for Logic Control Software" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | ||
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 16:00-18:45 Uhr\\ | + | **16:00-16:30**\\ |
| + | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | ||
| \\ | \\ | ||
| - | **16:00-16:30 Uhr**\\ | + | === 06.07.2018 (KW 27, Fr) === |
| - | Michael Janssen, "TBA" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk|Andre Stollenwerk]]\\ | + | |
| \\ | \\ | ||
| - | **16:30-17:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 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 **\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| - | 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**\\ | + | **14:30-14:45**\\ |
| - | Benedikt Röder, "Computerprogramm zur Überwachung intensivmedizinischer Therapiesysteme" (BA-Abschlussvortrag) \\ | + | Classen, Leonard, "Vehicle Lane Change on Highways using Networked Model Predictive Control " (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| \\ | \\ | ||
| - | /* | + | **14:45-15:00**\\ |
| - | **18:15-18:45 Uhr**\\ | + | Marquardt, Sascha, "Vehicle Coordination at Intersections using Networked Model Predictive Control" (MA-Antrittsvortrag)\\ |
| - | Marc Summen, "Sprachinklusion von Produkten von Timed-Automata" (BA-Abschlussvortrag) \\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | + | |
| - | */ | + | |
| \\ | \\ | ||
| - | ==== August ==== | + | **15:00-15:15**\\ |
| + | Botz, Lukas, "Autonomous Vehicle Racing using Networked Model Predictive Control" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | === 23.08.2016 (KW 34, Di) === | + | **15:15-15:30**\\ |
| + | Kragl, Ludwig, "Go-to-Formation of nonholonomic Vehicles using Networked Model Predictive Control " (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:15-15:45 Uhr\\ | + | **15:30-15:45**\\ |
| + | Akdas, Derya, "Evaluation kontrollierter Sprachen für die Gefährdungsanalyse" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | **15:45-16:00**\\ |
| + | Barakat, Patrick, "Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ | ||
| \\ | \\ | ||
| - | **13:15-14:00 Uhr**\\ | ||
| - | Nicolas Wagener, "Integration von ÖPNV-Echtzeit-Informationen in das eNav-System" (MA-Abschlussvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:dzafic|Dzenan Dzafic]]\\ | ||
| \\ | \\ | ||
| - | **14:00-14:30 Uhr**\\ | + | ==== Juni ==== |
| - | Stefan Klug, "Evaluationsmethoden für signalbasierte funktionale Testfälle im Automobilbereich" (BA-Abschlussarbeit) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | |
| \\ | \\ | ||
| - | **14:30-15:00 Uhr**\\ | + | === 29.06.2018 (KW 26, Fr) === |
| - | Nicola Gatto, "Erweiterte Codegenerierung für ein Werkzeug zur Synthese von ereignisdiskreten Überwachern" (BA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | |
| \\ | \\ | ||
| - | **15:00-15:45 Uhr**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Alexandru Gurghian, "TBD" (MA-Abschlussvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | |
| \\ | \\ | ||
| - | ==== Juli ==== | + | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ |
| \\ | \\ | ||
| - | === 19.07.2016 (KW 29, Mo) === | + | **14:30-15:15**\\ |
| + | Marc Werner, "Konzept und Implementierung eines Statusanzeige- und Interaktionssystems für prototypische Fahrzeuge" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 14:30-15:30 Uhr\\ | + | **15:15-15:30**\\ |
| + | Schlein, Steffan, "TBD" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:stollenwerk|André Stollenwerk]]\\ | + | **15:30-15:45**\\ |
| + | Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
| \\ | \\ | ||
| - | **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) === | + | === 22.06.2018 (KW 25, Fr) === |
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:voelker|Marcus Völker]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | **14:30-15:15**\\ |
| - | Robert Funk, "Policy Iteration for Static Analysis of PLC Programs (BA-Antrittsvortrag) \\ | + | Ding, Chengjing, "eNav_Point_matching" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:voelker|Marcus Völker]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **13:45-14:15 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Kim Haps, "OPC-UA-Anbindung von Android-Geräten an Werkzeugmaschinen" (MA-Abschlussvortrag) \\ | + | Müller, Jonathan, "HIL-Testen mit dSPACE-Systemen mit Arttest" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ |
| \\ | \\ | ||
| - | ==== Juni ==== | + | **15:30-15:45**\\ |
| + | Loup, Benedikt, "HIL-Testen auf Beckhoff-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | ||
| \\ | \\ | ||
| - | === 20.06.2016 (KW 25, Mo) === | + | **15:45-16:15**\\ |
| + | Judizki, Arkadi, "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | ||
| \\ | \\ | ||
| - | Moderation: N.N.\\ | + | === 12.06.2018 (KW 24, Di) === |
| \\ | \\ | ||
| - | === 13.06.2016 (KW 24, Mo) === | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | **14:30-14:45**\\ |
| + | Schwarz, Kevin, "Goal Structuring Notation Editor" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | **14:45-15:00**\\ |
| - | Jonathan Müller, "Visuelle Testfallspezifikation in Arttest" (BA-Antrittsvortrag) \\ | + | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **15:00-15:15**\\ |
| - | Sebastian Pape, "Entwicklung einer Widget-basierten Oberfläche zur Steuerung von Simulink Modellen in Arttest" (BA-Antrittsvortrag) \\ | + | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **14:00-14:15 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Jakob Strüver, "Iterative evaluation with pre- and postprocessing on existing data within Arttest" (BA-Antrittsvortrag) \\ | + | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:akugler|Alexander Kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **14:15-14:30 Uhr**\\ | + | **15:30-15:45**\\ |
| - | Philipp Hossner, "Werkzeug für Qualitätssicherung der Systemkonfiguration von Real-Time Android" (BA-Antrittsvortrag) \\ | + | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kalkov|Igor Kalkov]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| - | \\ | + | |
| - | **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 ==== | ==== Mai ==== | ||
| \\ | \\ | ||
| - | === 30.05.2016 (KW 22, Mo) === | + | === 25.05.2018 (KW 21, Fr) === |
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | Verfügbarer Zeitrahmen: 12:30-16:15 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ |
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | **12:30-13:15**\\ |
| - | Nico Linder, "Konsistenzprüfung von Gefährdungsanalysen" (BA-Antrittsvortrag) \\ | + | Kugler, Alexander, "Alexander Kölsch - Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten" (MA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ |
| \\ | \\ | ||
| - | **13:45-14:00 Uhr**\\ | + | **13:15-13:45**\\ |
| - | Benedikt Loup, "Unterstützung von Rohdaten für modellbasierte Testfälle" (BA-Antrittsvortrag) \\ | + | Lau, Christian, "Import und semi-automatische Übersetzung von alten Gefährdungsanalysen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:wiechowski|Norbert Wiechowski]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | **14:00-15:00 Uhr**\\ | + | **13:45-14:15**\\ |
| - | Stefan Rakel, Mirko Kugelmeier, Stefan Schake, "Carolo-Cup 2016" (Praktikumsabschlussvortrag) \\ | + | Hildebrandt, Oliver, "Eingabeunterstützung für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:schweigler|Martin Schweigler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
| \\ | \\ | ||
| - | === 03.05.2016 (KW 18, Di) === | + | **14:15-14:30**\\ |
| + | Kugler, Alexander, "Pause" (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ | ||
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 14:45-15:45 Uhr\\ | + | **14:30-15:15**\\ |
| + | Fidomski, Kim, "Evaluation von kontrollierten Sprachen" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | + | **15:15-15:45**\\ |
| + | Bender, Serjoscha, "Collision Avoidance Detection of Wheelchairs | ||
| + | " (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | **14:45-15:00 Uhr**\\ | + | **15:45-16:15**\\ |
| - | Andreas Wüstenberg, "Design and Implementation of an efficient onboard Field Device Adapter for Twistturn" (BA-Antrittsvortrag) \\ | + | Van Essen, Jan, "Integration einer Consumer-Wärmebildkamera in ein System zur Validierung von Händedesinfektionen" (BA-Abschlussvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen|David Thönnessen]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ |
| \\ | \\ | ||
| - | /* | ||
| - | **15:00-15:15 Uhr**\\ | ||
| - | Marc Summen, "Sprachinklusion von Produkten von Timed Automata" (BA-Antrittsvortrag) \\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| - | */ | ||
| \\ | \\ | ||
| - | **15:15-15:30 Uhr**\\ | + | === 18.05.2018 (KW 20, Fr) === |
| - | Christian Tabe, "Im- und Export bedingter Spezifikationen für Software-Komponenten" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:foerster|Marc Förster]]\\ | + | |
| \\ | \\ | ||
| - | ==== April ==== | + | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ |
| \\ | \\ | ||
| - | === 25.04.2016 (KW 17, Mo) === | + | Moderation: [[lehrstuhl:mitarbeiter:kuehn]]\\ |
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen 1: 13:00-13:45 Uhr\\ | + | **14:30-14:45**\\ |
| - | Verfügb. Zeitrahmen 2: 16:30-18:00 Uhr\\ | + | Böcker, Max, "Complete Language Support and Error Detection of Sequential Function Charts in Twistturn" (BA-Antrittsvortrag)\\ |
| + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | **14:45-15:30**\\ |
| + | Hicks, Sandra, "Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem | ||
| + | " (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| \\ | \\ | ||
| - | **SLOT 1**\\ | + | **15:30-16:15**\\ |
| - | \\ | + | Hardes, David, "Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems |
| - | **13:00-13:15 Uhr**\\ | + | " (MA-Abschlussvortrag)\\ |
| - | Nicola Gatto, "Erweiterter Codegenerator für SynTACS" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:goebe|Florian Göbe]]\\ | + | |
| - | \\ | + | |
| - | **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]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kuehn]]\\ | ||
| + | |||
| \\ | \\ | ||
| - | **SLOT 2**\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | === 04.05.2018 (KW 18, Fr) === |
| \\ | \\ | ||
| - | **16:30-17:00 Uhr**\\ | + | Verfügbarer Zeitrahmen: 15:00-16:45 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**\\ | + | Moderation: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| - | Joel Charles, "Formalisierung von Exposure Rationales und semi-automatisierte Einstufung des Exposure Parameters" (BA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **17:15-17:30 Uhr**\\ | + | **15:00-15:15**\\ |
| - | Pascal Stump, "Verwaltungssystem für kontrollierte Sprachen" (BA-Antrittsvortrag) \\ | + | Brueckner, Sebastian, "Generierung von VISSIM Modellen anhand von Skizzen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
| \\ | \\ | ||
| - | **17:30-17:45 Uhr**\\ | + | **15:15-15:30**\\ |
| - | Alexander Kucksdorf, "eNav-Entwicklung auf Basis von Neo4j und Evaluierung" (MA-Antrittsvortrag) \\ | + | Lahr, Florian, "Erweiterung des Barriereerkennungssystems um eine Funktion zur Berechnung der Trajektorie" (BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| + | |||
| \\ | \\ | ||
| + | **15:30-16:00**\\ | ||
| + | Duehrsen, Lucas, "Meetings Route Optimizer" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| - | === 11.04.2016 (KW 15, Mo) === | ||
| \\ | \\ | ||
| - | Verfügb. Zeitrahmen: 13:30-15:30 Uhr\\ | + | **16:00-16:30**\\ |
| + | Bugdalle, Daniel, "Halteliniendetektor via Satellitenbilder | ||
| + | " (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
| \\ | \\ | ||
| - | Moderation: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | ||
| \\ | \\ | ||
| - | **13:30-13:45 Uhr**\\ | + | ==== April ==== |
| - | Thorsten Marx, "Grammatikkonforme Eingabeunterstützung" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| \\ | \\ | ||
| - | **13:45-14:15 Uhr**\\ | + | === 27.04.2018 (KW 17, Fr) === |
| - | 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**\\ | + | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ |
| - | Julian Teige, "Visueller Editor für Gefährdungsanalysen" (MA-Antrittsvortrag) \\ | + | |
| - | Betreuer: [[lehrstuhl:mitarbeiter:chomicz|Paul Chomicz]]\\ | + | |
| \\ | \\ | ||
| + | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
| + | \\ | ||
| + | **14:30-14:50**\\ | ||
| + | Lützenkirchen, Philipp, "Entwicklung eines LTL-Parsers unter Verwendung des Shunting-yard-Algorithmus" (Sonstiges)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
| + | |||
| + | \\ | ||
| + | **14:50-15:35**\\ | ||
| + | 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:stollenwerk]]\\ | ||
| + | |||
| + | \\ | ||
| + | \\ | ||
| + | |||
| \\ | \\ | ||
| \\ | \\ | ||