| 2011 | Gossiping with Network Coding. | Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2011 | Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. | A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas |
| 2011 | Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems. | Domitian Tamas-Selicean, Paul Pop |
| 2011 | A Test Model for Hardware and Software. | Jzsef Sziray |
| 2011 | Test Generation and Computational Complexity. | Jzsef Sziray |
| 2011 | Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. | Wilfried Steiner, Bruno Dutertre |
| 2011 | On Detecting Termination in Cognitive Radio Networks. | Shantanu Sharma, Awadhesh Kumar Singh |
| 2011 | Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors. | Maurice Sebastian, Philip Axer, Rolf Ernst |
| 2011 | RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers. | Horst Schirmeier, Jens Neuhalfen, Ingo Korb, Olaf Spinczyk, Michael Engel |
| 2011 | Revisiting Fault-Injection Experiment-Platform Architectures. | Horst Schirmeier, Martin Hoffmann, Rdiger Kapitza, Daniel Lohmann, Olaf Spinczyk |
| 2011 | Characterizing Attackers and Attacks: An Empirical Study. | Gabriel Salles-Loustau, Robin Berthier, Etienne Collange, Bertrand Sobesto, Michel Cukier |
| 2011 | Exploiting Total Order Multicast in Weakly Consistent Transactional Caches. | Pedro Ruivo, Maria Couceiro, Paolo Romano, Lus E. T. Rodrigues |
| 2011 | Correcting DFT Codes with Modified Berlekamp-Massey Algorithm and Syndrome Extension. | G. Robert Redinbo |
| 2011 | COMeT: Continuous Online Memory Test. | Musfiq Rahman, Bruce R. Childers, Sangyeun Cho |
| 2011 | Failure Analysis of a Complex Learning Framework Incorporating Multi-modal and Semi-supervised Learning. | Laura L. Pullum, Christopher T. Symons |
| 2011 | Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults. | Irith Pomeranz |
| 2011 | Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity. | Irith Pomeranz |
| 2011 | Unification of Software Reliability Models Using Markovian Arrival Processes. | Hiroyuki Okamura, Tadashi Dohi |
| 2011 | Numerical Defect Correction as an Algorithm-Based Fault Tolerance Technique for Iterative Solvers. | Fabian Oboril, Mehdi Baradaran Tahoori, Vincent Heuveline, Dimitar Lukarski, Jan-Philipp Weiss |
| 2011 | Automatic Robustness Assessment of DDS-Compliant Middleware. | Aniello Napolitano, Gabriella Carrozza, Antonio Bovenzi, Christian Esposito |
| 2011 | Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. | Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann |
| 2011 | A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs: A Self-Stabilizing Distributed Clock Synchronization Protocol For Arbitrary Digraphs. | Mahyar R. Malekpour |
| 2011 | Resilient Virtual Clusters. | Michael Le, Israel Hsu, Yuval Tamir |
| 2011 | Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. | Christoph Kuznik, Wolfgang Mller |
| 2011 | Parametric Bootstrapping for Assessing Software Reliability Measures. | Toshio Kaneishi, Tadashi Dohi |