Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehrstuhl:mitarbeiter:dernehl [2013/04/30 15:04] dernehl [Lehre] |
lehrstuhl:mitarbeiter:dernehl [2017/03/23 13:55] dernehl [Abschlussarbeiten] |
||
---|---|---|---|
Zeile 11: | 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) |
|} | |} | ||
+ | |||
===== 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 ===== | ||
+ | * [[https://artshop.embedded.rwth-aachen.de/|artshop]] | ||
* [[forschung:imav|]] | * [[forschung:imav|]] | ||
+ | |||
+ | |||
+ | ===== Frühere Projekte ===== | ||
+ | |||
* [[forschung:carolo_cup]] | * [[forschung:carolo_cup]] | ||
Zeile 27: | Zeile 35: | ||
^ Semester ^ Titel ^ Art ^ | ^ Semester ^ Titel ^ Art ^ | ||
| SS 2012 | Praktikum Systemprogrammierung | P | | | SS 2012 | Praktikum Systemprogrammierung | P | | ||
- | | WS 2013 | Einführung in die technische Informatik | V/Ü | | + | | 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 ===== | ===== Veröffentlichungen ===== | ||
Zeile 35: | Zeile 56: | ||
- | ===== Sprechstunde ===== | ||
- | |||
- | Nach Vereinbarung |