Skip to content

Pacific Rim International Symposium on Dependable Computing

PRDC

C

CORE rank

CORE rank (raw)

C

Fields of research

Software Engineering · Distributed Computing and Systems Software · Cybersecurity and Privacy

Papers indexed

1,000

1999–2025

Papers per year

199959 peak2025

PRDC papers

1,000 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2010Optimal Inventory of Computer Repair Parts: A Fuzzy Systems Approach.Les M. Sztandera
2010Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms.Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa
2010Modeling the Propagation of Intermittent Hardware Faults in Programs.Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan
2010FiRot: An Efficient Crosstalk Mitigation Method for Network-on-Chips.Ahmad Patooghy, Mansour Shafaei, Seyed Ghassem Miremadi, Hajar Falahati, Somayyeh Taheri
2010Reliability Evaluation of Flip-Flops Based on Probabilistic Transfer Matrices.Chengtian Ouyang, Jianhui Jiang, Jie Xiao
2010Estimating Computer Virus Propagation Based on Markovian Arrival Processes.Hiroyuki Okamura, Tadashi Dohi
2010Composition 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
2010Towards a Language for Communication among Stakeholders.Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa
2010A Speculative Byzantine Algorithm for P2P System.Yusuke Matsumoto, Hiromi Kobayashi
2010A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks.Nuno Laranjeiro, Marco Vieira, Henrique Madeira
2010Formal Verification of Industrial Software with Dynamic Memory Management.Sbastien Labb, Arnaud Sangnier
2010A Replacement Strategy for Canary Flip-Flops.Yuji Kunitake, Toshinori Sato, Hiroto Yasuura
2010A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation.Liangliang Kong, Jianhui Jiang
2010Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications.Takashi Kitamura, Keishi Okamoto, Makoto Takeyama
2010Quantitative Evaluation of Integrity for Remote System Using the Internet.Masato Kitakami, Hiroshi Konno, Kazuteru Namba, Hideo Ito
2010Core-Local Memory Assisted Protection.Yuki Kinebuchi, Tatsuo Nakajima, Vinod Ganapathy, Liviu Iftode
2010A Hierarchical Model for Reliability Analysis of Sensor Networks.Dong Seong Kim, Rahul Ghosh, Kishor S. Trivedi
2010Design and Implementation of a Fault Tolerant Single IP Address Cluster.Jun Kato, Hajime Fujita, Yutaka Ishikawa
2010Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures.Akikazu Izumi, Tadashi Dohi, Naoto Kaio
2010Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults.Ivano Irrera, Joo Dures, Marco Vieira, Henrique Madeira
2010A Distributed Data Replication Protocol for File Versioning with Optimal Node Assignments.Takahiko Ikeda, Mamoru Ohara, Satoshi Fukumoto, Masayuki Arai, Kazuhiko Iwasaki
2010Customizing 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
2010On the Reliability of Cascaded TMR Systems.Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno
2010System-Level Vulnerability Estimation for Data Caches.Alireza Haghdoost, Hossein Asadi, Amirali Baniasadi
2010Searching 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
501525 of 1,000← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.