| 2013 | On the Combination of Silent Error Detection and Checkpointing. | Guillaume Aupy, Anne Benoit, Thomas Hrault, Yves Robert, Frdric Vivien, Dounia Zaidouni |
| 2013 | Secure Scan Design with Dynamically Configurable Connection. | Yuta Atobe, Youhua Shi, Masao Yanagisawa, Nozomu Togawa |
| 2013 | Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model. | Naif A. Mokhayesh Alzahrani, Dorina C. Petriu |
| 2012 | Multi-chip NoCs for Automotive Applications. | Tomohiro Yoneda, Masashi Imai, Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu |
| 2012 | Analysis of SER Improvement by Radiation Hardened Latches. | Ken Yano, Takanori Hayashida, Toshinori Sato |
| 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 | Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. | Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno |
| 2012 | From Design for Adaptation to Component-Based Resilient Computing. | Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy |
| 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 | Safety Verification of Asynchronous Consensus Algorithms with Model Checking. | Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2012 | Safety Trigger Conditions for Critical Autonomous Systems. | Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jrmie Guiochet, David Powell, Matthieu Roy |
| 2012 | A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E. | Kenichi Kourai, Takuya Nagata |
| 2012 | A Middleware for Exactly-Once Semantics in Request-Response Interactions. | Naghmeh Ramezani Ivaki, Filipe Arajo, Raul Barbosa |
| 2012 | Performance Modeling and Analysis of On-chip Networks for Real-Time Applications. | Masashi Imai, Tomohiro Yoneda |
| 2012 | Diagnosis for Bridging Faults on Clock Lines. | Yoshinobu Higami, Hiroshi Takahashi, Shin-ya Kobayashi, Kewal K. Saluja |
| 2012 | CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures. | Qiang Guan, Chi-Chen Chiu, Song Fu |
| 2012 | Entropy-Based Detection of Incipient Faults in Software Systems. | Salvador DeCelles, Nagarajan Kandasamy |
| 2012 | Code Reuse Prevention through Control Flow Lazily Check. | Linbo Chen, Jianhui Jiang, Danqing Zhang |
| 2011 | A Dependability Solution for Homogeneous MPSoCs. | Xiao Zhang, Hans G. Kerkhoff |
| 2011 | One Optimization Method on the Navigation Performance Reliability of Planing Craft. | Songlin Yang, Ning Yu, Feng Zhu, Huilei Li |
| 2011 | A Method of Gate-Level Circuit Reliability Estimation Based on Iterative PTM Model. | Jie Xiao, Jianhui Jiang, Xuguang Zhu, Chengtian Ouyang |
| 2011 | Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment. | Xiao Xiao, Tadashi Dohi |
| 2011 | Access Control of Web and Java Based Applications. | Kam S. Tso, Michael J. Pajevski, Bryan Johnson |
| 2011 | Recovery from Failures Due to Mandelbugs in IT Systems. | Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar |