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/10 12:31] foerster [Juni] |
lehre:vortraege [2019/05/24 13:03] foerster [Juni] |
||
|---|---|---|---|
| Zeile 25: | Zeile 25: | ||
| \\ | \\ | ||
| Moderation: TBA\\ | Moderation: TBA\\ | ||
| + | \\ | ||
| + | **14:30-15:00**\\ | ||
| + | Asaad, Monica, "TBD" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| + | |||
| + | \\ | ||
| + | **15:00-15:30**\\ | ||
| + | Abdelgelil, Farah, "TBD" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| + | |||
| \\ | \\ | ||
| \\ | \\ | ||
| Zeile 34: | Zeile 44: | ||
| \\ | \\ | ||
| **14:30-15:15**\\ | **14:30-15:15**\\ | ||
| - | Li, Zhi, "TBD" (MA-Abschlussvortrag)\\ | + | Li, Zhi, "Development of a Tool to Generate Maps for Autonomous Driving" (MA-Abschlussvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| Zeile 46: | Zeile 56: | ||
| \\ | \\ | ||
| Moderation: TBA\\ | Moderation: TBA\\ | ||
| + | \\ | ||
| + | **14:30-15:00**\\ | ||
| + | Schimitzek, Simon, "TBA" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ | ||
| + | |||
| \\ | \\ | ||
| \\ | \\ | ||
| Zeile 67: | Zeile 82: | ||
| \\ | \\ | ||
| Moderation: TBA\\ | Moderation: TBA\\ | ||
| + | \\ | ||
| + | **14:30-14:45**\\ | ||
| + | Kruschewsky, Alexander, "TBD" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| + | |||
| \\ | \\ | ||
| \\ | \\ | ||
| Zeile 76: | Zeile 96: | ||
| \\ | \\ | ||
| **14:30-14:45**\\ | **14:30-14:45**\\ | ||
| - | Hess, Judy, "TBD" (MA-Antrittsvortrag)\\ | + | Kloock, Maximilian, "TBD" (MA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| Zeile 88: | Zeile 108: | ||
| Asaad, Monica, "TBD" (BA-Antrittsvortrag)\\ | Asaad, Monica, "TBD" (BA-Antrittsvortrag)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| + | |||
| + | \\ | ||
| + | **15:15-15:30**\\ | ||
| + | Stolz, Tarek, "TBD" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | ||
| + | |||
| + | \\ | ||
| + | **15:30-15:45**\\ | ||
| + | Lüer, Maximilian, "TBD" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| + | |||
| + | \\ | ||
| + | **15:45-16:30**\\ | ||
| + | Henn, Thomas, "Viability of BDDs in Property Directed Reachability" (MA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:bohlender]]\\ | ||
| + | |||
| + | \\ | ||
| + | **16:30-16:45**\\ | ||
| + | Förster, Marc, "To be announced" (BA-Antrittsvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| + | |||
| \\ | \\ | ||
| Zeile 113: | Zeile 154: | ||
| \\ | \\ | ||
| **15:15-15:30**\\ | **15:15-15:30**\\ | ||
| - | Grochowski, Marco, "TBA" (BA-Antrittsvortrag)\\ | + | Conrads, Kevin, "TBA" (BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:grochowski]]\\ | ||
| Zeile 124: | Zeile 165: | ||
| **16:00-16:15**\\ | **16:00-16:15**\\ | ||
| Rolf, Johannes, "TBD" (BA-Antrittsvortrag)\\ | Rolf, Johannes, "TBD" (BA-Antrittsvortrag)\\ | ||
| - | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ |
| \\ | \\ | ||
| **16:15-16:30**\\ | **16:15-16:30**\\ | ||
| - | Lüer, Maximilian, "TBD" (BA-Antrittsvortrag)\\ | + | Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ |
| \\ | \\ | ||
| **16:30-16:45**\\ | **16:30-16:45**\\ | ||
| - | Kreuzberg, Lars, "TBD" (BA-Antrittsvortrag)\\ | + | Hess, Judy, "TBD" (MA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kloock]]\\ | ||
| \\ | \\ | ||
| **16:45-17:00**\\ | **16:45-17:00**\\ | ||
| - | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF"\\ | + | Benelhedi, Ayssar, "Eine Programmbibliothek zur Manipulation von booleschen Funktionen in ANF" (BA-Antrittsvortrag)\\ |
| - | (BA-Antrittsvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| **17:00-17:15**\\ | **17:00-17:15**\\ | ||
| - | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten"\\ | + | Petri, Daniel, "Eine Programmbibliothek zur Bildung von Produkten endlicher Automaten/Transduktoren" (BA-Antrittsvortrag)\\ |
| - | (BA-Antrittsvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||
| **17:15-17:30**\\ | **17:15-17:30**\\ | ||
| - | Wortmann, Jannik, "Minimierung von Produkten deterministischer endlicher Transduktoren"\\ | + | Förster, Marc, "To be announced" (BA-Antrittsvortrag)\\ |
| - | (BA-Antrittsvortrag)\\ | + | |
| Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| Zeile 160: | Zeile 198: | ||
| === 16.05.2019 (KW 20, Do) === | === 16.05.2019 (KW 20, Do) === | ||
| \\ | \\ | ||
| - | Verfügbarer Zeitrahmen: 16:00-17:30 Uhr \\ | + | Verfügbarer Zeitrahmen: 16:00-17:45 Uhr \\ |
| \\ | \\ | ||
| - | Moderation: TBA\\ | + | Moderation: [[lehrstuhl:mitarbeiter:scheffe]]\\ |
| \\ | \\ | ||
| **16:00-16:15**\\ | **16:00-16:15**\\ | ||
| - | Ngo, Vu, "TBD" (BA-Antrittsvortrag)\\ | + | Ngo, Vu, "Combining Graphs for Maneuver-based Motion Planning of Networked Vehicles" (BA-Antrittsvortrag)\\ |
| Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:scheffe]]\\ | ||
| \\ | \\ | ||
| **16:15-16:30**\\ | **16:15-16:30**\\ | ||
| - | Bittner, Dominik, "TBD" (BA-Antrittsvortrag)\\ | + | Bittner, Dominik, "Entwicklung einer Software-Testumgebung für die Komplikationserkennung |
| + | bei akutem Lungenversagen" (BA-Antrittsvortrag)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:elliott]]\\ | ||
| \\ | \\ | ||
| **16:30-16:45**\\ | **16:30-16:45**\\ | ||
| - | Rennert, Christian, "TBD" (BA-Antrittsvortrag)\\ | + | Rüll, Annika, "Entwicklung einer Query-Sprache für SysML-Modelle" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ |
| \\ | \\ | ||
| **16:45-17:00**\\ | **16:45-17:00**\\ | ||
| - | Rüll, Annika, "TBD" (BA-Antrittsvortrag)\\ | + | Kluener, David, "Entwicklung eines Automaten-basierten Orchestrators für Dienste-orientierte Architekturen" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:boersma]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| **17:00-17:15**\\ | **17:00-17:15**\\ | ||
| - | Nothnick, Philipp, "Testen von SmartTVs" (BA-Antrittsvortrag)\\ | + | Rogalski, Jan, "Konzept und Aufbau eines Prüfstandes für eine dienstorientierte Softwarearchitektur im Fahrzeug" (MA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ |
| \\ | \\ | ||
| **17:15-17:30**\\ | **17:15-17:30**\\ | ||
| - | Rogalski, Jan, "TBD" (MA-Antrittsvortrag)\\ | + | Nothnick, Philipp, "Testen von SmartTVs" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:stollenwerk]]\\ |
| \\ | \\ | ||
| **17:30-17:45**\\ | **17:30-17:45**\\ | ||
| - | Kluener, David, "TBD" (BA-Antrittsvortrag)\\ | + | Rennert, Christian, "TBD" (BA-Antrittsvortrag)\\ |
| - | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | + | Betreuer: [[lehrstuhl:mitarbeiter:buglowski]]\\ |
| \\ | \\ | ||