Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehrstuhl:mitarbeiter:mross [2023/10/23 13:43] mross [Ausschreibungen] |
lehrstuhl:mitarbeiter:mross [2024/06/10 10:09] (aktuell) mross [Abschlussarbeiten] |
||
|---|---|---|---|
| Zeile 24: | Zeile 24: | ||
| ===== HiWi/WiHi Stellen ===== | ===== HiWi/WiHi Stellen ===== | ||
| - | {{ :lehrstuhl:stellen:i11-ausschreibung_2023_grafcet.pdf | Analyse von GRAFCET-Spezifikationen}} | + | //(Aktuell keine.)// |
| ===== Abschlussarbeiten ===== | ===== Abschlussarbeiten ===== | ||
| - | Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich geeignete Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail oder persönlich bei mir im Büro. Eigene Vorschläge sind ebenfalls möglich. Aktuell ausgeschriebene Abschlussarbeiten: | + | Im Rahmen meiner Forschungstätigkeit ergeben sich kontinuierlich geeignete Themen für Abschlussarbeiten. Bei Interesse bitte ich um Kontaktaufnahme per E-Mail oder persönlich bei mir im Büro. Eigene Vorschläge sind ebenfalls möglich. Aktuell ausgeschriebene Abschlussarbeiten: //(Aktuell keine.)// |
| - | + | ||
| - | {{ :lehre:abschlussarbeiten:rm-ba-grafcet-modellverfeinerung-verifikation.pdf | Verfeinerung eines Modells zur Verifikation von IEC 60848 (GRAFCET) [Bachelorarbeit]}} | + | |
| - | + | ||
| - | {{ :lehre:abschlussarbeiten:rm-ma-grafcet-petri-netz-reduktionen.pdf | Anwendung von Petri-Netz-Reduktionen auf IEC 60848 (GRAFCET) [Masterarbeit]}} | + | |
| - | + | ||
| - | {{ :lehre:abschlussarbeiten:rm-ma-verifikation-grafcet-promela.pdf | Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]}} | + | |
| ===== Lehre ===== | ===== Lehre ===== | ||
| | **Semester** | **Titel** | **Art** | | | **Semester** | **Titel** | **Art** | | ||
| + | | Sommersemester 2024 | [[lehre:sose24:seminar|Seminar: Ausgesuchte Themen zur eingebetteten Software]] | S | | ||
| | Wintersemester 2023/24 |[[lehre:wise2324:technische_informatik]] | V | | | Wintersemester 2023/24 |[[lehre:wise2324:technische_informatik]] | V | | ||
| | ::: | [[lehre:wise2324:proseminar]] | S | | | ::: | [[lehre:wise2324:proseminar]] | S | | ||