| | |
Wissenschaftlicher Mitarbeiter gueckel[at]embedded[dot]rwth-aachen[dot]de Tel. +49 241 80 21168 Fax +49 241 80 22150 Adresse: Ahornstr. 55, 52074 Aachen Büro: Raum 2307 (Gebäude H) |
Ich betreue Diplom-/Master- und Bachelor-Arbeiten im Bereich der werkzeuggestützten Entwicklung von Mikrocontroller-Simulatoren sowie im Bereich der Modellierung der Umgebung von Mikrocontrollern. Diese Simulatoren werden im Model-Checking eingesetzt, um den Zustandsraum des Model-Checkers automatisch erzeugen zu können.
Laufende Arbeiten
Abgeschlossene Arbeiten
Offene Arbeiten
Weitere Themen auf Anfrage.
Weiterhin beaufsichtige ich regelmäßig Versuche/Prüfungen im Praktikum Hardwarenahe Programmierung (für Studenten im Bachelor-Studiengang Informatik). In der Vergangenheit habe ich zudem solche Versuche/Prüfungen im Praktikum Elektronische Grundlagen für Informatiker beaufsichtigt. Daneben stelle ich Übungs- und ggf. Klausuraufgaben für die Vorlesung Einführung in die Technische Informatik.