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:59] akugler [Juni] |
lehre:vortraege [2018/06/27 12:29] akugler [Juli] |
||
---|---|---|---|
Zeile 20: | Zeile 20: | ||
===== SS 2018 ===== | ===== SS 2018 ===== | ||
- | ==== Juni ==== | + | ==== Juli ==== |
\\ | \\ | ||
- | === 29.06.2018 (KW 25, Fr) === | + | === 27.07.2018 (KW 29, Fr) === |
\\ | \\ | ||
Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
+ | \\ | ||
+ | Moderation: TBA\\ | ||
+ | \\ | ||
+ | **14:30-15:00**\\ | ||
+ | Amelung, Tim, "Vergleich von Grammatical Framework und ANTLR für kontrollierte Sprachen" (BA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
+ | \\ | ||
+ | **15:00-15:15**\\ | ||
+ | Denker, Merlin, "Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance" (BA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
+ | \\ | ||
+ | **15:15-15:30**\\ | ||
+ | Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ | ||
+ | \\ | ||
+ | **15:30-16:15**\\ | ||
+ | Gergely Bilkei-Gorzo, "Entwurf und Auslegung einer intelligenten Leistungsverteileinheit für das 48V Bordnetz" (MA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
+ | \\ | ||
+ | \\ | ||
+ | === 13.07.2018 (KW 27, Fr) === | ||
+ | \\ | ||
+ | Verfügbarer Zeitrahmen: 14:30-16:30 Uhr \\ | ||
\\ | \\ | ||
Moderation: TBA\\ | Moderation: TBA\\ | ||
\\ | \\ | ||
**14:30-15:15**\\ | **14:30-15:15**\\ | ||
- | Marc Werner, "TBD" (MA-Abschlussvortrag)\\ | + | Kohout, Markus, "Konzeption einer dienste-orientierten Software Architektur für das automatisierte Fahren |
+ | " (MA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:alrifaee]]\\ | ||
+ | \\ | ||
+ | **15:15-16:00**\\ | ||
+ | Friedrich, Nico, "Mutation-guided Symbolic Testing for Logic Control Software" (MA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:simon]]\\ | ||
+ | \\ | ||
+ | **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]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
+ | \\ | ||
+ | \\ | ||
+ | === 06.07.2018 (KW 26, Fr) === | ||
+ | \\ | ||
+ | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ | ||
+ | \\ | ||
+ | Moderation: TBA\\ | ||
+ | \\ | ||
+ | **14:30-14:45**\\ | ||
+ | Akdas, Derya, "Evaluation kontrollierter Sprachen für die Gefährdungsanalyse" (MA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
+ | \\ | ||
+ | **14:45-15:00**\\ | ||
+ | Kragl, Ludwig, "TBD" (MA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
+ | \\ | ||
+ | **15:00-15:15**\\ | ||
+ | Classen, Leonard, "TBD" (MA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
+ | \\ | ||
**15:15-15:30**\\ | **15:15-15:30**\\ | ||
- | Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | + | Botz, Lukas, "TBD" (MA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
+ | \\ | ||
**15:30-15:45**\\ | **15:30-15:45**\\ | ||
- | Kugler, Alexander, "Patrick Barakat - TBD" (MA-Antrittsvortrag)\\ | + | Marquardt, Sascha, "TBD" (MA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ |
+ | \\ | ||
**15:45-16:00**\\ | **15:45-16:00**\\ | ||
+ | Seyrekgelen, Serdar, "TBD" (MA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
+ | \\ | ||
+ | **16:00-16:15**\\ | ||
+ | Barakat, Patrick, "Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases" (MA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\ | ||
+ | \\ | ||
+ | \\ | ||
+ | ==== Juni ==== | ||
+ | \\ | ||
+ | === 29.06.2018 (KW 25, Fr) === | ||
+ | \\ | ||
+ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
+ | \\ | ||
+ | Moderation: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
+ | \\ | ||
+ | **14:30-15:15**\\ | ||
+ | Marc Werner, "Konzept und Implementierung eines Statusanzeige- und Interaktionssystems für prototypische Fahrzeuge" (MA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ | ||
+ | \\ | ||
+ | **15:15-15:30**\\ | ||
+ | Schlein, Steffan, "TBD" (BA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
+ | \\ | ||
+ | **15:30-15:45**\\ | ||
Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | Vukelic, Filip, "Relational Policy Iteration for Static Analysis of PLC Programs" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:voelker]]\\ | ||
+ | \\ | ||
\\ | \\ | ||
=== 22.06.2018 (KW 24, Fr) === | === 22.06.2018 (KW 24, Fr) === | ||
\\ | \\ | ||
- | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-16:15 Uhr \\ |
\\ | \\ | ||
- | Moderation: TBA\\ | + | Moderation: [[lehrstuhl:mitarbeiter:goebe]]\\ |
\\ | \\ | ||
**14:30-15:15**\\ | **14:30-15:15**\\ | ||
Ding, Chengjing, "eNav_Point_matching" (MA-Abschlussvortrag)\\ | Ding, Chengjing, "eNav_Point_matching" (MA-Abschlussvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
+ | \\ | ||
**15:15-15:30**\\ | **15:15-15:30**\\ | ||
Müller, Jonathan, "HIL-Testen mit dSPACE-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | Müller, Jonathan, "HIL-Testen mit dSPACE-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | ||
+ | \\ | ||
**15:30-15:45**\\ | **15:30-15:45**\\ | ||
Loup, Benedikt, "HIL-Testen auf Beckhoff-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | Loup, Benedikt, "HIL-Testen auf Beckhoff-Systemen mit Arttest" (MA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:goebe]]\\ | ||
+ | \\ | ||
**15:45-16:15**\\ | **15:45-16:15**\\ | ||
Judizki, Arkadi, "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Abschlussvortrag)\\ | Judizki, Arkadi, "Modellierung und Visualisierung von Industrieanlagen im Rahmen der Predictive Maintenance" (BA-Abschlussvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:smieschek]]\\ | ||
+ | \\ | ||
\\ | \\ | ||
=== 12.06.2018 (KW 23, Di) === | === 12.06.2018 (KW 23, Di) === | ||
Zeile 69: | Zeile 153: | ||
Schwarz, Kevin, "Goal Structuring Notation Editor" (BA-Antrittsvortrag)\\ | Schwarz, Kevin, "Goal Structuring Notation Editor" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
+ | \\ | ||
**14:45-15:00**\\ | **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)\\ | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
- | **15:15-15:30**\\ | + | \\ |
+ | **15:00-15:15**\\ | ||
Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ | ||
- | **15:30-15:45**\\ | + | \\ |
+ | **15:15-15:30**\\ | ||
Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ | ||
+ | \\ | ||
+ | **15:30-15:45**\\ | ||
+ | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ | ||
+ | \\ | ||
\\ | \\ | ||
==== Mai ==== | ==== Mai ==== |