| 2007 | A Cost-Effective Dependable Microcontroller Architecture with Instruction-Level Rollback for Soft Error Recovery. Teruaki Sakata, Teppei Hirotsu, Hiromichi Yamada, Takeshi Kataoka |
| 2007 | A Fast Rejuvenation Technique for Server Consolidation with Virtual Machines. Kenichi Kourai, Shigeru Chiba |
| 2007 | A Firewall for Routers: Protecting against Routing Misbehavior. Ying Zhang, Zhuoqing Morley Mao, Jia Wang |
| 2007 | A Framework for Architecture-Level Lifetime Reliability Modeling. Jeonghee Shin, Victor V. Zyuban, Zhigang Hu, Jude A. Rivers, Pradip Bose |
| 2007 | A Lightweight Mechanism for Dependable Communication in Untrusted Networks. Michael Rogers, Saleem Bhatti |
| 2007 | A Real-Time Network Traffic Profiling System. Kuai Xu, Feng Wang, Supratik Bhattacharyya, Zhi-Li Zhang |
| 2007 | A Reinforcement Learning Approach to Automatic Error Recovery. Qijun Zhu, Chun Yuan |
| 2007 | A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems. Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabo, Jens Koch |
| 2007 | An Architectural Approach to Preventing Code Injection Attacks. Ryan D. Riley, Xuxian Jiang, Dongyan Xu |
| 2007 | Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems. Xi Chen, Juejing Feng, Martin Hiller, Vera Lauer |
| 2007 | Architecture-Level Soft Error Analysis: Examining the Limits of Common Assumptions. Xiaodong Li, Sarita V. Adve, Pradip Bose, Jude A. Rivers |
| 2007 | Assessing Robustness of Web-Services Infrastructures. Marco Vieira, Nuno Laranjeiro, Henrique Madeira |
| 2007 | Assurance Based Development of Critical Systems. Patrick J. Graydon, John C. Knight, Elisabeth A. Strunk |
| 2007 | Assurance Cases for Security: The Metrics Challenge. Robin E. Bloomfield, Marcelo Masera, Ann Miller, O. Sami Saydjari, Charles B. Weinstock |
| 2007 | Augmenting Branch Predictor to Secure Program Execution. Yixin Shi, Gyungho Lee |
| 2007 | Automatic Cookie Usage Setting with CookiePicker. Chuan Yue, Mengjun Xie, Haining Wang |
| 2007 | Automatic Verification and Discovery of Byzantine Consensus Protocols. Piotr Zielinski |
| 2007 | BlackJack: Hard Error Detection with Redundant Threads on SMT. Ethan Schuchman, T. N. Vijaykumar |
| 2007 | Bounding Peer-to-Peer Upload Traffic in Client Networks. Chun-Ying Huang, Chin-Laung Lei |
| 2007 | Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults. Martin Hutle, André Schiper |
| 2007 | Computing Battery Lifetime Distributions. Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort |
| 2007 | Concilium: Collaborative Diagnosis of Broken Overlay Routes. James W. Mickens, Brian D. Noble |
| 2007 | Confidence: Its Role in Dependability Cases for Risk Assessment. Robin E. Bloomfield, Bev Littlewood, David Wright |
| 2007 | DSN 2007 Tutorials. Luís E. T. Rodrigues |
| 2007 | DSN 2007 Workshops. Christof Fetzer |
| 2007 | Dependability Assessment of Grid Middleware. Nik Looker, Jie Xu |
| 2007 | Determining Fault Tolerance of XOR-Based Erasure Codes Efficiently. Jay J. Wylie, Ram Swaminathan |
| 2007 | Dynamic Cross-Realm Authentication for Multi-Party Service Interactions. Dacheng Zhang, Jie Xu, Xianxian Li |
| 2007 | Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains. Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga |
| 2007 | E2EProf: Automated End-to-End Performance Management for Enterprise Systems. Sandip Agarwala, Fernando Alegre, Karsten Schwan, Jegannathan Mehalingham |
| 2007 | Electing an Eventual Leader in an Asynchronous Shared Memory System. Antonio Fernández, Ernesto Jiménez, Michel Raynal |
| 2007 | Emergent Structure in Unstructured Epidemic Multicast. Nuno Carvalho, José Pereira, Rui Oliveira, Luís E. T. Rodrigues |
| 2007 | Enhanced Reliability Modeling of RAID Storage Systems. Jon G. Elerath, Michael G. Pecht |
| 2007 | Enhancing DNS Resilience against Denial of Service Attacks. Vasileios Pappas, Daniel Massey, Lixia Zhang |
| 2007 | Evaluating the Impact of Simultaneous Round Participation and Decentralized Decision on the Performance of Consensus. Lívia M. R. Sampaio, Michel Hurfin, Francisco Vilar Brasileiro, Fabíola Greve |
| 2007 | Eventually k-Bounded Wait-Free Distributed Daemons. Yantao Song, Scott M. Pike |
| 2007 | Experimental Risk Assessment and Comparison Using Software Fault Injection. Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa, Eliane Martins, Henrique Madeira |
| 2007 | Failure Resilience for Device Drivers. Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum |
| 2007 | Fast Abstracts. Hiroshi Nakamura |
| 2007 | Fault Tolerance Connectors for Unreliable Web Services. Nicolas Salatgé, Jean-Charles Fabre |
| 2007 | Fault Tolerant Approaches to Nanoelectronic Programmable Logic Arrays. Wenjing Rao, Alex Orailoglu, Ramesh Karri |
| 2007 | Fault Tolerant Planning for Critical Robots. Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell |
| 2007 | Feedback Redundancy: A Power Efficient SEU-Tolerant Latch Design for Deep Sub-Micron Technologies. Mahdi Fazeli, Ahmad Patooghy, Seyed Ghassem Miremadi, Alireza Ejlali |
| 2007 | Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
| 2007 | Greedy Receivers in IEEE 802.11 Hotspots. Mi Kyung Han, Brian Overstreet, Lili Qiu |
| 2007 | How Do Mobile Phones Fail? A Failure Data Analysis of Symbian OS Smart Phones. Marcello Cinque, Domenico Cotroneo, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2007 | How to Choose a Timing Model? Idit Keidar, Alexander Shraer |
| 2007 | HyParView: A Membership Protocol for Reliable Gossip-Based Broadcast. João Leitão, José Pereira, Luís E. T. Rodrigues |
| 2007 | Improving Recoverability in Multi-tier Storage Systems. Marcos Kawazoe Aguilera, Kimberly Keeton, Arif Merchant, Kiran-Kumar Muniswamy-Reddy, Mustafa Uysal |
| 2007 | Industry Session. Lisa Spainhower |
| 2007 | Inherent Time Redundancy (ITR): Using Program Repetition for Low-Overhead Fault Tolerance. Vimal K. Reddy, Eric Rotenberg |
| 2007 | Insights into the Sensitivity of the BRAIN (Braided Ring Availability Integrity Network) - On Platform Robustness in Extended Operation. Michael Paulitsch, Brendan Hall |
| 2007 | Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks. Fabíola Greve, Sébastien Tixeuil |
| 2007 | Measuring Availability in Optimistic Partition-Tolerant Systems with Data Constraints. Mikael Asplund, Simin Nadjm-Tehrani, Stefan Beyer, Pablo Galdámez |
| 2007 | Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks. Florian Oprea, Michael K. Reiter |
| 2007 | Multiprocessors May Reduce System Dependability under File-Based Race Condition Attacks. Jinpeng Wei, Calton Pu |
| 2007 | On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems. Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico |
| 2007 | On the Cost of Modularity in Atomic Broadcast. Olivier Rütti, Sergio Mena, Richard Ekwall, André Schiper |
| 2007 | On the Quality of Service of Crash-Recovery Failure Detectors. Tiejun Ma, Jane Hillston, Stuart Anderson |
| 2007 | On the Selection of Error Model(s) for OS Robustness Evaluation. Andréas Johansson, Neeraj Suri, Brendan Murphy |
| 2007 | Performability Models for Multi-Server Systems with High-Variance Repair Durations. Hans-Peter Schwefel, Imad Antonios |
| 2007 | Portable and Efficient Continuous Data Protection for Network File Servers. Ningning Zhu, Tzi-cker Chiueh |
| 2007 | Processor-Level Selective Replication. Nithin Nakka, Karthik Pattabiraman, Ravishankar K. Iyer |
| 2007 | Profiling Attacker Behavior Following SSH Compromises. Daniel Ramsbrock, Robin Berthier, Michel Cukier |
| 2007 | Protecting Cryptographic Keys from Memory Disclosure Attacks. Keith Harrison, Shouhuai Xu |
| 2007 | Quantifying the Effectiveness of Mobile Phone Virus Response Mechanisms. Elizabeth Van Ruitenbeek, Tod Courtney, William H. Sanders, Fabrice Stevens |
| 2007 | R-Sentry: Providing Continuous Sensor Services against Random Node Failures. Shengchao Yu, Yanyong Zhang |
| 2007 | RAS by the Yard. Alan Wood, Swami Nathan |
| 2007 | Reliability Techniques for RFID-Based Object Tracking Applications. Ahmad Rahmati, Lin Zhong, Matti A. Hiltunen, Rittwik Jana |
| 2007 | Robustness Testing of the Windows DDK. Manuel Mendonça, Nuno Ferreira Neves |
| 2007 | Robustness and Security Hardening of COTS Software Libraries. Martin Süßkraut, Christof Fetzer |
| 2007 | SLAM: Sleep-Wake Aware Local Monitoring in Sensor Networks. Issa M. Khalil, Saurabh Bagchi, Ness B. Shroff |
| 2007 | Scaling and Continuous Availability in Database Server Clusters through Multiversion Replication. Kaloian Manassiev, Cristiana Amza |
| 2007 | Science and Engineering: A Collusion of Cultures. Tony Hoare |
| 2007 | Student Forum. Farnam Jahanian |
| 2007 | Superscalar Processor Performance Enhancement through Reliable Dynamic Clock Frequency Tuning. Viswanathan Subramanian, Mikel Bezdek, Naga Durga Prasad Avirneni, Arun K. Somani |
| 2007 | Synchronous Consensus with Mortal Byzantines. Josef Widder, Günther Gridling, Bettina Weiss, Jean-Paul Blanquart |
| 2007 | The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings |
| 2007 | The Case for FEC-Based Reliable Multicast in Wireless Mesh Networks. Dimitrios Koutsonikolas, Y. Charlie Hu |
| 2007 | The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. Brian Randell |
| 2007 | Third Workshop on Hot Topics in System Dependability HotDep'07. Miguel Castro, John Wilkes |
| 2007 | Understanding Resiliency of Internet Topology against Prefix Hijack Attacks. Mohit Lad, Ricardo V. Oliveira, Beichuan Zhang, Lixia Zhang |
| 2007 | Uniformity by Construction in the Analysis of Nondeterministic Stochastic Systems. Holger Hermanns, Sven Johr |
| 2007 | User Discrimination through Structured Writing on PDAs. Rachel R. M. Roberts, Roy A. Maxion, Kevin S. Killourhy, Fahd Arshad |
| 2007 | Using Process-Level Redundancy to Exploit Multiple Cores for Transient Fault Tolerance. Alex Shye, Tipp Moseley, Vijay Janapa Reddi, Joseph Blomstedt, Daniel A. Connors |
| 2007 | Using Register Lifetime Predictions to Protect Register Files against Soft Errors. Pablo Montesinos, Wei Liu, Josep Torrellas |
| 2007 | Utilizing Dynamically Coupled Cores to Form a Resilient Chip Multiprocessor. Christopher LaFrieda, Engin Ipek, José F. Martínez, Rajit Manohar |
| 2007 | Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models. Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, Kishor S. Trivedi |
| 2007 | Web Services Wind Tunnel: On Performance Testing Large-Scale Stateful Web Services. Marcelo De Barros, Jing Shiau, Chen Shang, Kenton Gidewall, Hui Shi, Joe Forsmann |
| 2007 | What Supercomputers Say: A Study of Five System Logs. Adam J. Oliner, Jon Stearley |
| 2007 | Workshop on Architecting Dependable Systems (WADS 2007). Rogério de Lemos, Felicita Di Giandomenico, Cristina Gacek |
| 2007 | Workshop on Dependable Application Support for Self-Organizing Networks (DASSON 2007). Paul D. Ezhilchelvan, Michel Raynal, Ajoy Kumar Datta |
| 2007 | Workshop on Dependable and Secure Nanocomputing. Jean Arlat, Ravishankar K. Iyer, Michael Nicolaidis |