Lunde, Rüdiger, Prof. Dr.

Skip Navigation LinksTHUDEUsersLunde, Rüdiger, Prof. Dr.

Rüdiger Lunde

Professor Dr.

Studiendekan Informationssysteme (ab 9/2019)
Vorsitz Prüfungsausschuss INF, CTS, TI, ICS, DSM, MD, IS (9/2014 - 9/2019)


  • Softwareentwicklung
  • Intelligente Systeme
  • Modellbasierte Simulation und Analyse technischer Systeme


  • Programmieren
  • Software Engineering
  • Intelligente Systeme
  • Projekte und Seminare
  • Datenbanken


  • Rüdiger Lunde, Philipp Hönig, Christian Müller. Reasoning about Different Orders of Magnitude of Time with smartIflow. IFAC-PapersOnLine, 51(24), 2018.
  • 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.
  • 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.
  • Philipp Hönig, Rüdiger Lunde, Florian Holzapfel. Model Based Safety Analysis with smartIflow. Information, 8(1), 2017.
  • 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
  • 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. HoenigLunde-IWAIT2015.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 .
  • K. Lunde, R. Lunde, B. Münker. Model-Based Failure Analysis with Rodon. In Proceedings of ECAI'06. IOS Press, Riva del Garda, Italy, 2006. LuLuMue-PAIS06.pdf
  • Rüdiger Lunde. Introducing Data Reduction Techniques into Reason Maintenance. In Proceedings of DX'06, Penaranda de Duero, Spain, 2006. Lunde-DX06.pdf
  • Rüdiger Lunde. Combining Domain Splitting with Network Decomposition for Application in Model-Based Engineering. In Proceedings of W(C)LP'05 , Ausgabe 2005-01 , Ulmer Informatik-Berichte , Ulm, 2005. Lunde-WCLP05.pdf
  • Rüdiger Lunde. Applying Domain Splitting to Behavior Prediction in Model-Based Diagnosis. In Proceedings of DX'04, Carcassonne, France, 2004. Lunde-DX04.pdf
  • Rüdiger Lunde, and Peter Dannenmann. Information retrieval from mathematical models for process optimisation in waste-water treatment. In Proceedings of the 12th International Symposium "Computer Science for Environmental Protection". Metropolis Verlag, Marburg , Bremen, Germany, 1998. LundeDannenmann-98.pdf
  • Claus-Peter Wirth and Rüdiger Lunde. Writing Positive/Negative-Conditional Equations Conveniently. In SEKI-Working-Paper SWP--94--04 (ISSN 1860--5931). SEKI Publications , Universität Kaiserslautern, Germany, 1994. WirthLunde-94.pdf
  • Rüdiger Lunde, Claus-Peter Wirth. ASF+ - eine ASF-ähnliche Spezifikationssprache. In SEKI-Working-Paper SWP--94--05 (ISSN 1860--5931). SEKI Publications , Universität Kaiserslautern, Germany, 1994. LundeWirth-94.pdf

Sonstige Informationen

  • ​Sprechzeiten nach Vereinbarung per Email

Prof. Dr. Rüdiger Lunde
Raum: A306a
Prittwitzstraße 10
89075 Ulm
Fon: +49 (0)731 50-28008