@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}},
}

@inbook{25177,
  author       = {{Flaßkamp, Kathrin and Grösbrink, Stefan and Hartmann, Philip and Heinzemann, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Krüger, Martin and Ober-Blöbaum, Sina and Priesterjahn, Claudia and Rasche, Christoph and Schäfer, Wilhelm and Steenken, Dominik and Trächtler, Ansgar and Wehrheim, Heike and Ziegert, Steffen}},
  booktitle    = {{Dependability of Self-Optimizing Mechatronic Systems}},
  pages        = {{184--190}},
  publisher    = {{Springer-Verlag }},
  title        = {{{Development of the RailCab Vehicle}}},
  year         = {{2014}},
}

@inbook{25179,
  author       = {{Rammig, Franz-Josef and Zhao, Yuhong}},
  booktitle    = {{Dependability of Self-Optimizing Mechatronic Systems}},
  pages        = {{147--152}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Online Model Checking}}},
  year         = {{2014}},
}

@book{25180,
  author       = {{Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future}}},
  year         = {{2014}},
}

@inproceedings{20007,
  author       = {{Hamann, Heiko and Karsai, Istvan and Schmickl, Thomas and Hilbun, Allison}},
  booktitle    = {{Symposium on Biomathematics and Ecology: Education and Research}},
  title        = {{{The common stomach: Organizing task allocation in wasp societies}}},
  year         = {{2014}},
}

@inproceedings{20008,
  author       = {{Hamann, Heiko and Valentini, Gabriele}},
  booktitle    = {{Ninth Int. Conf. on Swarm Intelligence (ANTS 2014)}},
  isbn         = {{9783319099514}},
  issn         = {{0302-9743}},
  title        = {{{Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins}}},
  doi          = {{10.1007/978-3-319-09952-1_15}},
  year         = {{2014}},
}

@article{20120,
  abstract     = {{A grand challenge in the field of artificial life is to find a general theory of emergent self-organizing systems. In swarm systems most of the observed complexity is based on motion of simple entities. Similarly, statistical mechanics focuses on collective properties induced by the motion of many interacting particles. In this article we apply methods from statistical mechanics to swarm systems. We try to explain the emergent behavior of a simulated swarm by applying methods based on the fluctuation theorem. Empirical results indicate that swarms are able to produce negative entropy within an isolated subsystem due to frozen accidents. Individuals of a swarm are able to locally detect fluctuations of the global entropy measure and store them, if they are negative entropy productions. By accumulating these stored fluctuations over time the swarm as a whole is producing negative entropy and the system ends up in an ordered state. We claim that this indicates the existence of an inverted fluctuation theorem for emergent self-organizing dissipative systems. This approach bears the potential of general applicability.}},
  author       = {{Hamann, Heiko and Schmickl, Thomas and Crailsheim, Karl}},
  journal      = {{Artificial Life}},
  number       = {{1}},
  pages        = {{77--93}},
  title        = {{{Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem}}},
  doi          = {{10.1162/ARTL_a_00097}},
  volume       = {{20}},
  year         = {{2014}},
}

@inproceedings{20121,
  abstract     = {{Collective decision making in self-organized systems is challenging because it relies on local perception and local communication. Globally defined qualities such as consensus time and decision accuracy are both difficult to predict and difficult to guarantee. We present the weighted voter model which implements a self-organized collective decision making process. We provide an ODE model, a master equation model (numerically solved by the Gillespie algorithm), and agent-based simulations of the proposed decision-making strategy. This set of models enables us to investigate the system behavior in the thermodynamic limit and to investigate finite-size effects due to random fluctuations. Based on our results, we give minimum requirements to guarantee consensus on the optimal decision, a minimum swarm size to guarantee a certain accuracy, and we show that the proposed approach scales with system size and is robust to noise.}},
  author       = {{Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele and Lomuscio, Alessio and Scerri, Paul and Bazzan, Ana and Huhns, Michael}},
  booktitle    = {{Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014)}},
  title        = {{{Self-Organized Collective Decision Making: The Weighted Voter Model}}},
  year         = {{2014}},
}

@inproceedings{20126,
  author       = {{Hamann, Heiko}},
  booktitle    = {{Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014)}},
  pages        = {{31--32}},
  title        = {{{Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal}}},
  doi          = {{10.1145/2598394.2598507}},
  year         = {{2014}},
}

@inproceedings{20127,
  author       = {{Birattari, Mauro and Dorigo, Marco and Hamann, Heiko and Garnier, Simon and Montes de Oca, Marco and Solnon, Christine and Stuetzle, Thomas and Ding, Hongli}},
  booktitle    = {{Ninth Int. Conf. on Swarm Intelligence (ANTS 2014)}},
  pages        = {{262--269}},
  title        = {{{Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation}}},
  doi          = {{10.1007/978-3-319-09952-1_25}},
  volume       = {{8667}},
  year         = {{2014}},
}

@inbook{20128,
  author       = {{Khaluf, Yara and Dorigo, Marco and Hamann, Heiko and Valentini, Gabriele and Bartz-Beielstein, T.}},
  booktitle    = {{13th International Conference on Parallel Problem Solving from Nature (PPSN 2014)}},
  pages        = {{181--190}},
  publisher    = {{Springer}},
  title        = {{{Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements}}},
  doi          = {{10.1007/978-3-319-10762-2_18}},
  volume       = {{8672}},
  year         = {{2014}},
}