W. Mueller, A. Bol, and .. , Alexander Krupp, and Ola Lundkvist Model Checking of Concurrent Algorithms: From Java to C, p.90

S. Samara, Y. Zhao, and J. Franz, Rammig Efficient Mutation-Analysis Coverage for Constrained Random Verification, p.114

.. Code-generation, Simulation and Timing Analysis Generating VHDL Source Code from UML Models of Embedded Systems, p.125

G. Tomás, M. A. Moreira, C. E. Wehrmeister, J. Pereira, E. Pétin et al., ArChitectural Simulation and Synthesis Framework for Embedded Processors, p.137

S. Kollmann, V. Pollex, and .. , and Frank Slomka Distributed Architectures and Design Support Dependency-Driven Distribution of Synchronous Programs, p.169

D. Baudisch, J. Brandt, K. Schneider-distributed-resource-aware, and .. Scheduling-for-multi-core-architectures-with-systemc, 181 Philipp A. Hartmann, Kim Grüttner, Achim Rettberg, and Ina Podolski Table of Contents XV Robust Partitioned Scheduling for Real-Time Multiprocessor Systems, Frédéric Fauberteau, Serge Midonnet, and Laurent George An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller Systems . 205 Claudius Stern Lisa Kleinjohann, and Bernd Kleinjohann Biologically-Inspired Collaborative Computing, p.217, 2010.

P. Lindsay, F. J. Rammig, and .. , Mike Hinchey, and Jon Timmis Ants and Adaptive Systems Model Checking the Ant Colony Optimisation, p.221

L. Mauro-duarte, L. Foss, and .. , Flávio Rech Wagner, and Tales Heimfarth Feature Selection for Classification Using an Ant System Approach . . . . . 233 Nadia Abd-Alsabour Novelty-Aware Attack Recognition ? Intrusion Detection with Organic Computing Techniques, p.242

D. Fisch, F. Kastl, and B. , Sick Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing Algorithms, p.254

W. Zhao, J. Tang, S. Alam, A. Bender, H. A. et al., Abbass Learning Classifier Systems and Collaborative Systems A Collaborative Decision Support Model for Marine Safety, p.266

A. Bernauer, J. Zeppenfeld, O. Bringmann, and .. , Andreas Herkersdorf, and Wolfgang Rosenstiel Collaborating and Learning Predators on a Pursuit Scenario, p.290