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 [2018/06/12 10:34] chomicz [Juni] |
||
---|---|---|---|
Zeile 29: | Zeile 29: | ||
\\ | \\ | ||
**14:30-15:15**\\ | **14:30-15:15**\\ | ||
- | Kugler, Alexander, "Marc Werner - TBD" (MA-Abschlussvortrag)\\ | + | Marc Werner, "TBD" (MA-Abschlussvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:thoennessen]]\\ |
**15:15-15:30**\\ | **15:15-15:30**\\ | ||
Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | Triefenbach, Lucas, "TBD" (MA-Antrittsvortrag)\\ | ||
- | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
**15:30-15:45**\\ | **15:30-15:45**\\ | ||
Kugler, Alexander, "Patrick Barakat - TBD" (MA-Antrittsvortrag)\\ | Kugler, Alexander, "Patrick Barakat - TBD" (MA-Antrittsvortrag)\\ | ||
- | Betreuer: [[lehrstuhl:mitarbeiter:kugler]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
**15:45-16:00**\\ | **15:45-16:00**\\ | ||
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) === | ||
Zeile 49: | Zeile 49: | ||
**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 64: | Zeile 64: | ||
Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | ||
\\ | \\ | ||
- | Moderation: TBA\\ | + | Moderation: [[lehrstuhl:mitarbeiter:rakel]]\\ |
\\ | \\ | ||
**14:30-14:45**\\ | **14:30-14:45**\\ | ||
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)\\ | + | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
**15:00-15:15**\\ | **15:00-15:15**\\ | ||
- | Richter, Fabian, "Methoden und Algorithmen zur Identifikation von Widersprüchen" (BA-Antrittsvortrag)\\ | + | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\ |
**15:15-15:30**\\ | **15:15-15:30**\\ | ||
- | Husak, Adnan, "Datenbank-basierte Eingabeunterstützung für Gefährdungsanalysen" (BA-Antrittsvortrag)\\ | + | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:chomicz]]\\\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:dzafic]]\\ |
**15:30-15:45**\\ | **15:30-15:45**\\ | ||
- | Werthebach, Moritz, "Evaluation des eNav-Systems durch Benutzerstudien" (BA-Antrittsvortrag)\\ | + | Conzen, Oliver, "Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik" (BA-Antrittsvortrag)\\ |
- | \\ | + | Betreuer: [[lehrstuhl:mitarbeiter:rakel]]\\ |
\\ | \\ | ||
==== Mai ==== | ==== Mai ==== |