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 [2014/09/22 13:24] kux Anzeige gefixt |
lehrstuhl:mitarbeiter:dernehl [2015/10/27 16:41] dernehl [Projekte] |
||
|---|---|---|---|
| Zeile 13: | Zeile 13: | ||
| 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 ===== | ||
| Zeile 22: | Zeile 27: | ||
| ===== Projekte ===== | ===== Projekte ===== | ||
| + | * [[https://artshop.embedded.rwth-aachen.de/|artshop]] | ||
| * [[forschung:imav|]] | * [[forschung:imav|]] | ||
| + | |||
| + | |||
| + | ===== Frühere Projekte ===== | ||
| + | |||
| * [[forschung:carolo_cup]] | * [[forschung:carolo_cup]] | ||