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


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.https://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-5279-3


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






Zurück

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





Zurück zum Seitenanfang





Lunde
© Juni 2019