| 2014 | Reasoning about Group-Based Mobility in MANETs. | Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao |
| 2014 | Formalizing Google File System. | Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu |
| 2014 | Automatic Generation of Security Argument Graphs. | Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders |
| 2014 | Optimization of Partitioned Architectures to Support Soft Real-Time Applications. | Domitian Tamas-Selicean, Paul Pop |
| 2014 | Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA. | Yasuo Sato, Masafumi Monden, Yousuke Miyake, Seiji Kajihara |
| 2014 | From Safety Analyses to Experimental Validation of Automotive Embedded Systems. | Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy |
| 2014 | Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers. | Rui Peng, F. R. Shahrzad |
| 2014 | Protecting RAID Arrays against Unexpectedly High Disk Failure Rates. | Jehan-Franois Pris, Thomas J. E. Schwarz, Ahmed Amer, Darrell D. E. Long |
| 2014 | Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains. | Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi |
| 2014 | CloudBFT: Elastic Byzantine Fault Tolerance. | Rodrigo Nogueira, Filipe Arajo, Raul Barbosa |
| 2014 | Locating a Faulty Interaction in Pair-wise Testing. | Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
| 2014 | Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. | Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi |
| 2014 | Towards Secure and Dependable Authentication and Authorization Infrastructures. | Diego Kreutz, Alysson Neves Bessani, Eduardo Feitosa, Hugo Cunha |
| 2014 | Efficient VM Introspection in KVM and Performance Comparison with Xen. | Kenichi Kourai, Kousuke Nakamura |
| 2014 | Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude. | Shohei Kotaki, Masato Kitakami |
| 2014 | FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development. | Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura |
| 2014 | Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling. | Toshitaka Koga, Tadashi Dohi, Hiroyuki Okamura |
| 2014 | Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. | Oday Jubran, Oliver E. Theel |
| 2014 | Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication. | Naghmeh Ramezani Ivaki, Filipe Arajo, Fernando J. Barros |
| 2014 | A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. | Ivano Irrera, Marco Vieira |
| 2014 | Reliability of Geo-replicated Cloud Storage Systems. | Ilias Iliadis, Dmitry Sotnikov, Paula Ta-Shma, Vinodh Venkatesan |
| 2014 | The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. | Patrick J. Graydon, Iain Bate |
| 2014 | Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantine Fault. | Satoshi Fukumoto, Tomoki Endo, Mamoru Ohara, Masayuki Arai |
| 2014 | A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. | Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris |
| 2014 | Responsiveness of Service Discovery in Wireless Mesh Networks. | Andreas Dittrich, Daniel Solis Herrera, Pablo Coto, Miroslaw Malek |