| 2007 | FileWall: A Firewall for Network File Systems. | Stephen Smaldone, Aniruddha Bohra, Liviu Iftode |
| 2007 | MBDD versus MMDD for Multistate Systems Analysis. | Akhilesh Shrestha, Liudong Xing, Yuanshun Dai |
| 2007 | Self-Configuration Techniques for MuniSocket. | Nader Mohamed, Jameela Al-Jaroodi |
| 2007 | Using Atoms to Simplify Distributed Programs Checking. | Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami |
| 2007 | Compiler-Directed Region-Based Security for Low-Overhead Software Protection. | Vijay Kongubangaram, Olga Gelbart, Rahul Simha, Bhagirath Narahari |
| 2007 | Performance Analysis of CORBA Replication Models. | Swapna S. Gokhale, B. Dasarathy |
| 2007 | On TCP Performance in Flow-Based Mix Networks. | Xinwen Fu, Shu Jiang, Wei Yu, Steve Graham, Yong Guan |
| 2007 | Towards a Proactive Fraud Management Framework for Financial Data Streams. | Michael Edward Edge, Pedro R. Falcone Sampaio, Mohammed Choudhary |
| 2007 | Building a Self-Healing Operating System. | Francis M. David, Roy H. Campbell |
| 2007 | Challenges and Best Practices in Policy-Based Autonomic Architectures. | Radu Calinescu |
| 2007 | Incorporating Modular Imperfect Coverage into Dynamic Hierarchical Systems Analysis. | Prashanthi Boddu, Liudong Xing |
| 2007 | How to Update Dependable Secure Computing Systems from a Survivability Assessment Perspective? | Li Bai, Saroj K. Biswas, Musoke H. Sendaula |
| 2007 | Employing Expert Opinion and Software Metrics for Reasoning About Software. | Norita B. Ahmad, Phillip A. Laplante |
| 2007 | Byzantine Fault Tolerance for Nondeterministic Applications. | Wenbing Zhao |
| 2007 | A Byzantine Fault Tolerant Distributed Commit Protocol. | Wenbing Zhao |
| 2006 | Performance Evaluation of Adjusted Probabilistic Broadcasting in MANETs. | M. Masadeh Bani Yassein, Mohamed Ould-Khaoua, Lewis M. Mackenzie, Stylianos Papanastasiou |
| 2006 | Towards Reliable Rating Filtering in Grid Reputation Systems: A Pre-Evaluating Set Based Bias-Tuned Approach1. | Xuejun Yang, Xiangli Qu, Chunmei Gui |
| 2006 | Runtime Security Verification for Itinerary-Driven Mobile Agents. | Zijiang Yang, Shiyong Lu, Ping Yang |
| 2006 | SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics. | Guoqing Yang, Hong Li, Zhaohui Wu |
| 2006 | A Self-Tuning Multicast Flow Control Scheme Based on Autonomic Technology. | Naixue Xiong, Yanxiang He, Yan Yang, Laurence Tianruo Yang, Chao Peng |
| 2006 | Referees. | |
| 2006 | Organizing Committees. | |
| 2006 | Message from the General Co-Chairs. | |
| 2006 | Assessing Vulnerabilities in Apache and IIS HTTP Servers. | Sung-Whan Woo, Omar Hussain Alhazmi, Yashwant K. Malaiya |
| 2006 | Adaptable and Autonomic Mission Manager for Dependable Aerospace Computing. | Ian A. Troxel, Alan D. George |