Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:dernehl [2012/03/15 10:52] dernehl angelegt |
lehrstuhl:mitarbeiter:dernehl [2016/07/16 14:58] dernehl [Lehre] |
||
---|---|---|---|
Zeile 2: | Zeile 2: | ||
{| | {| | ||
|- | |- | ||
+ | ||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}} | ||
|| Wissenschaftlicher Mitarbeiter\\ | || Wissenschaftlicher Mitarbeiter\\ | ||
Zeile 7: | Zeile 8: | ||
\\ | \\ | ||
Tel.: +49 241 80 21163\\ | Tel.: +49 241 80 21163\\ | ||
+ | Fax: +49 241 80 22150\\ | ||
\\ | \\ | ||
Adresse: Ahornstr. 55, 52074 Aachen\\ | Adresse: Ahornstr. 55, 52074 Aachen\\ | ||
- | Büro: Raum 2005 (Gebäude H) | + | Büro: Raum 2322 (Gebäude H) |
|} | |} | ||
+ | |||
+ | ===== Abschlussarbeiten ===== | ||
+ | * {{:lehre:abschlussarbeiten:tg:ba_dhg_artshop_static_stateflow.pdf|Statische Analyse von Matlab/Simulink Stateflow-Charts}} | ||
+ | * {{:lehre:abschlussarbeiten:nh_bama_ws1516_staticsimulinkanalysis.pdf|Weiterentwicklung einer statischen Analyse für Simulink-Modelle}} | ||
+ | * [[:lehre:abschlussarbeiten:cd_stateflow_analysis]] | ||
===== Forschungsgebiete ===== | ===== Forschungsgebiete ===== | ||
- | * Autonomie für Kleinstfluggeräte (MAVs) | + | * Automatisierung und Flugführung für Kleinstfluggeräte (MAVs) |
+ | * Statische Analye von Blockdiagrammen | ||
+ | * Model Checking von Blockdiagrammen | ||
+ | |||
+ | ===== Projekte ===== | ||
+ | |||
+ | * [[https://artshop.embedded.rwth-aachen.de/|artshop]] | ||
+ | * [[forschung:imav|]] | ||
+ | |||
+ | |||
+ | ===== Frühere Projekte ===== | ||
+ | |||
+ | * [[forschung:carolo_cup]] | ||
+ | |||
+ | ===== 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 | | ||
+ | ===== Veröffentlichungen ===== | ||
+ | ~~NOCACHE~~ | ||
+ | <BIBTEX: file=publikationen style=I11 sort=year filter=dernehl> | ||