| 2012 | A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. Tatsuhiro Tsuchiya |
| 2012 | A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays by Direct Spare Replacement. Itsuo Takanami, Tadayoshi Horita |
| 2012 | A Dependable Processor by Using Built-in Self Test to Tolerate Periodical Transient Faults under Highly Electromagnetic Environment. Aromhack Saysanasongkham, Masahiko Negishi, Masayuki Arai, Satoshi Fukumoto |
| 2012 | A Middleware for Exactly-Once Semantics in Request-Response Interactions. Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa |
| 2012 | A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E. Kenichi Kourai, Takuya Nagata |
| 2012 | Analysis of SER Improvement by Radiation Hardened Latches. Ken Yano, Takanori Hayashida, Toshinori Sato |
| 2012 | CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures. Qiang Guan, Chi-Chen Chiu, Song Fu |
| 2012 | Code Reuse Prevention through Control Flow Lazily Check. Linbo Chen, Jianhui Jiang, Danqing Zhang |
| 2012 | Diagnosis for Bridging Faults on Clock Lines. Yoshinobu Higami, Hiroshi Takahashi, Shin-ya Kobayashi, Kewal K. Saluja |
| 2012 | Entropy-Based Detection of Incipient Faults in Software Systems. Salvador DeCelles, Nagarajan Kandasamy |
| 2012 | From Design for Adaptation to Component-Based Resilient Computing. Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy |
| 2012 | IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012 |
| 2012 | Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno |
| 2012 | Multi-chip NoCs for Automotive Applications. Tomohiro Yoneda, Masashi Imai, Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu |
| 2012 | Performance Modeling and Analysis of On-chip Networks for Real-Time Applications. Masashi Imai, Tomohiro Yoneda |
| 2012 | Safety Trigger Conditions for Critical Autonomous Systems. Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy |
| 2012 | Safety Verification of Asynchronous Consensus Algorithms with Model Checking. Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno |