Kontakt
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf
Email: kristin.rutenkolk@hhu.de
Tel.: +49 (211) 81-10713
Fax: +49 (211) 81-10712
Raum: 25.12.02.56
Meine Forschungsinteressen
- Sicherheitskritische Systeme
- Funktionale / Logische Programmierung
- Formale Methoden
- Hardwarenahe Programmierung
Aktuelle Lehrveranstaltungen (Sommersemester 2021)
-
Professionelle Softwareentwicklung (Programmierpraktikum I) (früher: Programmierpraktikum)
Frühere Lehrveranstaltungen
-
WS 2020/2021 Softwareentwicklung im Team (Programmierpraktikum II)
-
SS 2020 Professionelle Softwareentwicklung (Programmierpraktikum I) (früher: Programmierpraktikum)
-
WS 2019/2020 Softwareentwicklung im Team (Programmierpraktikum II)
Eine Seite für offenen Themen für Abschlussarbeiten finden Sie hier.
Veröffentlichungen
2024
- A verified low-level implementation and visualization of the adaptive exterior light and speed control system.In International Journal on Software Tools for Technology Transfer, 2024.
- The final authenticated version is available online at https://doi.org/10.1007/s10009-024-00750-5
2020
- A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System.In Proceedings ABZ, LNCS, 12071, Springer, 2020.
- The final authenticated version is available online at https://link.springer.com/chapter/10.1007/978-3-030-48077-6_30