Hochschule Ulm
Bewerber

Studierende

Alumni

Unternehmen

Journalisten

Intern

V 1.6.1112.9223/






Rüdiger Lunde

Prof. Dr. rer.nat.

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

Fakultät
Informatik

Hochschuleinrichtungen
Institut für Angewandte Forschung
Institut für Informatik

Lehrgebiete
Softwaretechnik
Datenbanken

Sprechstunde
Nach Vereinbarung per Email



Forschungsgebiete

Knowledge-based systems

Model based reliability and safety analysis

Intelligent map and navigation applications

Publikationen
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.http://web-ext.u-aizu.ac.jp/labs/is-se/conference_proceedings/icait-16/icait-16-paper-21.pdf


Philipp Hönig, Rüdiger Lunde, Florian Holzapfel. Modeling Technical Systems with smartIflow for Safety Related Tasks (Best Paper). In Proceedings of the International Workshop on Applications in Information Technology (IWAIT-2015). The University of Aizu Press, Aizu, Japan, 2015.http://web-ext.u-aizu.ac.jp/labs/is-se/conference_proceedings/iwait-15/9.pdf


Philipp Hönig, Rüdiger Lunde. A New Modeling Approach for Automated Safety Analysis Based on Information Flows. In Proceedings of DX'14, Graz, Austria, 2014.HoenigLunde-DX14.pdf


Rüdiger Lunde. Towards Model-Based Engineering: A Constraint-Based Approach. Shaker, Aachen, 2006. ISBN 3-8322-5279-7.http://www.shaker.de




Alle Publikationen





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





Zurück zum Seitenanfang





Hochschule Ulm
© März 2017