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.
1892 Publications
2014 | Conference Paper | LibreCat-ID: 25150
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
LibreCat
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
2014 | Conference Paper | LibreCat-ID: 25152
Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems
S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.
LibreCat
S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.
2014 | Conference Paper | LibreCat-ID: 25153
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
2014 | Journal Article | LibreCat-ID: 25154
EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community
C. Brink, J. Jatzkowski, SafeTRANS News (1) (2014) 12–13.
LibreCat
C. Brink, J. Jatzkowski, SafeTRANS News (1) (2014) 12–13.
2014 | Conference Paper | LibreCat-ID: 25155
Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems
M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
M. Becker, C. Kuznik, W. Müller, in: ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
2014 | Conference Paper | LibreCat-ID: 25156
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
2014 | Conference Paper | LibreCat-ID: 25159
Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization
S. Grösbrink, in: GI Design For Future Workshop, 2014.
LibreCat
S. Grösbrink, in: GI Design For Future Workshop, 2014.
2014 | Conference Paper | LibreCat-ID: 25160
Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization
S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
LibreCat
S. Grösbrink, L. Almeida, M. de Sousa, S.M. Petters, in: 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
2014 | Conference Paper | LibreCat-ID: 25161
Portierung der TriCore-Architektur auf QEMU
B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
B. Koppelmann, M. Becker, W. Müller, in: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
2014 | Conference Paper | LibreCat-ID: 25165
Hypervisor-based Consolidation for Automated Teller Machines
S. Grösbrink, S. Korrapati, A. Schmitz, A. Schreckenberg, in: Embedded World Conference, 2014.
LibreCat
S. Grösbrink, S. Korrapati, A. Schmitz, A. Schreckenberg, in: Embedded World Conference, 2014.
2014 | Conference Paper | LibreCat-ID: 25167
Evaluation of Color Spaces for Robust Image Segmentation
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2014.
LibreCat
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2014.
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 | Book Chapter | LibreCat-ID: 25170
Self-optimization by Reconfiguration
S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, K. Stahl, in: Design Methodology for Intelligent Technical Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 19–22.
LibreCat
S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, K. Stahl, in: Design Methodology for Intelligent Technical Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 19–22.
2014 | Book Chapter | LibreCat-ID: 25171
Virtualization
S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157.
LibreCat
S. Grösbrink, in: Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , Heidelberg, Germany, 2014, pp. 152–157.
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: 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
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.
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
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.
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.