Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehrstuhl:mitarbeiter:mross [2023/09/05 09:53] mross [Lehre] |
lehrstuhl:mitarbeiter:mross [2024/04/23 09:52] 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. | 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. | ||
+ | |||
+ | ===== 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: (momentan keine). | + | 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 ===== | + | |
+ | {{ :lehre:abschlussarbeiten:rm-ma-verifikation-grafcet-promela.pdf | Verifikation von IEC 60848 (GRAFCET) mit SPIN [Masterarbeit]}} | ||
+ | ===== 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 | | ||
+ | | ::: | [[lehre:wise2324:proseminar]] | S | | ||
+ | | ::: | [[lehre:wise2324:seminar]] | S | | ||
| Sommersemester 2023 | [[lehre:sose23:proseminar]] | S | | | Sommersemester 2023 | [[lehre:sose23:proseminar]] | S | | ||
| ::: | [[lehre:sose23:seminar]] | S | | | ::: | [[lehre:sose23:seminar]] | S | | ||
Zeile 42: | Zeile 48: | ||
| ::: | [[lehre:wise2021:proseminar]] | S | | | ::: | [[lehre:wise2021:proseminar]] | S | | ||
| ::: | [[lehre:wise2021:seminar]] | S | | | ::: | [[lehre:wise2021:seminar]] | S | | ||
- | |||
- | ===== Ausschreibungen ===== | ||
- | Derzeit sind keine Stellenausschreibungen vorhanden. | ||
- | |||