Abstract is missing.
- Checkpointing Strategies with Prediction WindowsGuillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni. 1-10 [doi]
- On the Combination of Silent Error Detection and CheckpointingGuillaume Aupy, Anne Benoit, Thomas Hérault, Yves Robert, Frédéric Vivien, Dounia Zaidouni. 11-20 [doi]
- Improving Reliability of Real-Time Systems through Value and Time VotingHüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat. 21-30 [doi]
- EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking ExperimentsCristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum. 31-40 [doi]
- Towards Formal Approaches to System ResilienceVishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan. 41-50 [doi]
- Acceleration of Random Testing for SoftwareShengfeng Wu, Yue Wu, Shiyi Xu. 51-59 [doi]
- A Generic Consensus Algorithm for Shared MemoryCatia Khouri, Fabíola Greve. 60-67 [doi]
- Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision CriterionNegin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson. 68-77 [doi]
- Fault-Tolerant Leader Election in Mobile Dynamic Distributed SystemsCarlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal. 78-87 [doi]
- Analyzing Reliability of Memory Sub-systems with Double-Chipkill Detect/CorrectXun Jian, Nathan DeBardeleben, Sean Blanchard, Vilas Sridharan, Rakesh Kumar 0002. 88-97 [doi]
- Building Fast, Dense, Low-Power Caches Using Erasure-Based Inline Multi-bit ECCJangwoo Kim, Hyunggyun Yang, Mark P. McCartney, Mudit Bhargava, Ken Mai, Babak Falsafi. 98-107 [doi]
- Reliability of Disk Arrays with Double ParityS. J. Thomas Schwarz, Darrell D. E. Long, Jehan-François Pâris. 108-117 [doi]
- On the Error Resiliency of Combinational Logic Cells - Implications for Nano-based Digital DesignP. Balasubramanian, S. Yamashita. 118-119 [doi]
- dOSEK: A Dependable RTOS for Automotive ApplicationsMartin Hoffmann, Christian Dietrich, Daniel Lohmann. 120-121 [doi]
- Two-Phase Majority Decision Scheme Using Time-StampsYuzuru Maya. 122-123 [doi]
- Reliability Prediction of Smartphone Applications through Failure Data AnalysisSonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz. 124-125 [doi]
- Consistency Verification of UML Diagrams Based on Process BisimulationTomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki. 126-127 [doi]
- Synthesis of Redundant Combinatorial Logic for Selective Fault ToleranceHao Xie, Li Chen, Adrian Evans, Shi-Jie Wen, Rick Wong. 128-129 [doi]
- Classification of DNS Queries for Anomaly DetectionHongbo Shi, Kazuhiko Iwasaki. 130-131 [doi]
- A Class of q-Ary Unidirectional Error Correcting Codes for MLC Flash MemoriesShohei Kotaki, Masato Kitakami. 132-133 [doi]
- A Note on Influence of DC-DC Converter Noise in CAN NetworksMamoru Ohara, Masayuki Arai, Satoshi Fukumoto. 134-135 [doi]
- Reducing Communication Delay by Finding Sink Location in Low-Duty-Cycle Wireless Sensor NetworksYu-Yuan Lin, Kuo-Feng Ssu, Hau-Yu Chiang, Chun-Hao Yang. 136-137 [doi]
- A Delay-Awareness Routing Protocol in Intermittently Connected Underwater Acoustic Sensor NetworksChun-Hao Yang, Kuo-Feng Ssu, Yu-Yuan Lin. 138-139 [doi]
- Zero-Maintenance Disk ArraysJehan-François Pâris, Darrell D. E. Long, S. J. Thomas Schwarz. 140-141 [doi]
- Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior ModelNaif A. Mokhayesh Alzahrani, Dorina C. Petriu. 142-151 [doi]
- Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri NetsHamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort. 152-161 [doi]
- Probabilistic Modeling of Failure Dependencies Using Markov Logic NetworksShalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln. 162-171 [doi]
- Dragonfruit: Cloud Provider-Agnostic Trustworthy Cloud Data Storage and Remote ProcessingEric William Davis Rozier, Saman A. Zonouz, David Redberg. 172-177 [doi]
- Mobility-Enabled Publish/Subscribe: A Case StudyZigor Salvador, Alberto Lafuente, Mikel Larrea. 178-182 [doi]
- Mining Large Network Reconnaissance DataFyodor Yarochkin, Yennun Huang, Yung-Li Hu, Sy-Yen Kuo. 183-187 [doi]
- Assessment Criteria for Cloud Identity Management SystemsUmme Habiba, Abdul Ghafoor Abassi, Rahat Masood, Muhammad Awais Shibli. 188-195 [doi]
- Exploring Time and Frequency Domains for Accurate and Automated Anomaly Detection in Cloud Computing SystemsQiang Guan, Song Fu, Nathan DeBardeleben, Sean Blanchard. 196-205 [doi]
- Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed SystemsOlivier Baldellon, Jean-Charles Fabre, Matthieu Roy. 206-215 [doi]
- Power of One Bit: Increasing Error Correction Capability with Data InversionRakan Maddah, Sangyeun Cho, Rami G. Melhem. 216-225 [doi]
- Tolerating Noise in MLC PCM with Multi-Bit Error Correction CodeBing Li, Shuchang Shan, Yu Hu, Xiaowei Li 0001. 226-231 [doi]
- Applying Reduced Precision Arithmetic to Detect Errors in Floating Point MultiplicationKushal Seetharam, Lance Ong-Siong Co Ting Keh, Ralph Nathan, Daniel J. Sorin. 232-235 [doi]
- Sechduler: A Security-Aware Kernel SchedulerSaman A. Zonouz, Rui Han, Parisa Haghani. 236-245 [doi]
- FloTracker: Log-Free and Instantaneous Host-Based Intrusion Root-Cause AnalysisSaman A. Zonouz, Ahmad Seyfi, Alejandro Mesa, Gabriel Salles-Loustau. 246-255 [doi]
- Secure Scan Design with Dynamically Configurable ConnectionYuta Atobe, Youhua Shi, Masao Yanagisawa, Nozomu Togawa. 256-262 [doi]
- FuzzTrees - Failure Analysis with UncertaintiesPeter Tröger, Franz Becker, Felix Salfner. 263-272 [doi]
- User-Perceived Instantaneous Service Availability EvaluationRafael Rezende, Andreas Dittrich, Miroslaw Malek. 273-282 [doi]
- Prediction of Performance Failures in Video-Streaming ServersCarlos Augusto S. Cunha, Luis Moura Silva. 283-292 [doi]
- Safe Virtual Interrupts Leveraging Distributed Shared Resources and Core-to-Core Communication on Many-Core PlatformsBoris Motruk, Jonas Diemer, Philip Axer, Rainer Buchty, Mladen Berekovic. 293-302 [doi]
- Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive SystemsHenning Sahlbach, Rolf Ernst. 303-311 [doi]
- HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite SimulatorsDenise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira. 312-317 [doi]
- Orthros: A High-Reliability Operating System with Transmigration of ProcessesKenji Yoshida, Shoichi Saito, Koichi Mouri, Hiroshi Matsuo. 318-327 [doi]
- Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics DataDaisuke Kuwa, Tadashi Dohi, Hiroyuki Okamura. 328-337 [doi]
- Transaction-Based Process Crash Recovery of File System Namespace ModulesDavid C. van Moolenbroek, Raja Appuswamy, Andrew S. Tanenbaum. 338-347 [doi]