[Front cover]

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-x

Preface (PDF)

pp. xi

Organizing Committee (PDF)

pp. xii

Program Committee (PDF)

pp. xiii

Steering Committee (PDF)

pp. xiv

Sponsors (PDF)

pp. xv

Keynotes (PDF)

pp. xvi-xviii

Panel (PDF)

pp. xix-xx

A Testing Service for Lifelong Validation of Dynamic SOA (Abstract)

pp. 1-8

PDF

Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models (Abstract)

pp. 9-16

PDF

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis (Abstract)

pp. 17-24

PDF

Model Driven Validation of System Architectures (Abstract)

pp. 25-28

PDF

Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing (Abstract)

pp. 29-32

PDF

A Unifying Approach to Validating Specification-Oriented XML Constraints (Abstract)

pp. 33-40

PDF

An Event-B Interpretation for SPARDL Model (Abstract)

Bin Gu

pp. 41-48

PDF

A Behavioral Analysis Approach for Efficient Partial Order Reduction (Abstract)

pp. 49-56

PDF

Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services (Abstract)

Qian Wang

Huibiao Zhu

pp. 57-62

PDF

Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology (Abstract)

pp. 63-72

PDF

On High-Assurance Scientific Workflows (Abstract)

Mladen A. Vouk

Pierre A. Mouallem

pp. 73-82

PDF

Integrating Legacy Applications for High Availability: A Case Study (Abstract)

pp. 83-90

PDF

Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems (Abstract)

pp. 91-94

PDF

The OASIS Kernel: A Framework for High Dependability Real-Time Systems (Abstract)

pp. 95-103

PDF

Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems (Abstract)

pp. 104-111

PDF

Discriminatively Fortified Computing with Reconfigurable Digital Fabric (Abstract)

Mingjie Lin

Yu Bai

John Wawrzynek

pp. 112-119

PDF

Enumerating Software Failures to Build Dependable Distributed Applications (Abstract)

Ingrid Buckley

Eduardo B. Fernandez

pp. 120-123

PDF

Leader-Determined Membership Protocol (Abstract)

pp. 124-129

PDF

Reducing State Explosion with Context Modeling for Model-Checking (Abstract)

pp. 130-137

PDF

Guidelines for Formal Domain Modeling in Event-B (Abstract)

Atif Mashkoor

Jean-Pierre Jacquot

pp. 138-145

PDF

Patterns for Representing FMEA in Formal Specification of Control Systems (Abstract)

pp. 146-151

PDF

Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator (Abstract)

pp. 152-156

PDF

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective (Abstract)

Si Liu

Yongxin Zhao

Huibiao Zhu

Qin Li

pp. 157-162

PDF

A Real Time Window-Based Local Call Admission Control Algorithm for IP Networks (Abstract)

Sami S. Alwakeel

Shaker S. AlGhanmi

pp. 163-167

PDF

Anytime Available Single IP Address Cluster (Abstract)

Hajime Fujita

Yutaka Ishikawa

pp. 168-173

PDF

Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks (Abstract)

Fan Wei

pp. 174-175

PDF

A Security Modelling Framework for Systems of Embedded Components (Abstract)

Antonio Maña

Jose Fran. Ruiz

pp. 176-177

PDF

On the Relationship between Preprocessor-Based Software Variability and Software Defects (Abstract)

Kunming Nie

Li Zhang

pp. 178-179

PDF

Towards a Security Domain Model for Embedded Systems (Abstract)

Simin Nadjm-Tehrani

Maria Vasilevskaya

pp. 180-181

PDF

A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study (Abstract)

pp. 182-187

PDF

Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization (Abstract)

H. Assoudi

H. Lounis

pp. 188-190

PDF

Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services (Abstract)

Douglas Rodrigues

Daniel F. Pigatto

Júlio C. Estrella

Kalinka R.L.J.C. Branco

pp. 191-192

PDF

Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience (Abstract)

Mehrdad Sabetzadeh

Shiva Nejati

Lionel Briand

Anne-Heidi Evensen Mills

pp. 193-201

PDF

An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems (Abstract)

Chetan Mutha

Carol Smidts

pp. 202-211

PDF

Worst Case Temporal Consistency in Integrated Modular Avionics Systems (Abstract)

pp. 212-219

PDF

High-Assurance Reconfigurable Multicore Processor Based Systems (Abstract)

pp. 220-226

PDF

Ensemble Coordination for Discrete Event Control (Abstract)

John C. Sloan

Taghi M. Khoshgoftaar

pp. 227-235

PDF

Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability (Abstract)

Randall Wald

Taghi M. Khoshgoftaar

John C. Sloan

pp. 236-243

PDF

A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring (Abstract)

Janell Duhaney

Taghi M. Khoshgoftaar

pp. 244-251

PDF

Pierre-Philippe J. Beaujean

Smart Vibration Monitoring System for an Ocean Turbine (Abstract)

Mustapha Mjit

David J. Vendittis

pp. 252-260

PDF

An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing (Abstract)

Ricardo Paharsingh

Olivia Das

pp. 261-268

PDF

Efficient System Reliability with Correlated Component Failures (Abstract)

Lance Fiondella

Sanguthevar Rajasekaran

Swapna S. Gokhale

pp. 269-276

PDF

Benchmarking Embedded Software Development Project Performance (Abstract)

Michael F. Siok

Jeff Tian

pp. 277-284

PDF

Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process (Abstract)

pp. 285-290

PDF

Multi-layer Monitoring for Cloud Computing (Abstract)

pp. 291-298

PDF

Using Automated Control Charts for the Runtime Evaluation of QoS Attributes (Abstract)

pp. 299-306

PDF

VMDetector: A VMM-based Platform to Detect Hidden Process by Multi-view Comparison (Abstract)

Ying Wang

Chunming Hu

Bo Li

pp. 307-312

PDF

Validation of Object Recognition Framework on Android Mobile Platform (Abstract)

pp. 313-316

PDF

On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes (Abstract)

Aritra Bandyopadhyay

Sudipto Ghosh

pp. 317-324

PDF

GUI Software Fault Localization Using N-gram Analysis (Abstract)

Hai Hu

pp. 325-332

PDF

Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge (Abstract)

pp. 333-339

PDF

Bug Signature Minimization and Fusion (Abstract)

pp. 340-347

PDF

So Much to Learn from One Accident Crash of 737 on 25 February 2009 (Abstract)

Herbert Hecht

pp. 348-351

PDF

Effects of User Habituation in Keystroke Dynamics on Password Security Policy (Abstract)

pp. 352-359

PDF

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking (Abstract)

Tushar Deshpande

Panagiotis Katsaros

Stylianos Basagiannis

Scott A. Smolka

pp. 360-367

PDF

Transforming Privacy Policies to Auditing Specifications (Abstract)

Debmalya Biswas

Valtteri Niemi

pp. 368-375

PDF

Verification of Interoperability Security Policies by Model Checking (Abstract)

pp. 376-381

PDF

Author Index (PDF)

pp. 382-384

[Publishers information] (PDF)

pp. 386