Rüdiger Lunde

Prof. Dr. rer.nat.

Roles
Vorsitz Prüfungsausschuss INF, CTS, TI, ICS, DSM, MD, IS (seit 9/2014)

Department
Computer Science

Institutes
Institute for Applied Research
Institute of Computer Science

Field of teaching
Programmieren
Softwaretechnik
Intelligente und kognitive Systeme
Datenbanken

Consultation hours
Nach Vereinbarung per Email



Forschungsgebiete

Knowledge-based systems

Model based reliability and safety analysis

Intelligent map and navigation applications

Publikationen
Rüdiger Lunde, Philipp Hönig, Christian Müller. Reasoning about Different Orders of Magnitude of Time with smartIflow. IFAC-PapersOnLine, 51(24), 2018.https://doi.org/10.1016/j.ifacol.2018.09.546


Christian Müller, Philipp Hönig, Rüdiger Lunde. Evaluation of smartIflow based on the Wheel Brake System from ARP4761. IFAC-PapersOnLine, 51(24), 2018.https://doi.org/10.1016/j.ifacol.2018.09.573


F. Gaisbauer, P. Agethen, R. Lunde, E. Rukzio. Iterative Path Adaption (IPA): Predictive Trajectory-Estimation Using Static Pathfinding Algorithms. In 11th CIRP Conference on INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING (ICME'17), Naples, Italy, 2017.https://doi.org/10.1016/j.procir.2017.12.170


Philipp Hönig, Rüdiger Lunde, Florian Holzapfel. Model Based Safety Analysis with smartIflow. Information, 8(1), 2017.http://www.mdpi.com/2078-2489/8/1/7/pdf


Philipp Hönig, Rüdiger Lunde, Florian Holzapfel. Formal Verification of Technical Systems Using smartIflow and CTL. In Proceedings of the 2nd International Conference on Applications in Information Technology (ICAIT-2016). The University of Aizu Press, Aizu, Japan, 2016.HoenigLunde-ICAIT2016.pdf




Alle Publikationen





Technische Hochschule Ulm
Prof. Dr. R.  Lunde
Prittwitzstraße 10
89075 Ulm
Room: A 306a
Fon: +49 (0731) 50-28008
r.lundehs-ulm.de





Go to top of page





Hochschule Ulm
© April 2019