Abstract is missing.
- PrefaceMarilyn Wolf, Bernd Kleinjohann, Lisa Kleinjohann. 3 [doi]
- Safety, Efficiency and Autonomy - Mastering Conflicting Trends in Embedded Systems DesignRolf Ernst. 5-6 [doi]
- Rialto 2.0: A Language for Heterogeneous ComputationsJohan Lilius, Andreas Dahlin, Lionel Morel. 7-18 [doi]
- Scenario-Based Modeling in Industrial Information SystemsRicardo Jorge Machado, João M. Fernandes, João Paulo Barros, Luís Gomes. 19-30 [doi]
- An Entirely Model-Based Framework for Hardware Design and SimulationSafouan Taha, Ansgar Radermacher, Sébastien Gérard. 31-42 [doi]
- Extending the Standard Execution Model of UML for Real-Time SystemsAbderraouf Benyahia, Arnaud Cuccuru, Safouan Taha, François Terrier, Frédéric Boulanger, Sébastien Gérard. 43-54 [doi]
- Task Migration for Fault-Tolerant FlexRay NetworksKay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller 0003, Yuan-zhi. 55-65 [doi]
- Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded SystemsLuís Nogueira, Luís Miguel Pinho, Jorge Coelho. 66-77 [doi]
- Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time SystemsWolfgang Müller 0003, Alexander Bol, Alexander Krupp, Ola Lundkvist. 78-89 [doi]
- Model Checking of Concurrent Algorithms: From Java to CCyrille Artho, Masami Hagiya, Watcharin Leungwattanakit, Yoshinori Tanabe, Mitsuharu Yamamoto. 90-101 [doi]
- Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS ServicesSufyan Samara, Yuhong Zhao, Franz J. Rammig. 102-113 [doi]
- Efficient Mutation-Analysis Coverage for Constrained Random VerificationTao Xie, Wolfgang Müller 0003, Florian Letombe. 114-124 [doi]
- Generating VHDL Source Code from UML Models of Embedded SystemsTomás G. Moreira, Marco A. Wehrmeister, Carlos Eduardo Pereira, Jean-François Pétin, Eric Levrat. 125-136 [doi]
- RACE: A Rapid, ArChitectural Simulation and Synthesis Framework for Embedded ProcessorsRoshan G. Ragel, Jude Angelo Ambrose, Jorgen Peddersen, Sri Parameswaran. 137-144 [doi]
- A Mixed Level Simulation Environment for Stepwise RTOS Software RefinementMarkus Becker, Henning Zabel, Wolfgang Müller 0003. 145-156 [doi]
- Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time SystemsSteffen Kollmann, Victor Pollex, Frank Slomka. 157-168 [doi]
- Dependency-Driven Distribution of Synchronous ProgramsDaniel Baudisch, Jens Brandt, Klaus Schneider. 169-180 [doi]
- Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemCPhilipp A. Hartmann, Kim Grüttner, Achim Rettberg, Ina Podolski. 181-192 [doi]
- Robust Partitioned Scheduling for Real-Time Multiprocessor SystemsFrédéric Fauberteau, Serge Midonnet, Laurent George. 193-204 [doi]
- An Infrastructure for Flexible Runtime Reconfigurable Multi-microcontroller SystemsClaudius Stern, Philipp Adelt, Matthias Schmitz, Lisa Kleinjohann, Bernd Kleinjohann. 205-216 [doi]
- PrefacePeter Lindsay, Franz J. Rammig, Mike Hinchey, Jon Timmis. 219 [doi]
- Model Checking the Ant Colony OptimisationLucio Mauro Duarte, Luciana Foss, Flávio Rech Wagner, Tales Heimfarth. 221-232 [doi]
- Feature Selection for Classification Using an Ant System ApproachNadia Abd-Alsabour. 233-241 [doi]
- Novelty-Aware Attack Recognition - Intrusion Detection with Organic Computing TechniquesDominik Fisch, Ferdinand Kastl, Bernhard Sick. 242-253 [doi]
- Evolutionary-Computation Based Risk Assessment of Aircraft Landing Sequencing AlgorithmsWenjing Zhao, Jiangjun Tang, Sameer Alam, Axel Bender, Hussein A. Abbass. 254-265 [doi]
- A Collaborative Decision Support Model for Marine Safety and Security OperationsUwe Glässer, Piper J. Jackson, Ali Khalili Araghi, Hans Wehn, Hamed Yaghoubi Shahir. 266-277 [doi]
- Combining Software and Hardware LCS for Lightweight On-Chip LearningAndreas Bernauer, Johannes Zeppenfeld, Oliver Bringmann, Andreas Herkersdorf, Wolfgang Rosenstiel. 278-289 [doi]
- Collaborating and Learning Predators on a Pursuit ScenarioNugroho Fredivianus, Urban Richter, Hartmut Schmeck. 290-301 [doi]
- SelSta - A Biologically Inspired Approach for Self-Stabilizing Humanoid Robot WalkingBojan Jakimovski, Michael Kotke, Martin Hörenz, Erik Maehle. 302-313 [doi]