Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehrstuhl:mitarbeiter:dernehl [2012/03/15 17:07] dernehl [Forschungsgebiete] |
lehrstuhl:mitarbeiter:dernehl [2015/10/27 16:40] dernehl |
||
|---|---|---|---|
| Zeile 2: | Zeile 2: | ||
| {| | {| | ||
| |- | |- | ||
| + | ||{{:lehrstuhl:mitarbeiter:dernehl.jpg?nolink&200|}} | ||
| || Wissenschaftlicher Mitarbeiter\\ | || Wissenschaftlicher Mitarbeiter\\ | ||
| Zeile 10: | Zeile 11: | ||
| \\ | \\ | ||
| Adresse: Ahornstr. 55, 52074 Aachen\\ | Adresse: Ahornstr. 55, 52074 Aachen\\ | ||
| - | Büro: Raum 2322 (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 und Flugführung für Kleinstfluggeräte (MAVs) | + | * Automatisierung und Flugführung für Kleinstfluggeräte (MAVs) |
| + | * Statische Analye von Blockdiagrammen | ||
| + | * Model Checking von Blockdiagrammen | ||
| ===== Projekte ===== | ===== Projekte ===== | ||
| * [[forschung:imav|]] | * [[forschung:imav|]] | ||
| + | |||
| + | ===== Frühere Projekte ===== | ||
| + | |||
| * [[forschung:carolo_cup]] | * [[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/Ü | | ||
| + | |||
| + | ===== Veröffentlichungen ===== | ||
| + | |||
| + | ~~NOCACHE~~ | ||
| + | <BIBTEX: file=publikationen style=I11 sort=year filter=dernehl> | ||