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.
327 Publications
2014 | Book Chapter | LibreCat-ID: 25176
Development of Self-Optimizing Systems
J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, M. Vaßholz, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , Heidelberg, Germany, 2014, pp. 65–117.
LibreCat
J. Gausemeier, S. Korf, M. Porrmann, K. Stahl, O. Sudmann, M. Vaßholz, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , Heidelberg, Germany, 2014, pp. 65–117.
2014 | Book Chapter | LibreCat-ID: 25177
Development of the RailCab Vehicle
K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.
LibreCat
K. Flaßkamp, S. Grösbrink, P. Hartmann, C. Heinzemann, B. Kleinjohann, L. Kleinjohann, M. Krüger, S. Ober-Blöbaum, C. Priesterjahn, C. Rasche, W. Schäfer, D. Steenken, A. Trächtler, H. Wehrheim, S. Ziegert, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 184–190.
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 | Journal Article | LibreCat-ID: 25164
HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC
M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
LibreCat
M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
2013 | Conference Paper | LibreCat-ID: 25269
Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences
Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Springer, 2013.
LibreCat
Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Springer, 2013.
2013 | Conference Paper | LibreCat-ID: 25270
Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.
LibreCat
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.
2013 | Conference Paper | LibreCat-ID: 25271
AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS
D. He, W. Müller, in: Proceedings of International Conference on Applied Computing (AC), 2013.
LibreCat
D. He, W. Müller, in: Proceedings of International Conference on Applied Computing (AC), 2013.
2013 | Conference Paper | LibreCat-ID: 25273
Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems
M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.
LibreCat
M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in: IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.
2013 | Conference Paper | LibreCat-ID: 25274
Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms
Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial Life, 2013.
LibreCat
Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial Life, 2013.