Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
78 Publications
2015 | Conference Paper | LibreCat-ID: 28321
Wissensaufbereitung und -bereitstellung durch Ontologien im Lebenszyklus von Produktionssystemen
M. Petersen, G. Rehage, J. Gausemeier, F. Bauer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 189–209.
LibreCat
M. Petersen, G. Rehage, J. Gausemeier, F. Bauer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), Wissenschafts- und Industrieforum 2015 Intelligente Technische Systeme - 10. Paderborner Workshop Entwurf mechatronischer Systeme, Nr. 343, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2015, pp. 189–209.
2015 | Conference Paper | LibreCat-ID: 20902
Generierung von AUTOSAR-Modellen aus UML-Spezifikationen
J. Meyer, J. Holtmann, T. Koch, M. Meyer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2015, pp. 159–172.
LibreCat
J. Meyer, J. Holtmann, T. Koch, M. Meyer, in: J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, 2015, pp. 159–172.
2015 | Conference Paper | LibreCat-ID: 9945
Integrierte Modellierung der Dynamik und der Verlässlichkeit komplexer mechatronischer Systeme
T. Kaul, T. Meyer, W. Sextro, in: J. Gausemeier, R. Dumitrescu, F. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2015, pp. 101–112.
LibreCat
T. Kaul, T. Meyer, W. Sextro, in: J. Gausemeier, R. Dumitrescu, F. Rammig, W. Schäfer, A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf Mechatronischer Systeme, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2015, pp. 101–112.
2014 | Conference Paper | LibreCat-ID: 25148
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
LibreCat
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
2014 | Conference Paper | LibreCat-ID: 25149
Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
LibreCat
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
2014 | Book | LibreCat-ID: 25168
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier, F.-J. Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
J. Gausemeier, F.-J. Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
2014 | Conference Paper | LibreCat-ID: 25172
Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation
F.-J. Rammig, S. Grösbrink, K. Stahl, Y. Zhao, in: Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.
LibreCat
F.-J. Rammig, S. Grösbrink, K. Stahl, Y. Zhao, in: Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.
2014 | Book Chapter | LibreCat-ID: 25179
Online Model Checking
F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 147–152.
LibreCat
F.-J. Rammig, Y. Zhao, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 147–152.
2014 | Book | LibreCat-ID: 25180
Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future
J. Gausemeier, F.-J. Rammig, W. Schäfer, Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
J. Gausemeier, F.-J. Rammig, W. Schäfer, Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, Germany, 2014.
2014 | Book Chapter | LibreCat-ID: 20078
Optimal Control with Uncertainty
A. Seifried, S. Ober-Blöbaum, in: J. Gausemeier, F.J. Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 77–85.
LibreCat
| DOI
A. Seifried, S. Ober-Blöbaum, in: J. Gausemeier, F.J. Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 77–85.
2014 | Book Chapter | LibreCat-ID: 20083
Introduction to Self-optimization and Dependability
A. Trächtler, C. Hölscher, C. Rasche, C. Priesterjahn, D. Zimmer, J. Henning Keßler, K. Stahl, K. Flaßkamp, M. Vaßholz, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, T. Meyer, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 1–24.
LibreCat
| DOI
A. Trächtler, C. Hölscher, C. Rasche, C. Priesterjahn, D. Zimmer, J. Henning Keßler, K. Stahl, K. Flaßkamp, M. Vaßholz, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, T. Meyer, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 1–24.
2014 | Book Chapter | LibreCat-ID: 20084
Methods of Improving the Dependability of Self-optimizing Systems
A. Seifried, A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, F.-J. Ramming, H. Wehrheim, J. Henning Keßler, J. Gausemeier, K. Stahl, K. Flaßkamp, K. Witting, L. Kleinjohann, M. Porrmann, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, R. Dorociak, R. Timmermann, S. Korf, S. Groesbrink, S. Ziegert, T. Xie, T. Meyer, W. Sextro, W. Schäfer, W. Müller, Y. Zhao, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 37–171.
LibreCat
| DOI
A. Seifried, A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, F.-J. Ramming, H. Wehrheim, J. Henning Keßler, J. Gausemeier, K. Stahl, K. Flaßkamp, K. Witting, L. Kleinjohann, M. Porrmann, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, R. Dorociak, R. Timmermann, S. Korf, S. Groesbrink, S. Ziegert, T. Xie, T. Meyer, W. Sextro, W. Schäfer, W. Müller, Y. Zhao, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 37–171.
2014 | Book (Editor) | LibreCat-ID: 28395
Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future
J. Gausemeier, F.-J. Rammig, W. Sch{\"a}fer, eds., Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
J. Gausemeier, F.-J. Rammig, W. Sch{\"a}fer, eds., Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future, Springer-Verlag, Heidelberg, Germany, 2014.
2014 | Book | LibreCat-ID: 28396
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier, F.-J. Rammig, Wilhelm Sch{\"a}fer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
J. Gausemeier, F.-J. Rammig, Wilhelm Sch{\"a}fer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
2014 | Book Chapter | LibreCat-ID: 22906
Specification Technique CONSENS for the Description of Self-optimizing Systems
R. Dorociak, R. Dumitrescu, J. Gausemeier, P. Iwanek, in: J. Gausemeier, F.-J. Rammig, W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems, Springer, Berlin, 2014.
LibreCat
R. Dorociak, R. Dumitrescu, J. Gausemeier, P. Iwanek, in: J. Gausemeier, F.-J. Rammig, W. Schäfer (Eds.), Design Methodology for Intelligent Technichal Systems, Springer, Berlin, 2014.
2014 | Book | LibreCat-ID: 9873
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014.
LibreCat
J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014.
2014 | Book Chapter | LibreCat-ID: 9883
Conclusion and Outlook
T. Meyer, C. Priesterjahn, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 189–190.
LibreCat
| DOI
T. Meyer, C. Priesterjahn, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 189–190.
2014 | Book Chapter | LibreCat-ID: 9893
Introduction to Self-optimization and Dependability
A. Trächtler, C. Hölscher, C. Rasche, C. Priesterjahn, D. Zimmer, J. Henning Keßler, K. Stahl, K. Flaßkamp, M. Vaßholz, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, T. Meyer, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 1–24.
LibreCat
| DOI
A. Trächtler, C. Hölscher, C. Rasche, C. Priesterjahn, D. Zimmer, J. Henning Keßler, K. Stahl, K. Flaßkamp, M. Vaßholz, M. Krüger, M. Dellnitz, P. Iwanek, P. Reinold, P. Hartmann, T. Meyer, W. Sextro, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 1–24.
2014 | Book Chapter | LibreCat-ID: 9894
Case Study
A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, H. Wehrheim, J. Gausemeier, K. Flaßkamp, L. Kleinjohann, M. Krüger, P. Iwanek, P. Hartmann, R. Dorociak, S. Groesbrink, S. Ziegert, T. Meyer, W. Sextro, W. Schäfer, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 173–188.
LibreCat
| DOI
A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, H. Wehrheim, J. Gausemeier, K. Flaßkamp, L. Kleinjohann, M. Krüger, P. Iwanek, P. Hartmann, R. Dorociak, S. Groesbrink, S. Ziegert, T. Meyer, W. Sextro, W. Schäfer, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 173–188.
2014 | Book Chapter | LibreCat-ID: 20085
Case Study
A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, H. Wehrheim, J. Gausemeier, K. Flaßkamp, L. Kleinjohann, M. Krüger, P. Iwanek, P. Hartmann, R. Dorociak, S. Groesbrink, S. Ziegert, T. Meyer, W. Sextro, W. Schäfer, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 173–188.
LibreCat
| DOI
A. Trächtler, B. Kleinjohann, C. Heinzemann, C. Rasche, C. Priesterjahn, D. Steenken, H. Wehrheim, J. Gausemeier, K. Flaßkamp, L. Kleinjohann, M. Krüger, P. Iwanek, P. Hartmann, R. Dorociak, S. Groesbrink, S. Ziegert, T. Meyer, W. Sextro, W. Schäfer, in: J. Gausemeier, F. Josef Rammig, W. Schäfer, W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems, Springer Berlin Heidelberg, 2014, pp. 173–188.