Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Pedro Ruivo 0002, Maria Couceiro, Paolo Romano 0002, Luís E. T. Rodrigues |
Exploiting Total Order Multicast in Weakly Consistent Transactional Caches. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aniello Napolitano, Gabriella Carrozza, Antonio Bovenzi, Christian Esposito 0001 |
Automatic Robustness Assessment of DDS-Compliant Middleware. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier |
Tool Supported Model-Based Safety Analysis and Optimization. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Drozda, Iain Bate, Jon Timmis |
Bio-inspired Error Detection for Complex Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shih-Yao Dai, Fyodor Yarochkin, Sy-Yen Kuo, Ming-Wei Wu, Yennun Huang |
Malware Profiler Based on Innovative Behavior-Awareness Technique. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Salles-Loustau, Robin Berthier, Etienne Collange, Bertrand Sobesto, Michel Cukier |
Characterizing Attackers and Attacks: An Empirical Study. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Conmy, Iain Bate |
Efficient Task Allocation to FPGAs in the Safety Critical Domain. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Takaji Fujiwara, Mitsuhiro Kimura, Yoshinobu Satoh, Shigeru Yamada |
A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Leon Alkalai, Timothy Tsai, Tomohiro Yoneda (eds.) |
17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011 |
PRDC |
2011 |
DBLP BibTeX RDF |
|
1 | Michael Le, Israel Hsu, Yuval Tamir |
Resilient Virtual Clusters. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kam S. Tso, Michael J. Pajevski, Bryan Johnson |
Access Control of Web and Java Based Applications. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Domitian Tamas-Selicean, Paul Pop |
Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chi-Shiang Cho, Wei-Ho Chung, Deyun Gao, Hongke Zhang, Sy-Yen Kuo |
Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas |
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robin Berthier, William H. Sanders |
Specification-Based Intrusion Detection for Advanced Metering Infrastructures. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette |
A Clustering Approach for Web Vulnerabilities Detection. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Steiner, Bruno Dutertre |
Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Sebastian, Philip Axer, Rolf Ernst |
Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Balazs Gerofi, Yutaka Ishikawa |
Workload Adaptive Checkpoint Scheduling of Virtual Machine Replication. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Horst Schirmeier, Jens Neuhalfen, Ingo Korb, Olaf Spinczyk, Michael Engel |
RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Oboril, Mehdi Baradaran Tahoori, Vincent Heuveline, Dimitar Lukarski, Jan-Philipp Weiss |
Numerical Defect Correction as an Algorithm-Based Fault Tolerance Technique for Iterative Solvers. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Tadashi Dohi |
Unification of Software Reliability Models Using Markovian Arrival Processes. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz |
Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Songlin Yang, Ning Yu, Feng Zhu, Huilei Li |
One Optimization Method on the Navigation Performance Reliability of Planing Craft. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | József Sziray |
A Test Model for Hardware and Software. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Musfiq Rahman, Bruce R. Childers, Sangyeun Cho |
COMeT: Continuous Online Memory Test. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Florian |
A Framework for Systematic Testing of Multi-threaded Applications. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Zhang 0002, Hans G. Kerkhoff |
A Dependability Solution for Homogeneous MPSoCs. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toshio Kaneishi, Tadashi Dohi |
Parametric Bootstrapping for Assessing Software Reliability Measures. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesus Friginal, David de Andrés, Juan-Carlos Ruiz-Garcia, Regina Moraes |
Using Dependability Benchmarks to Support ISO/IEC SQuaRE. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach |
Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mahyar R. Malekpour |
A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs: A Self-Stabilizing Distributed Clock Synchronization Protocol For Arbitrary Digraphs. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Kuznik, Wolfgang Müller 0003 |
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Koichi Bando, Kenji Tanaka 0001 |
Trend Analyses of Accidents and Dependability Improvement in Financial Information Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann |
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laura L. Pullum, Christopher T. Symons |
Failure Analysis of a Complex Learning Framework Incorporating Multi-modal and Semi-supervised Learning. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz |
Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno |
Gossiping with Network Coding. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Arai, Kazuhiko Iwasaki |
Area-Per-Yield and Defect Level of Cascaded TMR for Pipelined Processors. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim 0001, Michael Grottke, Manoj Nambiar 0001 |
Recovery from Failures Due to Mandelbugs in IT Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Xiao 0002, Tadashi Dohi |
Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jie Xiao, Jianhui Jiang, Xuguang Zhu, Chengtian Ouyang |
A Method of Gate-Level Circuit Reliability Estimation Based on Iterative PTM Model. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Horst Schirmeier, Martin Hoffmann 0001, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk |
Revisiting Fault-Injection Experiment-Platform Architectures. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shantanu Sharma 0001, Awadhesh Kumar Singh |
On Detecting Termination in Cognitive Radio Networks. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | József Sziray |
Test Generation and Computational Complexity. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Hecht |
Dependability Improvement for Critical Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | G. Robert Redinbo |
Correcting DFT Codes with Modified Berlekamp-Massey Algorithm and Syndrome Extension. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrés J. Gonzalez, Bjarne E. Helvik, Jon Kåre Hellan, Pirkko Kuusela |
Analysis of Dependencies between Failures in the UNINETT IP Backbone Network. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Akikazu Izumi, Tadashi Dohi, Naoto Kaio |
Deadlock Detection Scheduling for Distributed Processes in the Presence of System Failures. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | James L. Weston, Masashi Imai, Tomohide Nagai, Takashi Nanya |
An Efficient Decision Unit for the Pair and Swap Methodology within Chip Multiprocessors. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Masashi Hamamatsu, Tatsuhiro Tsuchiya, Tohru Kikuno |
On the Reliability of Cascaded TMR Systems. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Junya Sawazaki, Toshiyuki Maeda, Akinori Yonezawa |
Implementing a Hybrid Virtual Machine Monitor for Flexible and Efficient Security Mechanisms. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Xiang, Kazuo Yanoo |
Automatic Static Fault Tree Analysis from System Models. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Layali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan |
Modeling the Propagation of Intermittent Hardware Faults in Programs. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ying Wu, Jianhui Jiang, Liangliang Kong |
Sequential Frequency Vector Based System Call Anomaly Detection. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hidekazu Tadokoro, Kenichi Kourai, Shigeru Chiba |
A Secure System-Wide Process Scheduler across Virtual Machines. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joaquin Gracia-Moran, Daniel Gil-Tomas, Juan Carlos Baraza, Luis J. Saiz-Adalid, Pedro J. Gil-Vicente |
Searching Representative and Low Cost Fault Models for Intermittent Faults in Microcontrollers: A Case Study. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ying Wang 0001, Lei Zhang 0008, Yinhe Han 0001, Huawei Li 0001, Xiaowei Li 0001 |
Address Remapping for Static NUCA in NoC-Based Degradable Chip-Multiprocessors. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Labbé 0002, Arnaud Sangnier |
Formal Verification of Industrial Software with Dynamic Memory Management. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Toshiya Fujii, Tadashi Dohi, Hiroyuki Okamura, Takaji Fujiwara |
A Software Accelerated Life Testing Model. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Masato Kitakami, Hiroshi Konno, Kazuteru Namba, Hideo Ito |
Quantitative Evaluation of Integrity for Remote System Using the Internet. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Fujita 0002, Motohiko Matsuda, Toshiyuki Maeda, Shin'ichi Miura, Yutaka Ishikawa |
P-Bus: Programming Interface Layer for Safe OS Kernel Extensions. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ahmad Patooghy, Mansour Shafaei, Seyed Ghassem Miremadi, Hajar Falahati, Somayyeh Taheri |
FiRot: An Efficient Crosstalk Mitigation Method for Network-on-Chips. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jichiang Tsai 0001, Che-Cheng Chang |
An Improved Knowledge Connectivity Condition for Fault-Tolerant Consensus with Unknown Participants. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hakem Beitollahi, Geert Deconinck |
Dynamic Multilayer Routing to Achieve Location-Hiding. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yuki Kinebuchi, Tatsuo Nakajima, Vinod Ganapathy, Liviu Iftode |
Core-Local Memory Assisted Protection. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yuji Kunitake, Toshinori Sato, Hiroto Yasuura |
A Replacement Strategy for Canary Flip-Flops. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Toshihiro Hanawa, Hitoshi Koizumi, Takayuki Banzai, Mitsuhisa Sato, Shin'ichi Miura, Tadatoshi Ishii, Hidehisa Takamizawa |
Customizing Virtual Machine with Fault Injector by Integrating with SpecC Device Model for a Software Testing Environment D-Cloud. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Chengtian Ouyang, Jianhui Jiang, Jie Xiao |
Reliability Evaluation of Flip-Flops Based on Probabilistic Transfer Matrices. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jie Yin, Jianhui Jiang |
An Asynchronous Checkpoint-Based Redundant Multithreading Architecture. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jun Kato 0002, Hajime Fujita 0002, Yutaka Ishikawa |
Design and Implementation of a Fault Tolerant Single IP Address Cluster. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Les M. Sztandera |
Optimal Inventory of Computer Repair Parts: A Fuzzy Systems Approach. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kitamura 0001, Keishi Okamoto, Makoto Takeyama |
Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tatsuo Nakajima, Yuki Kinebuchi, Alexandre Courbot, Hiromasa Shimada, Tsung-Han Lin, Hitoshi Mitake |
Composition Kernel: A Multi-core Processor Virtualization Layer for Highly Functional Embedded Systems. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Dong Seong Kim 0001, Rahul Ghosh, Kishor S. Trivedi |
A Hierarchical Model for Reliability Analysis of Sensor Networks. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Okamura, Tadashi Dohi |
Estimating Computer Virus Propagation Based on Markovian Arrival Processes. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alireza Haghdoost 0001, Hossein Asadi 0001, Amirali Baniasadi |
System-Level Vulnerability Estimation for Data Caches. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Takahiko Ikeda, Mamoru Ohara, Satoshi Fukumoto, Masayuki Arai, Kazuhiko Iwasaki |
A Distributed Data Replication Protocol for File Versioning with Optimal Node Assignments. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Matsumoto, Hiromi Kobayashi |
A Speculative Byzantine Algorithm for P2P System. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Laranjeiro, Marco Vieira, Henrique Madeira |
A Learning-Based Approach to Secure Web Services from SQL/XPath Injection Attacks. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raja Appuswamy, David C. van Moolenbroek, Andrew S. Tanenbaum |
Loris - A Dependable, Modular File-Based Storage Stack. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ivano Irrera, João Durães, Marco Vieira, Henrique Madeira |
Towards Identifying the Best Variables for Failure Prediction Using Injection of Realistic Software Faults. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Liangliang Kong, Jianhui Jiang |
A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fengxiang Zhang, Alan Burns 0001, Sanjoy K. Baruah |
Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jed Kao-Tung Chang, Shaoshan Liu, Jean-Luc Gaudiot, Chen Liu 0001 |
The Performance Analysis and Hardware Acceleration of Crypto-computations for Enhanced Security. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jun Yao 0001, Ryoji Watanabe, Takashi Nakada, Hajime Shimada, Yasuhiko Nakashima, Kazutoshi Kobayashi |
A Minimal Roll-Back Based Recovery Scheme for Fault Toleration in Pipeline Processors. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim 0001 |
End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa |
Towards a Language for Communication among Stakeholders. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Ishikawa, Dong Tang, Hiroshi Nakamura (eds.) |
16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010, Tokyo, Japan, December 13-15, 2010 |
PRDC |
2010 |
DBLP BibTeX RDF |
|
1 | Hamid R. Zarandi, Mohammad Maghsoudloo, Navid Khoshavi |
Two Efficient Software Techniques to Detect and Correct Control-Flow Errors. |
PRDC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Costa 0002, João Gabriel Silva, Henrique Madeira |
Dependability Benchmarking Using Software Faults: How to Create Practical and Representative Faultloads. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Li Liu, Jishun Kuang, Huawei Li 0001 |
Small Delay Fault Simulation for Sequential Circuits. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Chin-Hsien Wu, Wen-Yen Chang, Zeng-Wei Hong |
A Reliable Non-volatile Memory System: Exploiting File-System Characteristics. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Quan Qian, Hongyi Che, Rui Zhang 0013 |
Entropy Based Method for Network Anomaly Detection. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sung-Jib Yim, Yoon-Hwa Choi |
Fault-Tolerant Event Detection Using Two Thresholds in Wireless Sensor Networks. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Sebastian, Rolf Ernst |
Reliability Analysis of Single Bus Communication with Real-Time Requirements. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Fernández Anta, Miguel A. Mosteiro, Christopher Thraves |
An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Goldschmidt, Andreas Dittrich, Miroslaw Malek |
Quantifying Criticality of Dependability-Related IT Organization Processes in CobiT. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Maria Couceiro, Paolo Romano 0002, Nuno Carvalho, Luís E. T. Rodrigues |
D2STM: Dependable Distributed Software Transactional Memory. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Shioya, Daewung Kim, Kazuo Horio, Masahiro Goshima, Shuichi Sakai |
Low-Overhead Architecture for Security Tag. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|