| 2011 | An Invariant Preserving Transformation for PLC Models. | Jan Olaf Blech, Anton Hattendorf, Jia Huang |
| 2011 | Determining Actual Response Time in P-FRP Using Idle-Period Game Board. | Chaitanya Belwal, Albert M. K. Cheng |
| 2011 | Developing Mechanisms for Determining "Good Enough" in SORT Systems. | Kirstie L. Bellman, Phyllis R. Nelson |
| 2011 | Analyzing Embedded Systems Code for Mixed-Critical Systems Using Hybrid Memory Representations. | Eva Beckschulze, Jrg Brauer, Andr Stollenwerk, Stefan Kowalewski |
| 2011 | Proving Memory Separation in a Microkernel by Code Level Verification. | Christoph Baumann, Thorsten Bormer, Holger Blasum, Sergey Tverdyshev |
| 2011 | Performance Analysis of Time-Triggered Ether-Networks Using Off-the-Shelf-Components. | Florian Bartols, Till Steinbach, Franz Korf, Thomas C. Schmidt |
| 2011 | Challenges for Creating Highly Dependable Service Based Systems. | Sean Banerjee, Hema Srikanth, Bojan Cukic |
| 2011 | Suitability of Hypervisor and MPSoC Architectures for the Execution Environment of an Integrated Embedded System. | Mikel Azkarate-askasua, Imanol Martinez, Xabier Iturbe, Roman Obermaisser |
| 2011 | Task-Level Probabilistic Scheduling Guarantees for Dependable Real-Time Systems - A Designer Centric Approach. | Hseyin Aysan, Radu Dobrin, Sasikumar Punnekkat |
| 2011 | Enabling Scheduling Analysis for AUTOSAR Systems. | Saoussen Anssi, Sara Tucci Piergiovanni, Stefan Kuntz, Sbastien Grard, Franois Terrier |
| 2010 | A Self-Organizing Distributed Reinforcement Learning Algorithm to Achieve Fair Bandwidth Allocation for Priority-Based Bus Communication. | Tobias Ziermann, Nina Mhleis, Stefan Wildermann, Jrgen Teich |
| 2010 | Towards Scalability and Reliability of Autonomic Systems on Chip. | Johannes Zeppenfeld, Abdelmajid Bouajila, Andreas Herkersdorf, Walter Stechele |
| 2010 | Polychronous Analysis of Timing Constraints in UML MARTE. | Huafeng Yu, Jean-Pierre Talpin, Loc Besnard, Thierry Gautier, Frdric Mallet, Charles Andr, Robert de Simone |
| 2010 | State-Based Search Strategy in Unstructured P2P. | Kaigui Wu, Changze Wu, Lu Liu, Jie Xu |
| 2010 | RTOS Support for Parallel Execution of Hard Real-Time Applications on the MERASA Multi-core Processor. | Julian Wolf, Mike Gerdes, Florian Kluge, Sascha Uhrig, Jrg Mische, Stefan Metzlaff, Christine Rochange, Hugues Cass, Pascal Sainrat, Theo Ungerer |
| 2010 | On-the-Fly Adaptation of Data Stream Queries. | Bernhard Wolf, Ingo Behrens |
| 2010 | A System-on-a-Chip Platform for Mixed-Criticality Applications. | Armin Wasicek, Christian El Salloum, Hermann Kopetz |
| 2010 | Developing Self-Managing Embedded Systems with ASSL. | Emil Vassev, Mike Hinchey |
| 2010 | Consistency Challenges in Self-Organizing Distributed Hard Real-Time Systems. | Steffen Stein, Moritz Neukirchner, Harald Schrom, Rolf Ernst |
| 2010 | Experimental Reliability Analysis of Multi-UAV Simulation with TMO-Based Distributed Architecture and Global Time Synchronization. | Seung-Hwa Song, Doo-Hyun Kim, Chun-Hyon Chang |
| 2010 | A Lightweight Monitoring Service for Multi-core Embedded Systems. | Hiromasa Shimada, Alexandre Courbot, Yuki Kinebuchi, Tatsuo Nakajima |
| 2010 | The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems. | Fabian Scheler, Wolfgang Schrder-Preikschat |
| 2010 | An Admission Control Protocol for Real-Time OSGi. | Thomas Richardson, Andy J. Wellings |
| 2010 | Implementing and Evaluating the AHS Organic Middleware - A First Approach. | Alexander von Renteln, Uwe Brinkschulte |
| 2010 | Early Modeling of Linux-Based RTOS Platforms in a SystemC Time-Approximate Co-simulation Environment. | Hector Posadas, Eugenio Villar, Dominique Ragot, Marcos Martnez |