Fault Tolerance

• 
  Marin Bertier, Achour Mostéfaoui, Gilles Trédan: Low-Cost Secret-Sharing in Sensor Networks. 1-9
• 
  Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung: EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. 10-19
• 
  Frantz Iwu: Scalable Fualt Detection for FPGAs. 20-25

Reliability/Availability Modeling

• 
  Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse: Predicting Faults in High Assurance Software. 26-34
• 
  Pejman Salehi, Abdelwahab Hamou-Lhadj, Pietro Colombo, Ferhat Khendek, Maria Toeroe: A UML-Based Domain Specific Modeling Language for the Availability Management Framework. 35-44
• 
  Salvatore Distefano, Francesco Longo, Marco Scarpa: Symbolic Representation Techniques in Dynamic Reliability Evaluation. 45-53

Testing

• 
  Richard H. Carver, Jeff Lei: A Stateful Approach to Testing Monitors in Multithreaded Programs. 54-63
• 
  Fadi Wedyan, Sudipto Ghosh: A Dataflow Testing Approach for Aspect-Oriented Programs. 64-73
• 
  Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. 74-83

Case Studies

• 
  Marco Gribaudo, Anne Remke: Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. 84-93
• 
  Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka: Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. 94-103
• 
  Jérémie Guiochet, Damien Martin-Guillerez, David Powell: Experience with Model-Based User-Centered Risk Assessment for Service Robots. 104-113

Formal Methods

• 
  Franck Barbier, Cyril Ballagny: Proved Metamodels as Backbone for Software Adaptation. 114-121
• 
  Yunja Choi, Hoon Jang: Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. 122-131
• 
  Matthias Güdemann, Frank Ortmeier: A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. 132-141

Information and System Assurance

• 
  Shige Wang: Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional Design. 142-151
• 
  Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani: Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. 152-161

Fast Abstracts

• 
  Bo Zhou, Hiroyuki Okamura, Tadashi Dohi: Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods. 162-163
• 
  Cobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy: Architecture-Based Reliability Modeling of Web Services Using Petri Nets. 164-165
• 
  Luca Pazzi, Matteo Interlandi, Marco Pradelli: Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. 166-167
• 
  Cuauhtemoc Munoz, Steve Roach: Automated Testing of LTL Formula Generation by Prospec. 168-169
• 
  Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa: A Dependability Case Editor with Pattern Library. 170-171

last updated on Wed May 22 04:30:41 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page