Software Reliability and Evaluation

• 
  Toshio Kaneishi, Tadashi Dohi: Parametric Bootstrapping for Assessing Software Reliability Measures. 1-9
• 
  Xiao Xiao, Tadashi Dohi: Estimating Software Intensity Function via Multiscale Analysis and Its Application to Reliability Assessment. 10-19
• 
  Hiroyuki Okamura, Tadashi Dohi: Unification of Software Reliability Models Using Markovian Arrival Processes. 20-27
• 
  Jesus Friginal, David de Andrés, Juan Carlos Ruiz, Regina Moraes: Using Dependability Benchmarks to Support ISO/IEC SQuaRE. 28-37

Testing

• 
  Irith Pomeranz: Augmenting Functional Broadside Tests for Transition Fault Coverage with Bounded Switching Activity. 38-44
• 
  Irith Pomeranz: Generation of Mixed Broadside and Skewed-Load Diagnostic Test Sets for Transition Faults. 45-52
• 
  Xiao Zhang, Hans G. Kerkhoff: A Dependability Solution for Homogeneous MPSoCs. 53-62

Communications and Networks

• 
  Shun Tokuyama, Tatsuhiro Tsuchiya, Tohru Kikuno: Gossiping with Network Coding. 63-70
• 
  Shantanu Sharma, Awadhesh Kumar Singh: On Detecting Termination in Cognitive Radio Networks. 71-78
• 
  Maurice Sebastian, Philip Axer, Rolf Ernst: Utilizing Hidden Markov Models for Formal Reliability Analysis of Real-Time Communication Systems with Errors. 79-88

Memories

• 
  Horst Schirmeier, Jens Neuhalfen, Ingo Korb, Olaf Spinczyk, Michael Engel: RAMpage: Graceful Degradation Management for Memory Errors in Commodity Linux Servers. 89-98
• 
  Pedro Ruivo, Maria Couceiro, Paolo Romano, Luís Rodrigues: Exploiting Total Order Multicast in Weakly Consistent Transactional Caches. 99-108
• 
  Musfiq Rahman, Bruce R. Childers, Sangyeun Cho: COMeT: Continuous Online Memory Test. 109-118

Safety

• 
  Philippa Conmy, Iain Bate: Efficient Task Allocation to FPGAs in the Safety Critical Domain. 119-128
• 
  Chi-Shiang Cho, Wei-Ho Chung, Deyun Gao, Hongke Zhang, Sy-Yen Kuo: Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants. 129-134
• 
  Herbert Hecht: Dependability Improvement for Critical Systems. 135-143

Detection and Recovery

• 
  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. 144-153
• 
  Martin Drozda, Iain Bate, Jon Timmis: Bio-inspired Error Detection for Complex Systems. 154-163
• 
  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. 164-173

Security

• 
  Gabriel Salles-Loustau, Robin Berthier, Etienne Collange, Bertrand Sobesto, Michel Cukier: Characterizing Attackers and Attacks: An Empirical Study. 174-183
• 
  Robin Berthier, William H. Sanders: Specification-Based Intrusion Detection for Advanced Metering Infrastructures. 184-193
• 
  Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaâniche, Vincent Nicomette: A Clustering Approach for Web Vulnerabilities Detection. 194-203

Virtualization and Analysis of Systems

• 
  Balazs Gerofi, Yutaka Ishikawa: Workload Adaptive Checkpoint Scheduling of Virtual Machine Replication. 204-213
• 
  Michael Le, Israel Hsu, Yuval Tamir: Resilient Virtual Clusters. 214-223
• 
  Kishor S. Trivedi, Rajesh K. Mansharamani, Dong Seong Kim, Michael Grottke, Manoj Nambiar: Recovery from Failures Due to Mandelbugs in IT Systems. 224-233
• 
  Koichi Bando, Kenji Tanaka: Trend Analyses of Accidents and Dependability Improvement in Financial Information Systems. 234-243

Processors and Hardware

• 
  Wilfried Steiner, Bruno Dutertre: Layered Diagnosis and Clock-Rate Correction for the TTEthernet Clock Synchronization Protocol. 244-253
• 
  Mahyar R. Malekpour: A Self-Stabilizing Synchronization Protocol for Arbitrary Digraphs: A Self-Stabilizing Distributed Clock Synchronization Protocol For Arbitrary Digraphs. 254-263
• 
  Masayuki Arai, Kazuhiko Iwasaki: Area-Per-Yield and Defect Level of Cascaded TMR for Pipelined Processors. 264-271

Fast Abstracts

• 
  G. Robert Redinbo: Correcting DFT Codes with Modified Berlekamp-Massey Algorithm and Syndrome Extension. 272-273
• 
  Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach: Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. 274-275
• 
  Jie Xiao, Jianhui Jiang, Xuguang Zhu, Chengtian Ouyang: A Method of Gate-Level Circuit Reliability Estimation Based on Iterative PTM Model. 276-277
• 
  Mihai Florian: A Framework for Systematic Testing of Multi-threaded Applications. 278-279
• 
  Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann: Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. 280-281
• 
  Domitian Tamas-Selicean, Paul Pop: Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems. 282-283
• 
  Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk: Revisiting Fault-Injection Experiment-Platform Architectures. 284-285
• 
  József Sziray: Test Generation and Computational Complexity. 286-287
• 
  Songlin Yang, Ning Yu, Feng Zhu, Huilei Li: One Optimization Method on the Navigation Performance Reliability of Planing Craft. 288-289
• 
  Christoph Kuznik, Wolfgang Müller: Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. 290-291
• 
  József Sziray: A Test Model for Hardware and Software. 292-293
• 
  Matthias Güdemann, Michael Lipaczewski, Frank Ortmeier: Tool Supported Model-Based Safety Analysis and Optimization. 294-295

Industry Track

• 
  Takaji Fujiwara, Mitsuhiro Kimura, Yoshinobu Satoh, Shigeru Yamada: A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software. 296-301
• 
  Aniello Napolitano, Gabriella Carrozza, Antonio Bovenzi, Christian Esposito: Automatic Robustness Assessment of DDS-Compliant Middleware. 302-307
• 
  Laura L. Pullum, Christopher T. Symons: Failure Analysis of a Complex Learning Framework Incorporating Multi-modal and Semi-supervised Learning. 308-313
• 
  Shih-Yao Dai, Fyodor Yarochkin, Sy-Yen Kuo, Ming-Wei Wu, Yennun Huang: Malware Profiler Based on Innovative Behavior-Awareness Technique. 314-319
• 
  Kam S. Tso, Michael J. Pajevski, Bryan Johnson: Access Control of Web and Java Based Applications. 320-325

last updated on Mon May 20 02:32:55 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page