PRDC C

47 papers

YearTitle / Authors
201117th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011
Leon Alkalai, Timothy Tsai, Tomohiro Yoneda
2011A Clustering Approach for Web Vulnerabilities Detection.
Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette
2011A Dependability Solution for Homogeneous MPSoCs.
Xiao Zhang, Hans G. Kerkhoff
2011A Framework for Systematic Testing of Multi-threaded Applications.
Mihai Florian
2011A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software.
Takaji Fujiwara, Mitsuhiro Kimura, Yoshinobu Satoh, Shigeru Yamada
2011A Method of Gate-Level Circuit Reliability Estimation Based on Iterative PTM Model.
Jie Xiao, Jianhui Jiang, Xuguang Zhu, Chengtian Ouyang
2011A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs: A Self-Stabilizing Distributed Clock Synchronization Protocol For Arbitrary Digraphs.
Mahyar R. Malekpour
2011A Test Model for Hardware and Software.
József Sziray
2011Access Control of Web and Java Based Applications.
Kam S. Tso, Michael J. Pajevski, Bryan Johnson
2011Area-Per-Yield and Defect Level of Cascaded TMR for Pipelined Processors.
Masayuki Arai, Kazuhiko Iwasaki
2011Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity.
Irith Pomeranz
2011Automatic Robustness Assessment of DDS-Compliant Middleware.
Aniello Napolitano, Gabriella Carrozza, Antonio Bovenzi, Christian Esposito
2011Bio-inspired Error Detection for Complex Systems.
Martin Drozda, Iain Bate, Jon Timmis
2011COMeT: Continuous Online Memory Test.
Musfiq Rahman, Bruce R. Childers, Sangyeun Cho
2011Characterizing Attackers and Attacks: An Empirical Study.
Gabriel Salles-Loustau, Robin Berthier, Etienne Collange, Bertrand Sobesto, Michel Cukier
2011Correcting DFT Codes with Modified Berlekamp-Massey Algorithm and Syndrome Extension.
G. Robert Redinbo
2011Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants.
Chi-Shiang Cho, Wei-Ho Chung, Deyun Gao, Hongke Zhang, Sy-Yen Kuo
2011Dependability Improvement for Critical Systems.
Herbert Hecht
2011Efficient Task Allocation to FPGAs in the Safety Critical Domain.
Philippa Conmy, Iain Bate
2011Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment.
Xiao Xiao, Tadashi Dohi
2011Exploiting Total Order Multicast in Weakly Consistent Transactional Caches.
Pedro Ruivo, Maria Couceiro, Paolo Romano, Luís E. T. Rodrigues
2011Failure Analysis of a Complex Learning Framework Incorporating Multi-modal and Semi-supervised Learning.
Laura L. Pullum, Christopher T. Symons
2011Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults.
Irith Pomeranz
2011Gossiping with Network Coding.
Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno
2011Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol.
Wilfried Steiner, Bruno Dutertre
2011Malware Profiler Based on Innovative Behavior-Awareness Technique.
Shih-Yao Dai, Fyodor Yarochkin, Sy-Yen Kuo, Ming-Wei Wu, Yennun Huang
2011Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems.
Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
2011Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.
Christoph Kuznik, Wolfgang Müller
2011Numerical Defect Correction as an Algorithm-Based Fault Tolerance Technique for Iterative Solvers.
Fabian Oboril, Mehdi Baradaran Tahoori, Vincent Heuveline, Dimitar Lukarski, Jan-Philipp Weiss
2011On Detecting Termination in Cognitive Radio Networks.
Shantanu Sharma, Awadhesh Kumar Singh
2011One Optimization Method on the Navigation Performance Reliability of Planing Craft.
Songlin Yang, Ning Yu, Feng Zhu, Huilei Li
2011Parametric Bootstrapping for Assessing Software Reliability Measures.
Toshio Kaneishi, Tadashi Dohi
2011RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers.
Horst Schirmeier, Jens Neuhalfen, Ingo Korb, Olaf Spinczyk, Michael Engel
2011Recovery from Failures Due to Mandelbugs in IT Systems.
Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar
2011Resilient Virtual Clusters.
Michael Le, Israel Hsu, Yuval Tamir
2011Revisiting Fault-Injection Experiment-Platform Architectures.
Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk
2011Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.
A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
2011Specification-Based Intrusion Detection for Advanced Metering Infrastructures.
Robin Berthier, William H. Sanders
2011Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems.
Domitian Tamas-Selicean, Paul Pop
2011Test Generation and Computational Complexity.
József Sziray
2011Tool Supported Model-Based Safety Analysis and Optimization.
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier
2011Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities.
Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach
2011Trend Analyses of Accidents and Dependability Improvement in Financial Information Systems.
Koichi Bando, Kenji Tanaka
2011Unification of Software Reliability Models Using Markovian Arrival Processes.
Hiroyuki Okamura, Tadashi Dohi
2011Using Dependability Benchmarks to Support ISO/IEC SQuaRE.
Jesus Friginal, David de Andrés, Juan-Carlos Ruiz-Garcia, Regina Moraes
2011Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors.
Maurice Sebastian, Philip Axer, Rolf Ernst
2011Workload Adaptive Checkpoint Scheduling of Virtual Machine Replication.
Balazs Gerofi, Yutaka Ishikawa