Inhaltsverzeichnis
Christian Dernehl, M.Sc.
| |
| Wissenschaftlicher Mitarbeiter
dernehl[at]embedded[dot]rwth-aachen[dot]de |
Forschungsgebiete
- Automatisierung und Flugführung für Kleinstfluggeräte (MAVs)
- Statische Analye von Blockdiagrammen
- Model Checking von Blockdiagrammen
Projekte
Frühere Projekte
Lehre
| Semester | Titel | Art |
|---|---|---|
| SS 2012 | Praktikum Systemprogrammierung | P |
| WS 2012/13 | Einführung in die technische Informatik | V/Ü |
| WS 2013/14 | Einführung in die technische Informatik | V/Ü |
| SS 2015 | NXT Programmierung mit Java | P |
| SS 2015 | Seminar Modellbasiertes Testen und Analyse eingebetteter Software | S |
| WS 2015/16 | Seminar Modellbasiertes Testen und Analyse eingebetteter Software | S |
| WS 2015/16 | Seminar Formale und semiformale Methoden für eingebettete Software | S |
| SS 2016 | NXT Programmierung mit Java | P |
| SS 2016 | Seminar Formale und semiformale Methoden für eingebettete Software | S |
| WS 2016/17 | Seminar Formale und semiformale Methoden für eingebettete Software | S |
Sprechstunde
Nach Vereinbarung
Veröffentlichungen
<BIBTEX: file=publikationen style=I11 sort=year filter=dernehl>
RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland