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.

329 Publications


2014 | Book Chapter | LibreCat-ID: 25173
Self-optimizing Mechatronic Systems
M. Dellnitz, K. Flaßkamp, P. Hartmann, M. Krüger, T. Meyer, C. Priesterjahn, S. Ober-Blöbaum, C. Rasche, W. Sextro, K. Stahl, A. Trächtler, in: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, Heidelberg, Germany, 2014, pp. 3–12.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
System Software
S. Grösbrink, S. Oberthür, K. Stahl, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, Heidelberg, Germany, 2014, pp. 298–317.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

2013 | Conference Paper | LibreCat-ID: 25277
Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep. 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25284
Efficient Power Intent Validation Using Loosely-Timed Simulation Models
F. Mischkalla, W. Müller, in: 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
LibreCat
 

2013 | Dissertation | LibreCat-ID: 25285
Immunorepairing of Hardware Systems
N. Montealegre, Immunorepairing of Hardware Systems, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, Band 315, Jul. 2013, 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 25286
Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2013, pp. 97–104.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25287
Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems
K. Gilles, S. Grösbrink, D. Baldin, T. Kerstan, in: International Embedded Systems Symposium, 17. - 19. Jun. 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25289
On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem
S. Grösbrink, in: International Embedded Systems Symposium, 17. - 19. Jun. 2013, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25290
Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software
F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, Y. Zhao, in: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013, IEEE, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25291
HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures
M. Becker, U. Kiffmeier, W. Müller, in: 16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 25292
A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems
F.-J. Rammig, K. Stahl, G.F. Vaz, in: Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013, IEEE, 2013.
LibreCat
 

Filters and Search Terms

department=672

Search

Filter Publications

Display / Sort

Export / Embed