@inproceedings{25148,
  author       = {{Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef}},
  booktitle    = {{Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC)}},
  pages        = {{374--383}},
  publisher    = {{IEEE Xplore}},
  title        = {{{Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System}}},
  year         = {{2014}},
}

@inproceedings{25149,
  author       = {{Rammig, Franz-Josef and Stahl, Katharina}},
  booktitle    = {{Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium on}},
  pages        = {{334--341}},
  title        = {{{Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems}}},
  year         = {{2014}},
}

@inproceedings{25150,
  author       = {{Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd}},
  booktitle    = {{Proceedings of the 10th World Congress on Services (SERVICES)}},
  pages        = {{346--353}},
  publisher    = {{IEEE}},
  title        = {{{Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services}}},
  year         = {{2014}},
}

@inproceedings{25152,
  author       = {{Grösbrink, Stefan}},
  booktitle    = {{8th IEEE International Conference on Software Security and Reliability}},
  title        = {{{Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems}}},
  year         = {{2014}},
}

@inproceedings{25153,
  author       = {{Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin}},
  booktitle    = {{Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}},
  pages        = {{49--57}},
  title        = {{{Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}}},
  year         = {{2014}},
}

@article{25154,
  author       = {{Brink, Christopher and Jatzkowski, Jan}},
  journal      = {{SafeTRANS News (1)}},
  pages        = {{12--13}},
  title        = {{{EU-Forschungsprojekt AMALTHEA: Entwicklung einer open-source Entwicklungsplattform, erweiterbar durch die Community}}},
  year         = {{2014}},
}

@inproceedings{25155,
  author       = {{Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}},
  booktitle    = {{ACM/IEEE 5th International Conference on Cyber-Physical Systems}},
  title        = {{{Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}}},
  year         = {{2014}},
}

@inproceedings{25156,
  author       = {{Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph}},
  booktitle    = {{Proceeding of: 4. Konferenz Software-Technologien und -Prozesse (STeP 2014)}},
  title        = {{{Security and Privacy Challenges in On-The-Fly Computing}}},
  year         = {{2014}},
}

@inproceedings{25159,
  author       = {{Grösbrink, Stefan}},
  booktitle    = {{GI Design For Future Workshop}},
  title        = {{{Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization}}},
  year         = {{2014}},
}

@inproceedings{25160,
  author       = {{Grösbrink, Stefan and Almeida, Luis and de Sousa, Mario and Petters, Stefan M.}},
  booktitle    = {{20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)}},
  title        = {{{Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization}}},
  year         = {{2014}},
}

@inproceedings{25161,
  author       = {{Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}},
  booktitle    = {{17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }},
  title        = {{{Portierung der TriCore-Architektur auf QEMU}}},
  year         = {{2014}},
}

@inproceedings{25165,
  author       = {{Grösbrink, Stefan and Korrapati, Sandeep and Schmitz, André and Schreckenberg, Andreas}},
  booktitle    = {{Embedded World Conference}},
  title        = {{{Hypervisor-based Consolidation for Automated Teller Machines}}},
  year         = {{2014}},
}

@inproceedings{25167,
  author       = {{Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}},
  booktitle    = {{ Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP)}},
  publisher    = {{ INSTICC PRESS}},
  title        = {{{Evaluation of Color Spaces for Robust Image Segmentation}}},
  year         = {{2014}},
}

@book{25168,
  author       = {{Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm and Sextro, Walter}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Dependability of Self-Optimizing Mechatronic Systems}}},
  year         = {{2014}},
}

@inbook{25170,
  author       = {{Grösbrink, Stefan and Korf, Sebastian and Porrmann, Mario and Priesterjahn, Claudia and Stahl, Katharina}},
  booktitle    = {{Design Methodology for Intelligent Technical Systems}},
  pages        = {{19--22}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Self-optimization by Reconfiguration}}},
  year         = {{2014}},
}

@inbook{25171,
  author       = {{Grösbrink, Stefan}},
  booktitle    = {{Dependability of Self-Optimizing Mechatronic Systems}},
  pages        = {{152--157}},
  publisher    = {{Springer-Verlag }},
  title        = {{{Virtualization}}},
  year         = {{2014}},
}

@inproceedings{25172,
  author       = {{Rammig, Franz-Josef and Grösbrink, Stefan and Stahl, Katharina and Zhao, Yuhong}},
  booktitle    = {{ Brazilian Symposium on Computing Systems Engineering (SBESC)}},
  publisher    = {{SBC}},
  title        = {{{Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation}}},
  year         = {{2014}},
}

@inbook{25173,
  author       = {{Dellnitz, Michael and Flaßkamp, Kathrin and Hartmann, Philip and Krüger, Martin and Meyer, Tobias and Priesterjahn, Claudia and Ober-Blöbaum, Sina and Rasche, Christoph and Sextro, Walter and Stahl, Katharina and Trächtler, Ansgar}},
  booktitle    = {{Dependability of Self-optimizing Mechatronic Systems, Kapitel: 1.1}},
  pages        = {{3--12}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Self-optimizing Mechatronic Systems}}},
  year         = {{2014}},
}

@inbook{25175,
  author       = {{Grösbrink, Stefan and Oberthür, Simon and Stahl, Katharina}},
  booktitle    = {{Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development}},
  pages        = {{298--317}},
  publisher    = {{Springer-Verlag}},
  title        = {{{System Software}}},
  year         = {{2014}},
}

@inbook{25176,
  author       = {{Gausemeier, Jürgen and Korf, Sebastian and Porrmann, Mario and Stahl, Katharina and Sudmann, Oliver and Vaßholz, Mareen}},
  booktitle    = {{Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3}},
  pages        = {{65--117}},
  publisher    = {{Springer-Verlag }},
  title        = {{{Development of Self-Optimizing Systems}}},
  year         = {{2014}},
}