Abstract is missing.
- From Design for Adaptation to Component-Based Resilient ComputingMiruna Stoicescu, Jean-Charles Fabre, Matthieu Roy. 1-10 [doi]
- CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing InfrastructuresQiang Guan, Chi-Chen Chiu, Song Fu. 11-20 [doi]
- Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information SystemsKumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno. 21-30 [doi]
- A Middleware for Exactly-Once Semantics in Request-Response InteractionsNaghmeh Ivaki, Filipe Araujo, Raul Barbosa. 31-40 [doi]
- A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.EKenichi Kourai, Takuya Nagata. 41-50 [doi]
- Code Reuse Prevention through Control Flow Lazily CheckLinbo Chen, Jianhui Jiang, Danqing Zhang. 51-60 [doi]
- Safety Trigger Conditions for Critical Autonomous SystemsAmina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. 61-69 [doi]
- Entropy-Based Detection of Incipient Faults in Software SystemsSalvador DeCelles, Nagarajan Kandasamy. 70-79 [doi]
- Safety Verification of Asynchronous Consensus Algorithms with Model CheckingTatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno. 80-88 [doi]
- Analysis of SER Improvement by Radiation Hardened LatchesKen Yano, Takanori Hayashida, Toshinori Sato. 89-95 [doi]
- A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays by Direct Spare ReplacementItsuo Takanami, Tadayoshi Horita. 96-104 [doi]
- Multi-chip NoCs for Automotive ApplicationsTomohiro Yoneda, Masashi Imai, Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu. 105-110 [doi]
- Performance Modeling and Analysis of On-chip Networks for Real-Time ApplicationsMasashi Imai, Tomohiro Yoneda. 111-120 [doi]
- A BDD-Based Approach to Reliability Optimal Module Allocation in NetworksTatsuhiro Tsuchiya. 121-126 [doi]
- A Dependable Processor by Using Built-in Self Test to Tolerate Periodical Transient Faults under Highly Electromagnetic EnvironmentAromhack Saysanasongkham, Masahiko Negishi, Masayuki Arai, Satoshi Fukumoto. 127-134 [doi]
- Diagnosis for Bridging Faults on Clock LinesYoshinobu Higami, Hiroshi Takahashi, Shin-ya Kobayashi, Kewal K. Saluja. 135-144 [doi]