Dr. rer. nat. Dimitri Bohlender

Kontakt

Wissenschaftlicher Mitarbeiter

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

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

Email: bohlender[at]embedded[dot]rwth-aachen[dot]de
Web: bohlender.pro

Offene Abschlussarbeiten

Aktuell liegen keine ausformulierten, offenen Abschlussarbeiten vor. Bei Interesse an formalen Methoden können wir aber zusammen geeignete Themen für Bachelor- und Masterarbeiten ausarbeiten. Eigene Vorschläge sind ebenfalls möglich.

Lehre

Semester	Titel	Art
WS 19/20	Proseminar: Grundlagen eingebetteter Systeme	S
SS 19	Seminar: Ausgesuchte Themen zur Eingebetteten Software	S
SS 19	Proseminar: Grundlagen eingebetteter Systeme	S
WS 18/19	Formale Methoden für Steuerungssoftware	V
WS 18/19	Formale und semiformale Methoden für eingebettete Software	S
SS 18	Formale und semiformale Methoden für eingebettete Software	S
WS 17/18	Formale Methoden für Steuerungssoftware	V
WS 17/18	Formale und semiformale Methoden für eingebettete Software	S
SS 17	Formale und semiformale Methoden für eingebettete Software	S
WS 16/17	Formale Methoden für Steuerungssoftware	V
SS 16	Formale und semiformale Methoden für eingebettete Software	S
WS 15/16	Formale Methoden für Steuerungssoftware	V
WS 15/16	Formale und semiformale Methoden für eingebettete Software	S
SS 15	Formale und semiformale Methoden für eingebettete Software	S

Publikationen

<BIBTEX: file=publikationen+bohlender_publikationen style=I11 sort=timestamp filter=Bohlender>

Lehrstuhl

Forschung

Tools

Lehre

Dr. rer. nat. Dimitri Bohlender

Kontakt

Offene Abschlussarbeiten

Lehre

Publikationen