Dies ist eine alte Version des Dokuments!

Marcus Völker, M.Sc. RWTH

Kontakt

Wissenschaftlicher Mitarbeiter

Tel. +49 241 80 21158
Fax +49 241 80 22150

Email: voelker[at]embedded[dot]rwth-aachen[dot]de

Adresse: Ahornstr. 55, 52074 Aachen, Germany
Büro: Raum 2325 (Gebäude H)

Offene Abschlussarbeiten

Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. Eigene Vorschläge sind ebenfalls möglich.

Incremental Policy Iteration for Static Analysis of PLC Programs

Offene Hiwistellen

Zur Zeit sind alle meine Hiwistellen besetzt.

Lehre

Semester	Titel	Art
Wintersemester 15/16	Formale Methoden für Steuerungssoftware	V
Wintersemester 16/17	Formale Methoden für Steuerungssoftware	V
Wintersemester 16/17	Formale und semiformale Methoden für eingebettete Software (1 Thema)	S
Sommersemester 17	Entwicklung NXT gesteuerter LEGO-Fahrzeuge mit Java	P
Sommersemester 17	Formale und semiformale Methoden für eingebettete Software (1 Thema)	S
Wintersemester 17/18	Formale Methoden für Steuerungssoftware	V
Wintersemester 17/18	Formale und semiformale Methoden für eingebettete Software (1 Thema)	S
Sommersemester 18	Formale und semiformale Methoden für eingebettete Software (1 Thema)	S
Wintersemester 18/19	Formale Methoden für Steuerungssoftware	V
	Formale und semiformale Methoden für eingebettete Software (2 Themen)	S
	Proseminar: Grundlagen eingebetteter Systeme (1 Thema)	PS
Sommersemester 19	Seminar: Ausgesuchte Themen zur Eingebetteten Software (1 Thema)	S
Sommersemester 19	Proseminar: Grundlagen eingebetteter Systeme (2 Themen)	PS
Wintersemester 19/20	Formale Methoden für Steuerungssoftware	V
	Seminar: Ausgesuchte Themen zur Eingebetteten Software (2 Themen)	S
	Proseminar: Grundlagen eingebetteter Systeme (3 Themen)	PS

Publikationen

Publikations-Export

Lehrstuhl

Forschung

Tools

Lehre

Marcus Völker, M.Sc. RWTH

Kontakt

Offene Abschlussarbeiten

Offene Hiwistellen

Lehre

Publikationen