Abstract is missing.
- Comparing and Validating Measurements of Dependability AttributesDaniel Skarin, Raul Barbosa, Johan Karlsson. 3-12 [doi]
- Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection SlicingUte Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer. 13-22 [doi]
- Emulation of Transient Software Faults for Dependability Assessment: A Case StudyRoberto Natella, Domenico Cotroneo. 23-32 [doi]
- Evaluating and Comparing the Impact of Software Faults on Web ServersNaaliel Mendes, João Durães, Henrique Madeira. 33-42 [doi]
- Towards On-line Adaptation of Fault Tolerance MechanismsJean-Charles Fabre, Marc-Olivier Killijian, Thomas Pareaud. 45-54 [doi]
- Scalability Evaluation of the Replication Support of JOnAS, an Industrial J2EE Application ServerAlberto Paz, Francisco Perez-Sorrosal, Marta Patiño-Martínez, Ricardo Jiménez-Peris. 55-60 [doi]
- On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault ToleranceRuben Alexandersson, Peter Öhman. 61-66 [doi]
- Partitioned Embedded Architecture Based on Hypervisor: The XtratuM ApproachAlfons Crespo, Ismael Ripoll, Miguel Masmano. 67-72 [doi]
- Software Process Synthesis in Assurance Based Development of Dependable SystemsPatrick J. Graydon, John C. Knight. 75-84 [doi]
- Towards Understanding the Importance of Variables in Dependable SoftwareMatthew Leeke, Arshad Jhumka. 85-94 [doi]
- Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling ProfileSimona Bernardi, José Merseguer, Robyn R. Lutz. 95-104 [doi]
- Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta ModelFrançois Bonnet, Michel Raynal. 107-116 [doi]
- HP: Hybrid Paxos for WANsDan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri. 117-126 [doi]
- Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded ConcurrencySara Tucci Piergiovanni, Roberto Baldoni. 127-134 [doi]
- D2HT: The Best of Both Worlds, Integrating RPS and DHTMarin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal. 135-144 [doi]
- Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node CapabilitiesPaolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico. 145-154 [doi]
- A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay NetworkMartin Mitzlaff, Michael Lang, Rüdiger Kapitza, Wolfgang Schröder-Preikschat. 155-162 [doi]
- Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model ApproachJesper Grønbæk, Hans-Peter Schwefel, Jens Kristian Kjaergard, Thomas Skjodeberg Toftegaard. 165-174 [doi]
- Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System KernelsRoberto Jung Drebes, Takashi Nanya. 175-184 [doi]
- Narrowing Down Possible Causes of Performance Anomaly in Web ApplicationsSatoshi Iwata, Kenji Kono. 185-190 [doi]
- Finding Error Handling Bugs in OpenSSL Using CoccinelleJulia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller. 191-196 [doi]
- Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)Ludovic Pietre-Cambacedes, Marc Bouissou. 199-208 [doi]
- Online Monitoring of Software System ReliabilityRoberto Pietrantuono, Stefano Russo, Kishor S. Trivedi. 209-218 [doi]
- Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemCJon Perez, Mikel Azkarate-askasua, Antonio Perez. 221-229 [doi]
- How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via PipeliningMatthias Függer, Andreas Dielacher, Ulrich Schmid. 230-239 [doi]