| 2007 | On the Effects of Finite Memory on Intrusion-Tolerant Systems. | Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Verssimo |
| 2007 | An Automatic Real-Time Analysis of the Time to Reach Consensus. | Tatsuhiro Tsuchiya, Andr Schiper |
| 2007 | Implementation of Highly Available OSPF Router on ATCA. | Chia-Tai Tsai, Rong-Hong Jan, Chien Chen, Chia-Yuan Huang |
| 2007 | Self-Adjusting Indexing Techniques for Communication-Induced Checkpointing Protocols. | Jichiang Tsai, Chia-Yang Chen, Ming-Fa Hu, Jenn-Wei Lin |
| 2007 | Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems. | Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sachin Garg, Chandra M. R. Kintala, Saurabh Bagchi |
| 2007 | Resilient Intrusion Tolerance through Proactive and Reactive Recovery. | Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verssimo |
| 2007 | Quantifying Software Maintainability Based on a Fault-Detection/Correction Model. | Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi, Hiroyuki Okamura |
| 2007 | PISRAT: Proportional Intensity-Based Software Reliability Assessment Tool. | Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi |
| 2007 | Boosting Database Replication Scalability through Partial Replication and 1-Copy-Snapshot-Isolation. | Damin Serrano, Marta Patio-Martnez, Ricardo Jimnez-Peris, Bettina Kemme |
| 2007 | Power-Performance Trade-Off of a Dependable Multicore Processor. | Toshinori Sato, Toshimasa Funaki |
| 2007 | Fault Detection System Activated by Failure Information. | Masato Sakai, Hiroya Matsuba, Yutaka Ishikawa |
| 2007 | Applying a Threshold Scheme to the Pseudonymization of Health Data. | Bernhard Riedl, Veronika Grascher, Thomas Neubauer |
| 2007 | Model Based Development of Safety-Critical Systems Using Template Based Code Generation. | Matthias Regensburger, Christian Buckl, Alois C. Knoll, Gerhard Schrott |
| 2007 | A Low-Power and SEU-Tolerant Switch Architecture for Network on Chips. | Ahmad Patooghy, Mahdi Fazeli, Seyed Ghassem Miremadi |
| 2007 | Overlay Network Topology Reconfiguration in Byzantine Settings. | Rafael R. Obelheiro, Joni da Silva Fraga |
| 2007 | Heterogeneous Functional Units for High Speed Fault-Tolerant Execution Stage. | Yousuke Nakamura, Kei Hiraki |
| 2007 | Improving Email Reliability by Sender Retransmission. | Tim Moors, Patrick Chu |
| 2007 | Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. | Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antnio Casimiro, Paulo Verssimo |
| 2007 | A Proposal of New Dependable Database Middleware with Consistency and Concurrency Control. | Takeshi Mishima, Hiroshi Nakamura |
| 2007 | The Cost of Storing Checkpoints to Multiple Volatile Storage Locations Using at-least-k Semantics. | Andrew Maloney, Andrzej Goscinski |
| 2007 | Fault Tolerance for Super-Peers of P2P Systems. | Jenn-Wei Lin, Ming-Feng Yang, Jichiang Tsai |
| 2007 | A Fault-Tolerant Bloom Filter for Deep Packet Inspection. | Myeong-Hyeon Lee, Yoon-Hwa Choi |
| 2007 | Assessment of Message Missing Failures in FlexRay-Based Networks. | Vahid Lari, Mehdi Dehbashi, Seyed Ghassem Miremadi, Navid Farazmand |
| 2007 | A New Concurrent Detection of Control Flow Errors Based on DCT Technique. | Hung-Chuan Lai, Shi-Jinn Horng, Yong-Yuan Chen, Pingzhi Fan, Yi Pan |
| 2007 | A Fail-Silent Reconfigurable Superscalar Processor. | Thomas Kottke, Andreas Steininger |