Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Guillaume Averlant |
Design and Implementation of a Hardware Assisted Security Architecture for Software Integrity Monitoring. |
PRDC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Katarina Balac, Mauro Prevostini, Miroslaw Malek |
Optimizing Sensor Nodes Placement for Fault-Tolerant Trilateration-Based Localization. |
PRDC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Saeideh Alinezhad Chamazcoti, Seyed Ghassem Miremadi |
EA-EO: Endurance Aware Erasure Code for SSD-Based Storage Systems. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando J. Barros |
Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ludovic Pintard, Jean-Charles Fabre, Michel Leeman, Karama Kanoun, Matthieu Roy |
From Safety Analyses to Experimental Validation of Automotive Embedded Systems. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yihuan Xing, Ford-Long Wong, Akash Kumar 0001 |
Lightweight Bare-Metal Stateful Firewall. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, Marco Vieira |
A Practical Approach for Generating Failure Data for Assessing and Comparing Failure Prediction Algorithms. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ilias Iliadis, Dmitry Sotnikov, Paula Ta-Shma, Vinodh Venkatesan |
Reliability of Geo-replicated Cloud Storage Systems. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Graydon, Iain Bate |
The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rodrigo Nogueira, Filipe Araújo, Raul Barbosa |
CloudBFT: Elastic Byzantine Fault Tolerance. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Diego Kreutz, Alysson Neves Bessani, Eduardo Feitosa, Hugo Cunha |
Towards Secure and Dependable Authentication and Authorization Infrastructures. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mengdi Wang, Bo Li, Yongxin Zhao, Geguang Pu |
Formalizing Google File System. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Subrota K. Mondal, Jogesh K. Muppala, Fumio Machida, Kishor S. Trivedi |
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | |
20th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2014, Singapore, November 18-21, 2014 |
PRDC |
2014 |
DBLP BibTeX RDF |
|
1 | Xi Wu 0005, Si Liu 0001, Huibiao Zhu, Yongxin Zhao |
Reasoning about Group-Based Mobility in MANETs. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen 0001, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders |
Automatic Generation of Security Argument Graphs. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Fukumoto, Tomoki Endo, Mamoru Ohara, Masayuki Arai |
Study on Routing Protocol for Structured P2P Network Taking Account of the Nodes Which Behave Like a Byzantine Fault. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takahiro Nagamoto, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya |
Locating a Faulty Interaction in Pair-wise Testing. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Callenes-Sloan, Hugh McNamara |
Algorithm Selection for Error Resilience in Scientific Computing. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Domitian Tamas-Selicean, Paul Pop |
Optimization of Partitioned Architectures to Support Soft Real-Time Applications. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Kono, Shunsuke Miyahara, Hiroshi Yamada, Takeshi Yoshimura |
FoxyFeed: Forging Device-Level Asynchronous Events for Kernel Development. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Toshitaka Koga, Tadashi Dohi, Hiroyuki Okamura |
Optimal Reliability Design for Real-Time Systems with Dynamic Voltage and Frequency Scaling. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oday Jubran, Oliver E. Theel |
Exploiting Synchronicity for Immediate Feedback in Self-Stabilizing PIF Algorithms. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Steffen Becker, Dilshod Rahmatov, Oliver E. Theel |
Region-Adherent Algorithms: Restricting the Impact of Faults on Service Quality. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Kourai, Kousuke Nakamura |
Efficient VM Introspection in KVM and Performance Comparison with Xen. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Md. Zakirul Alam Bhuiyan, Guojun Wang 0001 |
Reliable Shortest Paths in Wireless Sensor Networks: Refocusing on Link Failure Scenarios from Applications. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi |
Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kotaki, Masato Kitakami |
Codes Correcting Asymmetric/Unidirectional Errors along with Bidirectional Errors of Small Magnitude. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rui Peng, F. R. Shahrzad |
Simulation of Software Fault Detection and Correction Processes Considering Different Skill Levels of Debuggers. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kaci Bader, Benjamin Lussier, Walter Schön |
A Fault Tolerant Architecture for Data Fusion Targeting Hardware and Software Faults. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Dittrich, Daniel Solis Herrera, Pablo Coto, Miroslaw Malek |
Responsiveness of Service Discovery in Wireless Mesh Networks. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yasuo Sato, Masafumi Monden, Yousuke Miyake, Seiji Kajihara |
Reduction of NBTI-Induced Degradation on Ring Oscillators in FPGA. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris |
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris, Thomas J. E. Schwarz, Ahmed Amer, Darrell D. E. Long |
Protecting RAID Arrays against Unexpectedly High Disk Failure Rates. |
PRDC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Yoshida, Shoichi Saito, Koichi Mouri, Hiroshi Matsuo |
Orthros: A High-Reliability Operating System with Transmigration of Processes. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort |
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umme Habiba, Abdul Ghafoor Abbasi, Rahat Masood, Muhammad Awais Shibli |
Assessment Criteria for Cloud Identity Management Systems. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mamoru Ohara, Masayuki Arai, Satoshi Fukumoto |
A Note on Influence of DC-DC Converter Noise in CAN Networks. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Negin Fathollahnejad, Emília Villani, Risat Pathan, Raul Barbosa, Johan Karlsson |
Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongbo Shi, Kazuhiko Iwasaki |
Classification of DNS Queries for Anomaly Detection. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas J. E. Schwarz, Darrell D. E. Long, Jehan-François Pâris |
Reliability of Disk Arrays with Double Parity. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David C. van Moolenbroek, Raja Appuswamy, Andrew S. Tanenbaum |
Transaction-Based Process Crash Recovery of File System Namespace Modules. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuzuru Maya |
Two-Phase Majority Decision Scheme Using Time-Stamps. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln |
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hüseyin Aysan, Iain Bate, Patrick J. Graydon, Sasikumar Punnekkat |
Improving Reliability of Real-Time Systems through Value and Time Voting. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Augusto S. Cunha, Luís Moura Silva |
Prediction of Performance Failures in Video-Streaming Servers. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Baldellon, Jean-Charles Fabre, Matthieu Roy |
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daisuke Kuwa, Tadashi Dohi, Hiroyuki Okamura |
Generalized Cox Proportional Hazards Regression-Based Software Reliability Modeling with Metrics Data. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuta Atobe, Youhua Shi, Masao Yanagisawa, Nozomu Togawa |
Secure Scan Design with Dynamically Configurable Connection. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira |
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zigor Salvador, Alberto Lafuente, Mikel Larrea |
Mobility-Enabled Publish/Subscribe: A Case Study. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Giuffrida, Anton Kuijsten, Andrew S. Tanenbaum |
EDFI: A Dependable Fault Injection Tool for Dependability Benchmarking Experiments. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Saman A. Zonouz, Rui Han, Parisa Haghani |
Sechduler: A Security-Aware Kernel Scheduler. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Saman A. Zonouz, Ahmad Seyfi, Alejandro Mesa, Gabriel Salles-Loustau |
FloTracker: Log-Free and Instantaneous Host-Based Intrusion Root-Cause Analysis. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | P. Balasubramanian 0001, Shigeru Yamashita |
On the Error Resiliency of Combinational Logic Cells - Implications for Nano-based Digital Design. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni |
Checkpointing Strategies with Prediction Windows. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rakan Maddah, Sangyeun Cho, Rami G. Melhem |
Power of One Bit: Increasing Error Correction Capability with Data Inversion. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki |
Consistency Verification of UML Diagrams Based on Process Bisimulation. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xun Jian 0002, Nathan DeBardeleben, Sean Blanchard, Vilas Sridharan, Rakesh Kumar 0002 |
Analyzing Reliability of Memory Sub-systems with Double-Chipkill Detect/Correct. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
Towards Formal Approaches to System Resilience. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Tröger, Franz Becker, Felix Salfner |
FuzzTrees - Failure Analysis with Uncertainties. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Gómez-Calzado, Alberto Lafuente, Mikel Larrea, Michel Raynal |
Fault-Tolerant Leader Election in Mobile Dynamic Distributed Systems. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Henning Sahlbach, Rolf Ernst |
Towards a Certifiable Integration of SRAM-Based FPGAs in Safety-Critical Automotive Systems. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Naif A. Mokhayesh Alzahrani, Dorina C. Petriu |
Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013 |
PRDC |
2013 |
DBLP BibTeX RDF |
|
1 | Yu-Yuan Lin, Kuo-Feng Ssu, Hau-Yu Chiang, Chun-Hao Yang |
Reducing Communication Delay by Finding Sink Location in Low-Duty-Cycle Wireless Sensor Networks. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric William Davis Rozier, Saman A. Zonouz, David Redberg |
Dragonfruit: Cloud Provider-Agnostic Trustworthy Cloud Data Storage and Remote Processing. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz |
Reliability Prediction of Smartphone Applications through Failure Data Analysis. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Rezende, Andreas Dittrich, Miroslaw Malek |
User-Perceived Instantaneous Service Availability Evaluation. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Catia Khouri, Fabíola Greve |
A Generic Consensus Algorithm for Shared Memory. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shohei Kotaki, Masato Kitakami |
A Class of q-Ary Unidirectional Error Correcting Codes for MLC Flash Memories. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bing Li 0017, Shuchang Shan, Yu Hu 0001, Xiaowei Li 0001 |
Tolerating Noise in MLC PCM with Multi-Bit Error Correction Code. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chun-Hao Yang, Kuo-Feng Ssu, Yu-Yuan Lin |
A Delay-Awareness Routing Protocol in Intermittently Connected Underwater Acoustic Sensor Networks. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hao Xie, Li Chen 0001, Adrian Evans, Shi-Jie Wen, Rick Wong |
Synthesis of Redundant Combinatorial Logic for Selective Fault Tolerance. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shengfeng Wu, Yue Wu, Shiyi Xu |
Acceleration of Random Testing for Software. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hoffmann 0001, Christian Dietrich 0001, Daniel Lohmann |
dOSEK: A Dependable RTOS for Automotive Applications. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jehan-François Pâris, Darrell D. E. Long, Thomas J. E. Schwarz |
Zero-Maintenance Disk Arrays. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jangwoo Kim, Hyunggyun Yang, Mark P. McCartney, Mudit Bhargava, Ken Mai, Babak Falsafi |
Building Fast, Dense, Low-Power Caches Using Erasure-Based Inline Multi-bit ECC. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fyodor Yarochkin, Yennun Huang, Yung-Li Hu, Sy-Yen Kuo |
Mining Large Network Reconnaissance Data. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Boris Motruk, Jonas Diemer, Philip Axer, Rainer Buchty, Mladen Berekovic |
Safe Virtual Interrupts Leveraging Distributed Shared Resources and Core-to-Core Communication on Many-Core Platforms. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kushal Seetharam, Lance Ong-Siong Co Ting Keh, Ralph Nathan, Daniel J. Sorin |
Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Aupy, Anne Benoit, Thomas Hérault, Yves Robert, Frédéric Vivien, Dounia Zaidouni |
On the Combination of Silent Error Detection and Checkpointing. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Guan, Song Fu, Nathan DeBardeleben, Sean Blanchard |
Exploring Time and Frequency Domains for Accurate and Automated Anomaly Detection in Cloud Computing Systems. |
PRDC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Guan, Chi-Chen Chiu, Song Fu |
CDA: A Cloud Dependability Analysis Framework for Characterizing System Dependability in Cloud Computing Infrastructures. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Itsuo Takanami, Tadayoshi Horita |
A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays by Direct Spare Replacement. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kenichi Kourai, Takuya Nagata |
A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ken Yano, Takanori Hayashida, Toshinori Sato |
Analysis of SER Improvement by Radiation Hardened Latches. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuhiro Tsuchiya |
A BDD-Based Approach to Reliability Optimal Module Allocation in Networks. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuya Noguchi, Tatsuhiro Tsuchiya, Tohru Kikuno |
Safety Verification of Asynchronous Consensus Algorithms with Model Checking. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Yoneda, Masashi Imai, Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu |
Multi-chip NoCs for Automotive Applications. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy |
Safety Trigger Conditions for Critical Autonomous Systems. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Naghmeh Ramezani Ivaki, Filipe Araújo, Raul Barbosa |
A Middleware for Exactly-Once Semantics in Request-Response Interactions. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinobu Higami, Hiroshi Takahashi, Shin-ya Kobayashi, Kewal K. Saluja |
Diagnosis for Bridging Faults on Clock Lines. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Salvador DeCelles, Nagarajan Kandasamy |
Entropy-Based Detection of Incipient Faults in Software Systems. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Linbo Chen, Jianhui Jiang, Danqing Zhang |
Code Reuse Prevention through Control Flow Lazily Check. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kumiko Tadano, Fumio Machida, Jianwen Xiang, Yoshiharu Maeno |
Identification of Minimal Unacceptable Combinations of Simultaneous Component Failures in Information Systems. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
IEEE 18th Pacific Rim International Symposium on Dependable Computing, PRDC 2012, Niigata, Japan, November 18-19, 2012 |
PRDC |
2012 |
DBLP BibTeX RDF |
|
1 | Masashi Imai, Tomohiro Yoneda |
Performance Modeling and Analysis of On-chip Networks for Real-Time Applications. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aromhack Saysanasongkham, Masahiko Negishi, Masayuki Arai, Satoshi Fukumoto |
A Dependable Processor by Using Built-in Self Test to Tolerate Periodical Transient Faults under Highly Electromagnetic Environment. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy |
From Design for Adaptation to Component-Based Resilient Computing. |
PRDC |
2012 |
DBLP DOI BibTeX RDF |
|