Kolloquiumstermine


Diese Seite enthält die aktuelle Liste der studentischen Antritts- und Abschlussvorträge im Rahmen von Bachelor- Master- und Diplomarbeiten sowie sonstiger Kolloquien am Lehrstuhl.


Interessierte sind zum Zuhören herzlich eingeladen (außer, wenn ein Vortrag explizit als nichtöffentlich gekennzeichnet ist)!


Veranstaltungsort ist Raum 2202, sofern nicht anders angegeben.


(Hinweise zur Organisation von Lehrstuhlkolloquien)



Januar


10.01.2020 (KW 2, Fr)


Verfügbarer Zeitrahmen: 14:30-16:30 Uhr

Moderation: TBA


Dezember


13.12.2019 (KW 50, Fr)


Verfügbarer Zeitrahmen: 14:30-16:30 Uhr

Moderation: TBA


November


29.11.2019 (KW 48, Fr)


Verfügbarer Zeitrahmen: 14:30-16:30 Uhr

Moderation: TBA

14:30-15:00
Milde, Michelle, „Verbesserung der Temperaturreglung einer Wärmebildkamera zur Erfassung von Händedesinfektionserfolgen“ (BA-Abschlussvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH


15:00-15:30
Schaeffer, Carina, „Distributed Scheduling for Cooperative Vehicles at Road Intersections“ (BA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:30-16:00
Kluener, David, „TBD“ (BA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


16:00-16:45
Rogalski, Jan, „TBD“ (MA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


16:45-17:00
Gallmann, Fabian, „TBD“ (BA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH



08.11.2019 (KW 45, Fr)


Verfügbarer Zeitrahmen: 14:30-16:45 Uhr

Moderation: TBA

14:30-15:00
Nothnick, Philipp, „Automatisiertes Testen von SmartTVs“ (BA-Abschlussvortrag)
Betreuer: Dr.-Ing. André Stollenwerk


15:00-15:30
Kruschewsky, Alexander, „TBD“ (BA-Abschlussvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


15:30-15:45
Sieberg, Tristan, „TBD“ (BA-Antrittsvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


15:45-16:15
Prieler, Lucas, „TBD“ (BA-Abschlussvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


16:15-16:45
Jakobczak, Kevin, „TBA“ (BA-Abschlussvortrag)
Betreuer: Marco Grochowski, M.Sc. RWTH



Oktober


18.10.2019 (KW 42, Fr)


Verfügbarer Zeitrahmen: 14:30-14:45 Uhr

Moderation: Maximilian Kloock, M.Sc. RWTH

14:30-14:45
Vogel, Tobias, „Priority Assignment for Distributed Model Predictive Control“ (BA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH



September


27.09.2019 (KW 39, Fr)


Verfügbarer Zeitrahmen: 11:00-12:45 Uhr

Moderation: Manfred Smieschek, M.Sc. RWTH

11:00-11:30
Fenger, Christian, „Sensordatenfusion zur Positionsschätzung von Modellfahrzeugen in Gebäuden“ (BA-Abschlussvortrag)
Betreuer: Patrick Scheffe, M. Sc. RWTH


11:30-12:00
Sumic, Patrick, „Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion“ (BA-Abschlussvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH


12:00-12:45
Prabhu, Vinod, „Doctoral thesis status update“ (Sonstiges)
Betreuer: Prof. Dr.-Ing. Stefan Kowalewski



20.09.2019 (KW 38, Fr)


Verfügbarer Zeitrahmen: 13:00-16:30 Uhr

Moderation: Marc Förster, M.Sc.

13:00-13:30
Conrads, Kevin, „Umsetzung einer Service-orientierten Architektur auf Basis von OPC-UA am Beispiel einer Modellanlage“ (BA-Abschlussvortrag)
Betreuer: Marco Grochowski, M.Sc. RWTH


13:30-14:00
Rolf, Johannes, „Analysis of Existing Autonomous and Networked Model-scale Vehicles“ (BA-Abschlussvortrag)
Betreuer: Patrick Scheffe, M. Sc. RWTH


14:00-14:30
Lüer, Maximilian, „Definition und Implementierung von Kommunikationsschnittstellen eines Cloud Systems für das automatisierte Fahren“ (BA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


14:30-15:00
Petri, Daniel, „Eine Programmbibliothek für Produkte symbolischer Transduktoren“ (BA-Abschlussvortrag)
Betreuer: Marc Förster, M.Sc.


15:00-15:30
Benelhedi, Ayssar, „A library for Boolean functions in algebraic normal form“ (BA-Abschlussvortrag)
Betreuer: Marc Förster, M.Sc.


15:30-16:00
Wortmann, Jannik, „Minimierung symbolischer Transduktoren“ (BA-Abschlussvortrag)
Betreuer: Marc Förster, M.Sc.



12.09.2019 (KW 37, Do)


Verfügbarer Zeitrahmen: 13:00-16:30 Uhr

Moderation: Mateusz Buglowski, M.Sc. RWTH

13:00-13:45
Li, Zhi, „Development of a Tool to Generate Maps for Autonomous Driving“ (MA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


13:45-14:15
Oprea, Camelia, „Entwicklung eines Lungenmodells zur C02-geführten Beatmung von Frühgeborenen“ (BA-Abschlussvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


14:15-14:45
Rennert, Christian, „Entwicklung eines Software-Mocks für die C02-geführte Neonatalbeatmung“ (BA-Abschlussvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


14:45-15:15
Brochmann, Leon, „Automatisierung der Kalibrierung von berührungslosen kapazitiven Füllstandssensoren“ (BA-Abschlussvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


15:15-15:45
Christian Kloos, „Entwicklung eines Protokolls zur Durchsatzsteigerung von Funkverbindungen für unbemannte Luftfahrzeuge (BA Abschlussvortrag am FSD)“ (Sonstiges)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


15:45-16:30
Raphael van Kempen, „Masterarbeit am IKA „Potenzial einer cloudbasierten Fusion von Dynamic Occupancy Grid Maps zur Erstellung eines kollektiven Umfeldmodells“ “ (Sonstiges)
Betreuer: Alexandru Kampmann, M.Sc. RWTH



August


12.08.2019 (KW 33, Mo)


Verfügbarer Zeitrahmen: 14:30-16:45 Uhr

Moderation: Patrick Scheffe, M. Sc. RWTH

14:30-15:00
Ngo, Vu, „Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles“ (BA-Abschlussvortrag)
Betreuer: Patrick Scheffe, M. Sc. RWTH


15:00-15:30
Stolz, Tarek, „Automatische Kanonisierung von SysML-Interfaces“ (BA-Abschlussvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


15:30-15:45
Kehren, Jan, „App-basiertes Live Monitoring und dynamische Vernetzung von Medizingeräten“ (MA-Antrittsvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


15:45-16:15
Bittner, Dominik, „Aufbau einer Systemumgebung für die Entwicklung von Komplikationserkennungen bei akutem Lungenversagen“ (BA-Abschlussvortrag)
Betreuer: Aaron Elliott, M.Sc. RWTH


16:15-16:45
Simon Fonk, „Automatisierte Integration von Modellierungswerkzeugen im Rahmen modellgetriebener Softwareentwicklung“ (Sonstiges)
Betreuer: Dr.-Ing. André Stollenwerk



01.08.2019 (KW 31, Do)


Verfügbarer Zeitrahmen: 14:30-15:00 Uhr

Moderation: Lukas Boersma, M. Sc. RWTH

14:30-15:00
Rüll, Annika, „Entwicklung einer Query-Sprache für SysML-Modelle“ (BA-Abschlussvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH



Juli


16.07.2019 (KW 29, Di)


Verfügbarer Zeitrahmen: 14:30-15:30 Uhr

Moderation: Marco Grochowski, M.Sc. RWTH

14:30-15:00
Marius Kruft, „Automatisierung und Überwachung eines Prüfstands für automotive Steuergeräte mit Arttest“ (BA-Abschlussvortrag)
Betreuer: Dipl.-Inform. Norbert Wiechowski



04.07.2019 (KW 27, Do)


Verfügbarer Zeitrahmen: 14:30-15:45 Uhr

Moderation: Florian Göbe, M.Sc. RWTH

14:30-15:15
Ripplinger, Fabian, „Automatische Layouts für interne Blockdiagramme in SysML“ (MA-Abschlussvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


15:15-15:45
Ledwon, Dennis, „White-Box-Testfallgenerierung anhand verschiedener Codeüberdeckungs-Kriterien mittels Model-Checking“ (BA-Abschlussvortrag)
Betreuer: Florian Göbe, M.Sc. RWTH



Juni


27.06.2019 (KW 26, Do)


Verfügbarer Zeitrahmen: 14:30-15:30 Uhr

Moderation: Lukas Boersma, M. Sc. RWTH

14:30-14:45
Kruschewsky, Alexander, „A SysML Version Control System with Change Request Tracking“ (BA-Antrittsvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


14:45-15:00
Gajjar, Romin, „Porting and Evaluation of Real-Time Publish-Subscribe Protocol Implementations for Embedded Systems“ (MA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


15:00-15:15
Abdelgelil, Farah, „Development of a Semantic Segmentation Algorithm for Detection of Light Poles Using Deep Learning“ (BA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


15:15-15:30
Asaad, Monica, „Priority Assignment for Distributed Model Predictive Intersection Control “ (BA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH



13.06.2019 (KW 24, Do)


Verfügbarer Zeitrahmen: 14:30-17:00 Uhr

Moderation: Alexandru Kampmann, M.Sc. RWTH

14:30-15:15
Henn, Thomas, „Viability of BDDs in Property Directed Reachability“ (MA-Abschlussvortrag)
Betreuer: Dimitri Bohlender, M.Sc. RWTH


15:15-15:30
Schaeffer, Carina, „Distributed Resource Assignment for Cooperative Vehicles at Road Intersections“ (BA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:30-15:45
Lüer, Maximilian, „Definition und Implementierung von Kommunikationsschnittstellen eines Cloud-System für das automatisierte Fahren“ (BA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


15:45-16:00
Stolz, Tarek, „Automatische Kanonisierung von Interfaces in SysML“ (BA-Antrittsvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


16:00-16:45
Hariharan Venkitachalam, „Metric-based Continuous Evaluation of Powertrain Software Architecture“ (Sonstiges)
Betreuer: Alexander Kugler, M.Sc. RWTH



04.06.2019 (KW 23, Di)


Verfügbarer Zeitrahmen: 14:30-17:15 Uhr

Moderation: Marco Grochowski, M.Sc. RWTH

14:30-14:45
Milde, Michelle, „Evaluierung der Sensitivität von Wärmebildkameras unter Berücksichtigung der Sensortemperatur“ (BA-Antrittsvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH


14:45-15:00
Sumic, Patrick, „Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion“ (BA-Antrittsvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH


15:00-15:15
Jakobczak, Kevin, „Entwicklung einer Softwarearchitektur für die automatisierte Justage optischer Systeme“ (BA-Antrittsvortrag)
Betreuer: Marco Grochowski, M.Sc. RWTH


15:15-15:30
Conrads, Kevin, „Umsetzung einer Service-orientierten Architektur auf Basis von OPC-UA am Beispiel einer Modellanlage“ (BA-Antrittsvortrag)
Betreuer: Marco Grochowski, M.Sc. RWTH


15:30-16:00
Camp, Alexander, „Coordinating Cooperative Vehicles at Road Intersections using Scheduling“ (BA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


16:00-16:15
Rolf, Johannes, „Analysis of Autonomous and Networked Model-scale Vehicles “ (BA-Antrittsvortrag)
Betreuer: Patrick Scheffe, M. Sc. RWTH


16:15-16:30
Hess, Judy, „Adaptive Cooperation Topology for Distributed Vehicle Trajectory Planning“ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


16:30-16:45
Benelhedi, Ayssar, „Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF“ (BA-Antrittsvortrag)
Betreuer: Marc Förster, M.Sc.


16:45-17:00
Petri, Daniel, „Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/Transduktoren“ (BA-Antrittsvortrag)
Betreuer: Marc Förster, M.Sc.


17:00-17:15
Wortmann, Jannik, „Minimierung von Produkten deterministischer Transduktoren“ (BA-Antrittsvortrag)
Betreuer: Marc Förster, M.Sc.



Mai


16.05.2019 (KW 20, Do)


Verfügbarer Zeitrahmen: 16:00-17:45 Uhr

Moderation: Patrick Scheffe, M. Sc. RWTH

16:00-16:15
Ngo, Vu, „Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles“ (BA-Antrittsvortrag)
Betreuer: Patrick Scheffe, M. Sc. RWTH


16:15-16:30
Bittner, Dominik, „Entwicklung einer Software-Testumgebung für die Komplikationserkennung bei akutem Lungenversagen“ (BA-Antrittsvortrag)
Betreuer: Aaron Elliott, M.Sc. RWTH


16:30-16:45
Rüll, Annika, „Entwicklung einer Query-Sprache für SysML-Modelle“ (BA-Antrittsvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


16:45-17:00
Kluener, David, „Entwicklung eines Automaten-basierten Orchestrators für Dienste-orientierte Architekturen“ (BA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


17:00-17:15
Rogalski, Jan, „Konzept und Aufbau eines Prüfstandes für eine dienstorientierte Softwarearchitektur im Fahrzeug“ (MA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


17:15-17:30
Nothnick, Philipp, „Testen von SmartTVs“ (BA-Antrittsvortrag)
Betreuer: Dr.-Ing. André Stollenwerk


17:30-17:45
Rennert, Christian, „TBD“ (BA-Antrittsvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH



09.05.2019 (KW 19, Do)


Verfügbarer Zeitrahmen: 16:30-17:30 Uhr

Moderation: Mateusz Buglowski, M.Sc. RWTH

16:30-16:45
Brochmann, Leon, „Automatisierung der Kalibrierung von berührungslosen kapazitiven Füllstandssensoren“ (BA-Antrittsvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


16:45-17:00
Oprea, Camelia, „CO2 gesteuerte Regelung der Beatmung von Neugeborenen im Model“ (BA-Antrittsvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


17:00-17:30
Lützenkirchen, Philipp, „Entwicklung einer Android-Applikation zur Vereinfachung der Barcode-basierten Inventur“ (Sonstiges)
Betreuer: Marcus Völker, M.Sc. RWTH



April


26.04.2019 (KW 17, Fr)


Verfügbarer Zeitrahmen: 12:45-15:00 Uhr

Moderation: Alexander Kugler, M.Sc. RWTH

12:45-13:30
Seyrekgelen, Serdar, „Networked Model Predictive Control for Vehicle Formations“ (MA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


13:30-14:15
Oss, Leon, „Abstraction Refinement in Incremental Cycle-Bounded Model Checking“ (MA-Abschlussvortrag)
Betreuer: Dimitri Bohlender, M.Sc. RWTH


14:15-15:00
Barakat, Patrick, „Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases“ (MA-Abschlussvortrag)
Betreuer: Alexander Kugler, M.Sc. RWTH



12.04.2019 (KW 15, Fr)


Verfügbarer Zeitrahmen: 14:00-16:15 Uhr

Moderation: Alexandru Kampmann, M.Sc. RWTH

14:00-14:30
Beyel, Harry, „Modeling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making“ (BA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


14:30-15:15
Marquardt, Sascha, „Vehicle Coordination at Intersections using Networked Model Predictive Control“ (MA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:15-16:00
Wüstenberg, Andreas, „Implementation of the Real-Time Publish-Subscribe Protocol for Automotive-grade Microcontrollers“ (MA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


16:00-16:15
Fenger, Christian, „Sensordatenfusion zur Positionsschätzung von Modellfahrzeugen in Gebäuden“ (BA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH



04.04.2019 (KW 14, Do)


Verfügbarer Zeitrahmen: 14:00-15:30 Uhr

Moderation: Mateusz Buglowski, M.Sc. RWTH

14:00-14:30
Rieck, Thomas, „Datenannotation von bei Frühgeborenenbeatmung aufgetretenen Komplikationen“ (BA-Abschlussvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


14:30-15:00
Mauermann, Hannah, „Anforderungsanlyse und Konzepterstellung für ein Cloud-System im Kontext des automatisierten Fahrens“ (BA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


15:00-15:30
Meyer, Robert, „Documenting Dependency Structures of Simulink Models in SysML“ (BA-Abschlussvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH



März


21.03.2019 (KW 12, Do)


Verfügbarer Zeitrahmen: 13:00-14:30 Uhr

Moderation: Maximilian Kloock, M.Sc. RWTH

13:00-13:45
Tülleners, Isabelle, „Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles“ (MA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


13:45-14:30
Botz, Lukas, „Autonomous Vehicle Racing using Networked Model Predictive Control“ (MA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH



01.03.2019 (KW 9, Fr)


Verfügbarer Zeitrahmen: 13:30-16:15 Uhr

Moderation: Dipl.-Inform. Norbert Wiechowski

13:30-14:00
Bernwald, Thomas, „Word Embedding für semantische Textvergleiche in Gefährdungsanalysen“ (BA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


14:00-14:30
Jansen, Moritz, „Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren“ (BA-Abschlussvortrag)
Betreuer: Stefan Rakel, M.Sc. RWTH


14:30-15:15
Koss, Stefanie, „Modelling Non-linear Conditionals and Indirect Memory Access for Policy Iteration-based Static Analysis“ (MA-Abschlussvortrag)
Betreuer: Marcus Völker, M.Sc. RWTH


15:15-15:30
Ledwon, Dennis, „Erzeugung von Testfällen maximaler Code-Abdeckung mittels Model-Checking“ (BA-Antrittsvortrag)
Betreuer: Florian Göbe, M.Sc. RWTH


15:30-16:00
Ruffer, Josef, „Entwicklung eines Tools zur Aufnahme und Wiedergabe von Nachrichten in einem DDS Netzwerk“ (BA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


16:00-16:15
Marius Kruft, „Automatisierung und Überwachung eines Prüfstands für automotive Steuergeräte mit Arttest“ (BA-Antrittsvortrag)
Betreuer: Dipl.-Inform. Norbert Wiechowski



Februar


18.02.2019 (KW 8, Mo)


Verfügbarer Zeitrahmen: 14:00-16:15 Uhr

Moderation: Maximilian Kloock, M.Sc. RWTH

14:00-14:30
René Magritz, „Entwicklung eines Variantenmanagements für die Erzeugung von Software für Batteriemanagementsysteme“ (BA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


14:30-15:00
Valentin Niemann, „Entwicklung eines modularen Bootloaders für sicherheitskritische Anwendungen“ (BA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:00-15:30
Werthebach, Moritz, „Evaulation des eNav-Systems durch Benutzerstudien“ (BA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:30-16:00
Denker, Merlin, „Kontinuierliche Berechnung von Condition-Indikatoren im Rahmen der Predictive Maintenance einer Rollenkette“ (BA-Abschlussvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH


16:00-16:15
Prieler, Lucas, „Developing a visual editor for Logic-to-Software Allocations in SysML“ (BA-Antrittsvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH



Januar


30.01.2019 (KW 5, Mi)


Verfügbarer Zeitrahmen: 10:00-11:45 Uhr

Moderation: Aaron Elliott, M.Sc. RWTH

10:00-10:30
Hochmann, Philipp, „Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung“ (BA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


10:30-11:15
Kragl, Ludwig, „Go-to-formation of nonholonomic Vehicles using Networked Model Predictive Control“ (MA-Abschlussvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


11:15-11:45
Hammer, Freimut, „pH Wert regulation in extrakorporalen Nierenperfusionsystemen“ (BA-Abschlussvortrag)
Betreuer: Aaron Elliott, M.Sc. RWTH



25.01.2019 (KW 4, Fr)


Verfügbarer Zeitrahmen: 12:30-14:00 Uhr

Moderation: TBA

12:30-14:00
Abschlussvorträge Praktikum (Sonstiges)
Betreuer: Dr.-Ing. André Stollenwerk



11.01.2019 (KW 2, Fr)


Verfügbarer Zeitrahmen: 14:30-15:00 Uhr

Moderation: Lukas Boersma, M. Sc. RWTH

14:30-14:45
Meyer, Robert, „Automatische Dokumentationsgenerierung für MATLAB/Simulink Modelle“ (BA-Antrittsvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH


14:45-15:00
Schimitzek, Simon, „Planbarkeitsanalyse einer Fertigungsanlage mit zeitbewerteten Modellen“ (BA-Antrittsvortrag)
Betreuer: Marco Grochowski, M.Sc. RWTH



Dezember


21.12.2018 (KW 51, Fr)


Verfügbarer Zeitrahmen: 14:30-15:45 Uhr

Moderation: Paul Chomicz, M.Sc.

14:30-15:15
Akdas, Derya, „Evaluation kontrollierter Sprachen für die Gefährdungsanalyse“ (MA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:15-15:30
Li, Zhi, „Development of a tool to generate maps for autonomous driving“ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:30-15:45
Clegg, Georg, „Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion “ (BA-Antrittsvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH



11.12.2018 (KW 50, Di)


Verfügbarer Zeitrahmen: 14:30-15:45 Uhr

Moderation: Dimitri Bohlender, M.Sc. RWTH

14:30-14:45
Henn, Thomas, „Viability of BDDs in Property Directed Reachability“ (MA-Antrittsvortrag)
Betreuer: Dimitri Bohlender, M.Sc. RWTH


14:45-15:00
Oss, Leon, „Abstraction Refinement in Incremental Cycle-Bounded Model Checking“ (MA-Antrittsvortrag)
Betreuer: Dimitri Bohlender, M.Sc. RWTH


15:00-15:45
Lahr, Florian, „Analyse des Energiemanagements der eNav-App“ (MA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH



November


26.11.2018 (KW 48, Mo)


Verfügbarer Zeitrahmen: 12:30-13:30 Uhr

Moderation: Maximilian Kloock, M.Sc. RWTH

12:30-12:45
Rieck, Thomas, „Datenannotierung von bei Frühgeborenenbeatmung aufgetretenen Komplikationen“ (BA-Antrittsvortrag)
Betreuer: Mateusz Buglowski, M.Sc. RWTH


12:45-13:00
Mauermann, Hannah, „Anforderungsanalyse und Konzepterstellung für ein Cloud-System im Kontext des automatisierte Fahrens“ (BA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH


13:00-13:15
Camp, Alexander, „Coordinating Cooperative Vehicles at Road Intersections using Scheduling“ (BA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


13:15-13:30
Ripplinger, Fabian, „Automatisches Layouting für interne Block-Diagramme in SysML“ (MA-Antrittsvortrag)
Betreuer: Lukas Boersma, M. Sc. RWTH



09.11.2018 (KW 45, Fr)


Verfügbarer Zeitrahmen: 14:30-16:15 Uhr

Moderation: Paul Chomicz, M.Sc.

14:30-14:45
Bernwald, Thomas, „Word Embedding für semantische Textvergleiche in Gefährdungsanalysen“ (BA-Antrittsvortrag)
Betreuer: Paul Chomicz, M.Sc.


14:45-15:00
Jansen, Moritz, „Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren“ (BA-Antrittsvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:00-15:15
Koss, Stefanie, „Modelling Non-linear Conditionals and Indirect Memory Access for Policy Iteration-based Static Analysis“ (MA-Antrittsvortrag)
Betreuer: Marcus Völker, M.Sc. RWTH


15:15-15:30
Beyel, Harry, „Modelling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making “ (BA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:30-16:15
Müller, Jonathan, „Reaktives HIL-Testen auf industrieüblichen Komponenten über den ASAM XIL Standard“ (MA-Abschlussvortrag)
Betreuer: Florian Göbe, M.Sc. RWTH



Oktober


19.10.2018 (KW 42, Fr)


Verfügbarer Zeitrahmen: 14:00-16:00 Uhr

Moderation: Maximilian Kloock, M.Sc. RWTH

14:00-14:30
Conzen, Oliver, „Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik“ (BA-Abschlussvortrag)
Betreuer: Stefan Rakel, M.Sc. RWTH


14:30-15:00
Schwarz, Kevin, „Entwurf eines Goal Structuring Notation Editor“ (BA-Abschlussvortrag)
Betreuer: Stefan Rakel, M.Sc. RWTH


15:00-15:30
Husak, Adnan, „Datenbankgestützte Eingabeunterstützung für Gefährdungsanalysen“ (BA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:30-15:45
Tülleners, Isabelle, „Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles“ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:45-16:00
Wüstenberg, Andreas, „Implementation of the Real-Time Publish-Subscribe Protocol for Automotive-grade Microcontroller“ (MA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH



12.10.2018 (KW 41, Fr)


Verfügbarer Zeitrahmen: 12:30-14:00 Uhr

Moderation: Aaron Elliott, M.Sc. RWTH

12:30-13:15
Loup, Benedikt, „Entwicklung eines kostengünstigen HIL-Testsystems für reaktives Testen in der automobilen Domäne.“ (MA-Abschlussvortrag)
Betreuer: Norman Hansen, M.Sc.


13:15-13:45
Schlein, Steffan, „Integrierte Anbindung heterogener intensivmedizinischer Datenquellen an variable Anwendungen“ (BA-Abschlussvortrag)
Betreuer: Aaron Elliott, M.Sc. RWTH


13:45-14:00
Hammer, Freimut, „ph-Regulation of extra corporal kidney perfusion systems“ (BA-Antrittsvortrag)
Betreuer: Aaron Elliott, M.Sc. RWTH



September


28.09.2018 (KW 39, Fr)


Verfügbarer Zeitrahmen: 15:30-16:25 Uhr

Moderation: Alexandru Kampmann, M.Sc. RWTH

15:30-16:15
Philipp Nolte, „Probabilistische Prädiktion von Fußgängerbewegungen an Kreuzungen mit neuronalen Netzen“ (MA-Abschlussvortrag)
Betreuer: Dr.-Ing. Bassam Alrifaee


16:15-16:25
Neuberger, Lukas, „Carolo Cup als Softwarepraktikum (Abschlussvortrag) “ (Sonstiges)
Betreuer: Alexandru Kampmann, M.Sc. RWTH



21.09.2018 (KW 38, Fr)


Verfügbarer Zeitrahmen: 13:45-16:15 Uhr

Moderation: Paul Chomicz, M.Sc.

13:45-14:30
Schemmer, Thomas, „Modification a Model-Scale Vehicle for Autonomous Driving “ (MA-Abschlussvortrag)
Betreuer: Dr.-Ing. Bassam Alrifaee


14:30-14:45
Denker, Merlin, „Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance“ (BA-Antrittsvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH


14:45-15:15
Richter, Fabian, „Methoden zur Identifikation von Widersprüchen in Gefährdungsanalysen“ (BA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:15-16:00
Remington Voertmann, „Entwicklung eines Prüfstandkonzeptes zur Verkürzung der Inbetriebnahmezeiten von dezentralen Personentransportanlagen“ (MA-Abschlussvortrag)
Betreuer: David Thönnessen, M.Sc. RWTH


16:00-16:15
Hochmann, Philipp, „Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeuges zur Eingabeunterstützung“ (BA-Antrittsvortrag)
Betreuer: Paul Chomicz, M.Sc.



13.09.2018 (KW 37, Do)


Verfügbarer Zeitrahmen: 14:30-16:00 Uhr

Moderation: Marcus Völker, M.Sc. RWTH

14:30-15:00
Brueckner, Sebastian, „Generierung von VISSIM Modellen anhand von Skizzen“ (BA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:00-15:30
Vukelic, Filip, „Policy Iteration with Octagons for Static Analysis of PLC Programs“ (BA-Abschlussvortrag)
Betreuer: Marcus Völker, M.Sc. RWTH


15:30-16:00
Tabe, Christian, „Ein Werkzeug zum Im- und Export formaler Spezifikationen von Software-Komponenten“ (BA-Abschlussvortrag)
Betreuer: Marc Förster, M.Sc.



August


14.08.2018 (KW 33, Di)


Verfügbarer Zeitrahmen: 14:30-16:00 Uhr

Moderation: Alexandru Kampmann, M.Sc. RWTH

14:30-14:45
Ruffer, Josef, „Entwicklung eines Tools zur Aufnahme und Wiedergabe von Nachrichten in einem DDS Netzwerk“ (BA-Antrittsvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH



03.08.2018 (KW 31, Fr)


Verfügbarer Zeitrahmen: 14:30-16:00 Uhr

Moderation: Alexandru Kampmann, M.Sc. RWTH

14:30-15:15
Gergely Bilkei-Gorzo, „Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz“ (MA-Abschlussvortrag)
Betreuer: Dr.-Ing. Bassam Alrifaee


15:15-15:45
Ansari, Abir, „Evaluation of the LwIP stack with respect to UDP communication on resource constrained platforms“ (BA-Abschlussvortrag)
Betreuer: Alexandru Kampmann, M.Sc. RWTH



Juli


27.07.2018 (KW 30, Fr)


Verfügbarer Zeitrahmen: 11:00-12:00 Uhr

Moderation: Alexander Kugler, M.Sc. RWTH

11:00-11:30
Amelung, Tim, „Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen“ (BA-Abschlussvortrag)
Betreuer: Stefan Rakel, M.Sc. RWTH


11:30-11:45
Triefenbach, Lucas, „Automatic Test Generation for Arttest using a Controlled Natural Language“ (MA-Antrittsvortrag)
Betreuer: Alexander Kugler, M.Sc. RWTH


11:45-12:00
Seyrekgelen, Serdar, „Networked Model Predictive Control for Vehicle Formation“ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH



13.07.2018 (KW 28, Fr)


Verfügbarer Zeitrahmen: 14:30-16:30 Uhr

Moderation: Hendrik Simon, M.Sc.

14:30-15:15
Kohout, Markus, „Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren “ (MA-Abschlussvortrag)
Betreuer: Dr.-Ing. Bassam Alrifaee


15:15-16:00
Friedrich, Nico, „Mutation-guided Symbolic Testing for Logic Control Software“ (MA-Abschlussvortrag)
Betreuer: Hendrik Simon, M.Sc.


16:00-16:30
Böcker, Max, „Complete Language Support and Error Detection of Sequential Function Charts in Twistturn“ (BA-Abschlussvortrag)
Betreuer: David Thönnessen, M.Sc. RWTH



06.07.2018 (KW 27, Fr)


Verfügbarer Zeitrahmen: 14:30-16:15 Uhr

Moderation: Maximilian Kloock, M.Sc. RWTH

14:30-14:45
Classen, Leonard, „Vehicle Lane Change on Highways using Networked Model Predictive Control “ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


14:45-15:00
Marquardt, Sascha, „Vehicle Coordination at Intersections using Networked Model Predictive Control“ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:00-15:15
Botz, Lukas, „Autonomous Vehicle Racing using Networked Model Predictive Control“ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:15-15:30
Kragl, Ludwig, „Go-to-Formation of nonholonomic Vehicles using Networked Model Predictive Control “ (MA-Antrittsvortrag)
Betreuer: Maximilian Kloock, M.Sc. RWTH


15:30-15:45
Akdas, Derya, „Evaluation kontrollierter Sprachen für die Gefährdungsanalyse“ (MA-Antrittsvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:45-16:00
Barakat, Patrick, „Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases“ (MA-Antrittsvortrag)
Betreuer: Alexander Kugler, M.Sc. RWTH



Juni


29.06.2018 (KW 26, Fr)


Verfügbarer Zeitrahmen: 14:30-16:00 Uhr

Moderation: Marcus Völker, M.Sc. RWTH

14:30-15:15
Marc Werner, „Konzept und Implementierung eines Statusanzeige- und Interaktionssystems für prototypische Fahrzeuge“ (MA-Abschlussvortrag)
Betreuer: David Thönnessen, M.Sc. RWTH


15:15-15:30
Schlein, Steffan, „TBD“ (BA-Antrittsvortrag)
Betreuer: Aaron Elliott, M.Sc. RWTH


15:30-15:45
Vukelic, Filip, „Relational Policy Iteration for Static Analysis of PLC Programs“ (BA-Antrittsvortrag)
Betreuer: Marcus Völker, M.Sc. RWTH



22.06.2018 (KW 25, Fr)


Verfügbarer Zeitrahmen: 14:30-16:15 Uhr

Moderation: Florian Göbe, M.Sc. RWTH

14:30-15:15
Ding, Chengjing, „eNav_Point_matching“ (MA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:15-15:30
Müller, Jonathan, „HIL-Testen mit dSPACE-Systemen mit Arttest“ (MA-Antrittsvortrag)
Betreuer: Florian Göbe, M.Sc. RWTH


15:30-15:45
Loup, Benedikt, „HIL-Testen auf Beckhoff-Systemen mit Arttest“ (MA-Antrittsvortrag)
Betreuer: Florian Göbe, M.Sc. RWTH


15:45-16:15
Judizki, Arkadi, „Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance“ (BA-Abschlussvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH



12.06.2018 (KW 24, Di)


Verfügbarer Zeitrahmen: 14:30-16:00 Uhr

Moderation: Stefan Rakel, M.Sc. RWTH

14:30-14:45
Schwarz, Kevin, „Goal Structuring Notation Editor“ (BA-Antrittsvortrag)
Betreuer: Stefan Rakel, M.Sc. RWTH


14:45-15:00
Richter, Fabian, „Methoden und Algorithmen zur Identifikation von Widersprüchen“ (BA-Antrittsvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:00-15:15
Husak, Adnan, „Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen“ (BA-Antrittsvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:15-15:30
Werthebach, Moritz, „Evaluation des eNav-Systems durch Benutzerstudien“ (BA-Antrittsvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:30-15:45
Conzen, Oliver, „Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik“ (BA-Antrittsvortrag)
Betreuer: Stefan Rakel, M.Sc. RWTH



Mai


25.05.2018 (KW 21, Fr)


Verfügbarer Zeitrahmen: 12:30-16:15 Uhr

Moderation: Stefan Rakel, M.Sc. RWTH

12:30-13:15
Kugler, Alexander, „Alexander Kölsch - Infrastrukturbasierte Sensordatenfusion auf Basis lokaler dynamischer Karten“ (MA-Abschlussvortrag)
Betreuer: Dr.-Ing. Bassam Alrifaee


13:15-13:45
Lau, Christian, „Import und semi-automatische Übersetzung von alten Gefährdungsanalysen“ (BA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


13:45-14:15
Hildebrandt, Oliver, „Eingabeunterstützung für kontrollierte Sprachen“ (BA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


14:15-14:30
Kugler, Alexander, „Pause“ (Sonstiges)
Betreuer: Alexander Kugler, M.Sc. RWTH


14:30-15:15
Fidomski, Kim, „Evaluation von kontrollierten Sprachen“ (MA-Abschlussvortrag)
Betreuer: Paul Chomicz, M.Sc.


15:15-15:45
Bender, Serjoscha, „Collision Avoidance Detection of Wheelchairs “ (BA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:45-16:15
Van Essen, Jan, „Integration einer Consumer-Wärmebildkamera in ein System zur Validierung von Händedesinfektionen“ (BA-Abschlussvortrag)
Betreuer: Manfred Smieschek, M.Sc. RWTH



18.05.2018 (KW 20, Fr)


Verfügbarer Zeitrahmen: 14:30-16:15 Uhr

Moderation: Dipl.-Ing. (FH) Jan Kühn, M.Sc.

14:30-14:45
Böcker, Max, „Complete Language Support and Error Detection of Sequential Function Charts in Twistturn“ (BA-Antrittsvortrag)
Betreuer: David Thönnessen, M.Sc. RWTH


14:45-15:30
Hicks, Sandra, „Überwachung und Regelung des Blutflusses in einem Nierenperfusionssystem “ (MA-Abschlussvortrag)
Betreuer: Dipl.-Ing. (FH) Jan Kühn, M.Sc.


15:30-16:15
Hardes, David, „Automatische Stabilisierung der Blutparameter eines Nierenperfusionssystems “ (MA-Abschlussvortrag)
Betreuer: Dipl.-Ing. (FH) Jan Kühn, M.Sc.



04.05.2018 (KW 18, Fr)


Verfügbarer Zeitrahmen: 15:00-16:45 Uhr

Moderation: Dzenan Dzafic, M.Sc. RWTH

15:00-15:15
Brueckner, Sebastian, „Generierung von VISSIM Modellen anhand von Skizzen“ (BA-Antrittsvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:15-15:30
Lahr, Florian, „Erweiterung des Barriereerkennungssystems um eine Funktion zur Berechnung der Trajektorie“ (BA-Antrittsvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


15:30-16:00
Duehrsen, Lucas, „Meetings Route Optimizer“ (BA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH


16:00-16:30
Bugdalle, Daniel, „Halteliniendetektor via Satellitenbilder “ (BA-Abschlussvortrag)
Betreuer: Dzenan Dzafic, M.Sc. RWTH



April


27.04.2018 (KW 17, Fr)


Verfügbarer Zeitrahmen: 14:30-16:00 Uhr

Moderation: Marcus Völker, M.Sc. RWTH

14:30-14:50
Lützenkirchen, Philipp, „Entwicklung eines LTL-Parsers unter Verwendung des Shunting-yard-Algorithmus“ (Sonstiges)
Betreuer: Marcus Völker, M.Sc. RWTH


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: Dr.-Ing. André Stollenwerk





Ältere Termine


… finden Sie hier.


RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland