| 2010 | 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010 Yutaka Ishikawa, Dong Tang, Hiroshi Nakamura |
| 2010 | A Distributed Data Replication Protocol for File Versioning with Optimal Node Assignments. Takahiko Ikeda, Mamoru Ohara, Satoshi Fukumoto, Masayuki Arai, Kazuhiko Iwasaki |
| 2010 | A Hierarchical Model for Reliability Analysis of Sensor Networks. Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi |
| 2010 | A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
| 2010 | A Minimal Roll-Back Based Recovery Scheme for Fault Toleration in Pipeline Processors. Jun Yao, Ryoji Watanabe, Takashi Nakada, Hajime Shimada, Yasuhiko Nakashima, Kazutoshi Kobayashi |
| 2010 | A Replacement Strategy for Canary Flip-Flops. Yuji Kunitake, Toshinori Sato, Hiroto Yasuura |
| 2010 | A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation. Liangliang Kong, Jianhui Jiang |
| 2010 | A Secure System-Wide Process Scheduler across Virtual Machines. Hidekazu Tadokoro, Kenichi Kourai, Shigeru Chiba |
| 2010 | A Software Accelerated Life Testing Model. Toshiya Fujii, Tadashi Dohi, Hiroyuki Okamura, Takaji Fujiwara |
| 2010 | A Speculative Byzantine Algorithm for P2P System. Yusuke Matsumoto, Hiromi Kobayashi |
| 2010 | Address Remapping for Static NUCA in NoC-Based Degradable Chip-Multiprocessors. Ying Wang, Lei Zhang, Yinhe Han, Huawei Li, Xiaowei Li |
| 2010 | An Asynchronous Checkpoint-Based Redundant Multithreading Architecture. Jie Yin, Jianhui Jiang |
| 2010 | An Efficient Decision Unit for the Pair and Swap Methodology within Chip Multiprocessors. James L. Weston, Masashi Imai, Tomohide Nagai, Takashi Nanya |
| 2010 | An Improved Knowledge Connectivity Condition for Fault-Tolerant Consensus with Unknown Participants. Jichiang Tsai, Che-Cheng Chang |
| 2010 | Analysis of Dependencies between Failures in the UNINETT IP Backbone Network. Andrés J. Gonzalez, Bjarne E. Helvik, Jon Kåre Hellan, Pirkko Kuusela |
| 2010 | Automatic Static Fault Tree Analysis from System Models. Jianwen Xiang, Kazuo Yanoo |
| 2010 | Composition Kernel: A Multi-core Processor Virtualization Layer for Highly Functional Embedded Systems. Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake |
| 2010 | Core-Local Memory Assisted Protection. Yuki Kinebuchi, Tatsuo Nakajima, Vinod Ganapathy, Liviu Iftode |
| 2010 | Customizing Virtual Machine with Fault Injector by Integrating with SpecC Device Model for a Software Testing Environment D-Cloud. Toshihiro Hanawa, Hitoshi Koizumi, Takayuki Banzai, Mitsuhisa Sato, Shin'ichi Miura, Tadatoshi Ishii, Hidehisa Takamizawa |
| 2010 | Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures. Akikazu Izumi, Tadashi Dohi, Naoto Kaio |
| 2010 | Design and Implementation of a Fault Tolerant Single IP Address Cluster. Jun Kato, Hajime Fujita, Yutaka Ishikawa |
| 2010 | Dynamic Multilayer Routing to Achieve Location-Hiding. Hakem Beitollahi, Geert Deconinck |
| 2010 | End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach. Rahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim |
| 2010 | Estimating Computer Virus Propagation Based on Markovian Arrival Processes. Hiroyuki Okamura, Tadashi Dohi |
| 2010 | FiRot: An Efficient Crosstalk Mitigation Method for Network-on-Chips. Ahmad Patooghy, Mansour Shafaei, Seyed Ghassem Miremadi, Hajar Falahati, Somayyeh Taheri |
| 2010 | Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. Takashi Kitamura, Keishi Okamoto, Makoto Takeyama |
| 2010 | Formal Verification of Industrial Software with Dynamic Memory Management. Sébastien Labbé, Arnaud Sangnier |
| 2010 | Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms. Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa |
| 2010 | Loris - A Dependable, Modular File-Based Storage Stack. Raja Appuswamy, David C. van Moolenbroek, Andrew S. Tanenbaum |
| 2010 | Modeling the Propagation of Intermittent Hardware Faults in Programs. Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan |
| 2010 | On the Reliability of Cascaded TMR Systems. Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno |
| 2010 | Optimal Inventory of Computer Repair Parts: A Fuzzy Systems Approach. Les M. Sztandera |
| 2010 | P-Bus: Programming Interface Layer for Safe OS Kernel Extensions. Hajime Fujita, Motohiko Matsuda, Toshiyuki Maeda, Shin'ichi Miura, Yutaka Ishikawa |
| 2010 | Quantitative Evaluation of Integrity for Remote System Using the Internet. Masato Kitakami, Hiroshi Konno, Kazuteru Namba, Hideo Ito |
| 2010 | Reliability Evaluation of Flip-Flops Based on Probabilistic Transfer Matrices. Chengtian Ouyang, Jianhui Jiang, Jie Xiao |
| 2010 | Searching Representative and Low Cost Fault Models for Intermittent Faults in Microcontrollers: A Case Study. Joaquin Gracia-Moran, Daniel Gil-Tomas, Juan Carlos Baraza, Luis J. Saiz-Adalid, Pedro J. Gil-Vicente |
| 2010 | Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah |
| 2010 | Sequential Frequency Vector Based System Call Anomaly Detection. Ying Wu, Jianhui Jiang, Liangliang Kong |
| 2010 | System-Level Vulnerability Estimation for Data Caches. Alireza Haghdoost, Hossein Asadi, Amirali Baniasadi |
| 2010 | The Performance Analysis and Hardware Acceleration of Crypto-computations for Enhanced Security. Jed Kao-Tung Chang, Shaoshan Liu, Jean-Luc Gaudiot, Chen Liu |
| 2010 | Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. Ivano Irrera, João Durães, Marco Vieira, Henrique Madeira |
| 2010 | Towards a Language for Communication among Stakeholders. Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa |
| 2010 | Two Efficient Software Techniques to Detect and Correct Control-Flow Errors. Hamid R. Zarandi, Mohammad Maghsoudloo, Navid Khoshavi |