Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- lehrstuhl:mitarbeiter:voelker [2015/10/14 16:41]
biallas angelegt
+++ lehrstuhl:mitarbeiter:voelker [2018/01/03 16:02]
voelker
@@ Zeile 18: / Zeile 18: @@
 \\
+===== Offene Abschlussarbeiten =====
+Die folgende Liste ist ggf. nicht vollständig. Weitere Themenvorschläge für Bachelor- und Masterarbeiten können Sie auch direkt bei mir erfragen. Eigene Vorschläge sind ebenfalls möglich.
+\\
+\\
+  * {{ :lehre:abschlussarbeiten:mv:ba-octagonpi.pdf | Relational Policy Iteration for Static Analysis of PLC Programs}}
+  * {{ :lehre:abschlussarbeiten:mv:ma-advancedconditions.pdf | Finding Policies for Advanced Control Flow Conditionals}}
+  * {{ :lehre:abschlussarbeiten:mv:ma-incremetalpi.pdf | Incremental Policy Iteration for Static Analysis of PLC Programs}}
+===== Offene Hiwistellen =====
+  * {{ :lehrstuhl:stellen:rapidcoop-hiwi.pdf | Formale Modellierung und Analyse von Handlungsplänen für autonome Fahrzeuge}}
+===== Lehre =====
+| **Semester**         | **Titel**                           |  **Art** |
+| Wintersemester 15/16 | [[lehre:wise1516:formale_methoden]] |    V     |
+| Wintersemester 16/17 | [[lehre:wise1617:formale_methoden]] |    V     |
+| :::                  | [[lehre:wise1617:formal]]\\ (1 Thema) |    S     |
+| Sommersemester    17 | [[lehre:sose17:nxtprogrammierung]]  |    P     |
+| :::                  | [[lehre:sose17:formal]]\\   (1 Thema) |    S     |
+| Wintersemester 17/18 | [[lehre:wise1718:formale_methoden_fuer_steuerungssoftware]] |    P     |
+| :::                  | [[lehre:wise1718:formal]]           |    S     |
 ===== Publikationen =====
-<BIBTEX: file=publikationen+bohlender_publikationen style=I11 sort=timestamp filter=Voelker referenz=conference>
+<BIBTEX: file=publikationen+voelker_publikationen style=I11 sort=timestamp filter=Völker reference=conference>