[Front cover] (PDF)

Title Page i (PDF)

Title Page iii (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Preface (PDF)

Organizing Committee (PDF)

Program Committee (PDF)

Steering Committee (PDF)

Sponsors (PDF)

Keynotes (PDF)

Panel (PDF)

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

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

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

Model Driven Validation of System Architectures (Abstract)

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

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

An Event-B Interpretation for SPARDL Model (Abstract)

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

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

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

On High-Assurance Scientific Workflows (Abstract)

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

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

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

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

Discriminatively Fortified Computing with Reconfigurable Digital Fabric (Abstract)

Enumerating Software Failures to Build Dependable Distributed Applications (Abstract)

Leader-Determined Membership Protocol (Abstract)

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

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

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

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

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

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

Anytime Available Single IP Address Cluster (Abstract)

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

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

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

Towards a Security Domain Model for Embedded Systems (Abstract)

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)

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

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

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

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

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

High-Assurance Reconfigurable Multicore Processor Based Systems (Abstract)

Ensemble Coordination for Discrete Event Control (Abstract)

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

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

Smart Vibration Monitoring System for an Ocean Turbine (Abstract)

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

Efficient System Reliability with Correlated Component Failures (Abstract)

Benchmarking Embedded Software Development Project Performance (Abstract)

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

Multi-layer Monitoring for Cloud Computing (Abstract)

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

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

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

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

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

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

Bug Signature Minimization and Fusion (Abstract)

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

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

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

Transforming Privacy Policies to Auditing Specifications (Abstract)

Verification of Interoperability Security Policies by Model Checking (Abstract)

Author Index (PDF)

[Publishers information] (PDF)