Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehrstuhl:mitarbeiter:dernehl [2016/07/16 14:58] dernehl [Lehre] |
lehrstuhl:mitarbeiter:dernehl [2017/03/23 13:55] dernehl [Abschlussarbeiten] |
||
---|---|---|---|
Zeile 14: | Zeile 14: | ||
|} | |} | ||
- | ===== 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 47: | Zeile 43: | ||
| SS 2016 | NXT Programmierung mit Java | P | | | SS 2016 | NXT Programmierung mit Java | P | | ||
| SS 2016 | Seminar Formale und semiformale Methoden für eingebettete Software | S | | | 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 53: | Zeile 56: | ||
- | ===== Sprechstunde ===== | ||
- | |||
- | Nach Vereinbarung |