| 2013 | A Class of q-Ary Unidirectional Error Correcting Codes for MLC Flash Memories. Shohei Kotaki, Masato Kitakami |
| 2013 | A Delay-Awareness Routing Protocol in Intermittently Connected Underwater Acoustic Sensor Networks. Chun-Hao Yang, Kuo-Feng Ssu, Yu-Yuan Lin |
| 2013 | A Generic Consensus Algorithm for Shared Memory. Catia Khouri, Fabíola Greve |
| 2013 | A Note on Influence of DC-DC Converter Noise in CAN Networks. Mamoru Ohara, Masayuki Arai, Satoshi Fukumoto |
| 2013 | Acceleration of Random Testing for Software. Shengfeng Wu, Yue Wu, Shiyi Xu |
| 2013 | Analyzing Reliability of Memory Sub-systems with Double-Chipkill Detect/Correct. Xun Jian, Nathan DeBardeleben, Sean Blanchard, Vilas Sridharan, Rakesh Kumar |
| 2013 | Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication. Kushal Seetharam, Lance Ong-Siong Co Ting Keh, Ralph Nathan, Daniel J. Sorin |
| 2013 | Assessment Criteria for Cloud Identity Management Systems. Umme Habiba, Abdul Ghafoor Abbasi, Rahat Masood, Muhammad Awais Shibli |
| 2013 | Building Fast, Dense, Low-Power Caches Using Erasure-Based Inline Multi-bit ECC. Jangwoo Kim, Hyunggyun Yang, Mark P. McCartney, Mudit Bhargava, Ken Mai, Babak Falsafi |
| 2013 | Checkpointing Strategies with Prediction Windows. Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni |
| 2013 | Classification of DNS Queries for Anomaly Detection. Hongbo Shi, Kazuhiko Iwasaki |
| 2013 | Consistency Verification of UML Diagrams Based on Process Bisimulation. Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki |
| 2013 | Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model. Naif A. Mokhayesh Alzahrani, Dorina C. Petriu |
| 2013 | Dragonfruit: Cloud Provider-Agnostic Trustworthy Cloud Data Storage and Remote Processing. Eric William Davis Rozier, Saman A. Zonouz, David Redberg |
| 2013 | EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking Experiments. Cristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum |
| 2013 | Exploring Time and Frequency Domains for Accurate and Automated Anomaly Detection in Cloud Computing Systems. Qiang Guan, Song Fu, Nathan DeBardeleben, Sean Blanchard |
| 2013 | Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. Carlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal |
| 2013 | FloTracker: Log-Free and Instantaneous Host-Based Intrusion Root-Cause Analysis. Saman A. Zonouz, Ahmad Seyfi, Alejandro Mesa, Gabriel Salles-Loustau |
| 2013 | FuzzTrees - Failure Analysis with Uncertainties. Peter Tröger, Franz Becker, Felix Salfner |
| 2013 | Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics Data. Daisuke Kuwa, Tadashi Dohi, Hiroyuki Okamura |
| 2013 | HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
| 2013 | IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013 |
| 2013 | Improving Reliability of Real-Time Systems through Value and Time Voting. Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat |
| 2013 | Mining Large Network Reconnaissance Data. Fyodor Yarochkin, Yennun Huang, Yung-Li Hu, Sy-Yen Kuo |
| 2013 | Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy |
| 2013 | Mobility-Enabled Publish/Subscribe: A Case Study. Zigor Salvador, Alberto Lafuente, Mikel Larrea |
| 2013 | On the Combination of Silent Error Detection and Checkpointing. Guillaume Aupy, Anne Benoit, Thomas Hérault, Yves Robert, Frédéric Vivien, Dounia Zaidouni |
| 2013 | On the Error Resiliency of Combinational Logic Cells - Implications for Nano-based Digital Design. P. Balasubramanian, Shigeru Yamashita |
| 2013 | Orthros: A High-Reliability Operating System with Transmigration of Processes. Kenji Yoshida, Shoichi Saito, Koichi Mouri, Hiroshi Matsuo |
| 2013 | Power of One Bit: Increasing Error Correction Capability with Data Inversion. Rakan Maddah, Sangyeun Cho, Rami G. Melhem |
| 2013 | Prediction of Performance Failures in Video-Streaming Servers. Carlos Augusto S. Cunha, Luís Moura Silva |
| 2013 | Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
| 2013 | Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln |
| 2013 | Reducing Communication Delay by Finding Sink Location in Low-Duty-Cycle Wireless Sensor Networks. Yu-Yuan Lin, Kuo-Feng Ssu, Hau-Yu Chiang, Chun-Hao Yang |
| 2013 | Reliability Prediction of Smartphone Applications through Failure Data Analysis. Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz |
| 2013 | Reliability of Disk Arrays with Double Parity. Thomas J. E. Schwarz, Darrell D. E. Long, Jehan-François Pâris |
| 2013 | Safe Virtual Interrupts Leveraging Distributed Shared Resources and Core-to-Core Communication on Many-Core Platforms. Boris Motruk, Jonas Diemer, Philip Axer, Rainer Buchty, Mladen Berekovic |
| 2013 | Sechduler: A Security-Aware Kernel Scheduler. Saman A. Zonouz, Rui Han, Parisa Haghani |
| 2013 | Secure Scan Design with Dynamically Configurable Connection. Yuta Atobe, Youhua Shi, Masao Yanagisawa, Nozomu Togawa |
| 2013 | Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort |
| 2013 | Synthesis of Redundant Combinatorial Logic for Selective Fault Tolerance. Hao Xie, Li Chen, Adrian Evans, Shi-Jie Wen, Rick Wong |
| 2013 | Tolerating Noise in MLC PCM with Multi-Bit Error Correction Code. Bing Li, Shuchang Shan, Yu Hu, Xiaowei Li |
| 2013 | Towards Formal Approaches to System Resilience. Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2013 | Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive Systems. Henning Sahlbach, Rolf Ernst |
| 2013 | Transaction-Based Process Crash Recovery of File System Namespace Modules. David C. van Moolenbroek, Raja Appuswamy, Andrew S. Tanenbaum |
| 2013 | Two-Phase Majority Decision Scheme Using Time-Stamps. Yuzuru Maya |
| 2013 | User-Perceived Instantaneous Service Availability Evaluation. Rafael Rezende, Andreas Dittrich, Miroslaw Malek |
| 2013 | Zero-Maintenance Disk Arrays. Jehan-François Pâris, Darrell D. E. Long, Thomas J. E. Schwarz |
| 2013 | dOSEK: A Dependable RTOS for Automotive Applications. Martin Hoffmann, Christian Dietrich, Daniel Lohmann |