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 [2019/05/24 08:00] 127.0.0.1 Externe Bearbeitung |
lehre:vortraege [2019/06/03 14:31] foerster [Juni] |
||
---|---|---|---|
Zeile 46: | Zeile 46: | ||
Li, Zhi, "Development of a Tool to Generate Maps for Autonomous Driving" (MA-Abschlussvortrag)\\ | Li, Zhi, "Development of a Tool to Generate Maps for Autonomous Driving" (MA-Abschlussvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
+ | |||
+ | \\ | ||
+ | **15:15-15:45**\\ | ||
+ | Rüll, Annika, "TBD" (BA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
\\ | \\ | ||
Zeile 91: | Zeile 96: | ||
=== 13.06.2019 (KW 24, Do) === | === 13.06.2019 (KW 24, Do) === | ||
\\ | \\ | ||
- | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-17:15 Uhr \\ |
\\ | \\ | ||
- | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
\\ | \\ | ||
- | **14:30-14:45**\\ | + | **14:30-15:15**\\ |
- | Kloock, Maximilian, "TBD" (MA-Antrittsvortrag)\\ | + | Hariharan Venkitachalam, "Metric-based Continuous Evaluation of Powertrain Software Architecture" (Sonstiges)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:akugler]]\\ |
\\ | \\ | ||
- | **14:45-15:00**\\ | + | **15:15-16:00**\\ |
+ | Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\ | ||
+ | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | ||
+ | |||
+ | \\ | ||
+ | **16:00-16:15**\\ | ||
Schaeffer, Carina, "TBD" (BA-Antrittsvortrag)\\ | Schaeffer, Carina, "TBD" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
\\ | \\ | ||
- | **15:00-15:15**\\ | + | **16:15-16:30**\\ |
- | Asaad, Monica, "TBD" (BA-Antrittsvortrag)\\ | + | Asaad, Monica, "Priority Assignments for Priority-Based Model Predictive Control" (BA-Antrittsvortrag)\\ |
Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
\\ | \\ | ||
- | **15:15-15:30**\\ | + | **16:30-16:45**\\ |
Stolz, Tarek, "TBD" (BA-Antrittsvortrag)\\ | Stolz, Tarek, "TBD" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
\\ | \\ | ||
- | **15:30-15:45**\\ | + | **16:45-17:00**\\ |
Lüer, Maximilian, "TBD" (BA-Antrittsvortrag)\\ | Lüer, Maximilian, "TBD" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
\\ | \\ | ||
- | **15:45-16:30**\\ | + | **17:00-17:15**\\ |
- | Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\ | + | Abdelgelil, Farah, "TBD" (BA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
\\ | \\ | ||
Zeile 128: | Zeile 138: | ||
=== 04.06.2019 (KW 23, Di) === | === 04.06.2019 (KW 23, Di) === | ||
\\ | \\ | ||
- | Verfügbarer Zeitrahmen: 14:30-16:00 Uhr \\ | + | Verfügbarer Zeitrahmen: 14:30-17:15 Uhr \\ |
\\ | \\ | ||
- | Moderation: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | Moderation: [[lehrstuhl:mitarbeiter:grochowski]]\\ |
\\ | \\ | ||
**14:30-14:45**\\ | **14:30-14:45**\\ | ||
Zeile 158: | Zeile 168: | ||
\\ | \\ | ||
**16:00-16:15**\\ | **16:00-16:15**\\ | ||
- | Rolf, Johannes, "TBD" (BA-Antrittsvortrag)\\ | + | Rolf, Johannes, "Analysis of Autonomous and Networked Model-scale Vehicles |
+ | " (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | ||
\\ | \\ | ||
**16:15-16:30**\\ | **16:15-16:30**\\ | ||
- | Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\ | + | Hess, Judy, "Adaptive Cooperation Topology for Distributed Vehicle Trajectory Planning" (MA-Antrittsvortrag)\\ |
- | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | + | |
- | + | ||
- | \\ | + | |
- | **16:30-16:45**\\ | + | |
- | Hess, Judy, "TBD" (MA-Antrittsvortrag)\\ | + | |
Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
\\ | \\ | ||
- | **16:45-17:00**\\ | + | **16:30-16:45**\\ |
Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
\\ | \\ | ||
- | **17:00-17:15**\\ | + | **16:45-17:00**\\ |
Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/Transduktoren" (BA-Antrittsvortrag)\\ | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/Transduktoren" (BA-Antrittsvortrag)\\ | ||
Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
\\ | \\ | ||
- | **17:15-17:30**\\ | + | **17:00-17:15**\\ |
- | Förster, Marc, "To be announced" (BA-Antrittsvortrag)\\ | + | Wortmann, Jannik, "Minimierung von Produkten deterministischer Transduktoren" (BA-Antrittsvortrag)\\ |
Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||