Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Letzte Überarbeitung Beide Seiten der Revision | |||
|
lehrstuhl:mitarbeiter:henn [2019/09/23 10:37] akugler angelegt |
lehrstuhl:mitarbeiter:henn [2023/09/07 16:49] henn [Kontakt] |
||
|---|---|---|---|
| Zeile 17: | Zeile 17: | ||
| \\ | \\ | ||
| + | ===== Sprechstunde ===== | ||
| + | |||
| + | Nach Vereinbarung | ||
| + | |||
| + | ===== Forschung ===== | ||
| + | |||
| + | Meine Forschung findet im Rahmen des Exzellenzcluster "Internet of Production" statt. Der Fokus liegt auf der Softwareanalyse von kollaborativen Robotern. In diesem Kontext befasse ich mich mit dem Entwurf und Implementierung einer Laufzeitverifikation mit prädiktiv Elementen um vor Gefahrensituationen zu Warnen bevor sie eintreten. | ||
| + | |||
| + | |||
| + | ===== Offene Abschlussarbeiten ===== | ||
| + | * {{ :lehre:abschlussarbeiten:th:ausschreibungwcet.pdf | Worst-Case Execution Time Computation for Python Programs }} | ||
| + | * {{ :lehre:abschlussarbeiten:th:ausschreibungslicing.pdf | Slicing of Python Bytecode }} | ||
| + | * {{ :lehre:abschlussarbeiten:th:ausschreibungsymex.pdf | Symbolic Execution of Python Bytecode }} | ||
| + | * {{ :lehre:abschlussarbeiten:th:ausschreibungjit.pdf | Just-in-Time Compilation of Python Fragments }} | ||
| + | |||
| + | Bei Fragen bezüglich der ausgeschriebenen Arbeiten oder Initiativbewerbungen für Abschlussarbeiten freue ich mich über eine Kontaktaufnahme per Telefon oder E-Mail | ||
| + | |||
| + | ===== Publikationen ===== | ||
| + | <BIBTEX: file=publikationen style=i11 sort=year filter=Henn> | ||