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 | ||
|
lehrstuhl:mitarbeiter:mross [2021/05/21 16:05] mross [Abschlussarbeiten] |
lehrstuhl:mitarbeiter:mross [2024/04/19 11:20] mross [Lehre] |
||
|---|---|---|---|
| Zeile 18: | Zeile 18: | ||
| ===== Sprechstunde ===== | ===== Sprechstunde ===== | ||
| - | |||
| Wenn die Tür offen ist / nach Vereinbarung.\\ | Wenn die Tür offen ist / nach Vereinbarung.\\ | ||
| ===== Forschung===== | ===== Forschung===== | ||
| + | In meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern, insbesondere auf Grundlage von IEC 60848. | ||
| - | Im Rahmen meiner Forschung beschäftige ich mich mit formalen Methoden im Kontext von graphischen Beschreibungsmitteln. Ein Fokus liegt hierbei auf automatisierter Erkennung von Entwurfsfehlern, insbesondere auf Grundlage von IEC 60848. | + | ===== HiWi/WiHi Stellen ===== |
| + | {{ :lehrstuhl:stellen:i11-ausschreibung_2024_grafcet.pdf | Analyse von GRAFCET-Spezifikationen}} | ||
| ===== 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: | ||
| - | * {{ :lehre:abschlussarbeiten:ausschreibung_bachelorarbeit_arcade_grafcet_darstellungsimplementierung.pdf | Implementierung und Evaluation einer intermediären Repräsentation von IEC 60848 (GRAFCET)}} | + | {{ :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:proseminar]] | S | | ||
| + | | ::: | [[lehre:sose24:seminar|Seminar: Ausgesuchte Themen zur eingebetteten Software]] | S | | ||
| + | | Wintersemester 2023/24 |[[lehre:wise2324:technische_informatik]] | V | | ||
| + | | ::: | [[lehre:wise2324:proseminar]] | S | | ||
| + | | ::: | [[lehre:wise2324:seminar]] | S | | ||
| + | | Sommersemester 2023 | [[lehre:sose23:proseminar]] | S | | ||
| + | | ::: | [[lehre:sose23:seminar]] | S | | ||
| + | | Wintersemester 2022/23 |[[lehre:wise2223:technische_informatik]] | V | | ||
| + | | ::: | [[lehre:wise2223:seminar]] | S | | ||
| + | | Sommersemester 2022 | [[lehre:sose22:seminar]] | S | | ||
| + | | Wintersemester 2021/22 |[[lehre:wise2122:technische_informatik]] | V | | ||
| + | | ::: | [[lehre:wise2122:proseminar]] | S | | ||
| + | | ::: | [[lehre:wise2122:seminar]] | S | | ||
| | Sommersemester 2021 |[[lehre:sose21:proseminar]] | S | | | Sommersemester 2021 |[[lehre:sose21:proseminar]] | S | | ||
| - | | ::: | [[lehre:sose21:seminar]] | S | | + | | ::: | [[lehre:sose21:seminar]] | S | |
| | Wintersemester 2020/21 |[[lehre:wise2021:technische_informatik]] | V | | | Wintersemester 2020/21 |[[lehre:wise2021:technische_informatik]] | V | | ||
| | ::: | [[lehre:wise2021:proseminar]] | S | | | ::: | [[lehre:wise2021:proseminar]] | S | | ||
| - | | ::: | [[lehre:wise2021:seminar]] | S | | + | | ::: | [[lehre:wise2021:seminar]] | S | |
| - | + | ||
| - | ===== Ausschreibungen ===== | + | |
| - | * Studentische Hilfskraft für {{:lehrstuhl:stellen:20201117_GRAFCET_Hilfskraft.pdf | Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern }} gesucht. | + | |