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


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

Zurück zum Seitenanfang

© Juni 2019