[Back cover] (PDF)

[Title page i] (PDF)

[Title page iii] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Preface (PDF)

Committees (PDF)

Program Committee (PDF)

Diagnostic Fusion for Time-Triggered Automotive Networks (Abstract)

Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case (Abstract)

GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios (Abstract)

IDAMC: A Many-Core Platform with Run-Time Monitoring for Mixed-Criticality (Abstract)

Real-Time Anomaly Detection in Streams of Execution Traces (Abstract)

Information-Theoretic Detection of SQL Injection Attacks (Abstract)

A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures (Abstract)

An Autonomic Reliability Improvement System for Cyber-Physical Systems (Abstract)

Visual model-driven design, verification and implementation of security protocols (Abstract)

Device Mechanism: A Structured Device Driver Development Approach (Abstract)

Automated Duplicate Bug Report Classification Using Subsequence Matching (Abstract)

Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines (Abstract)

Exception Handling Defects: An Empirical Study (Abstract)

Using Stochastic Model Checking to Provision Complex Business Services (Abstract)

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing (Abstract)

A Framework for Generating Integrated Component Fault Trees from Architectural Views (Abstract)

Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System (Abstract)

Automated Verification of AADL-Specifications Using UPPAAL (Abstract)

Evaluating the Dependability of Dynamic Binding in Web Services (Abstract)

Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System (Abstract)

A MDA-based Approach for Developing Simulation-Oriented Combat Flows (Abstract)

Using Tool-Supported Model Based Safety Analysis -- Progress and Experiences in SAML Development (Abstract)

Proving the Absence Property Pattern Using the B Method (Abstract)

Fast Abstract: Software Selection Based on Quantitative Security Risk Assessment (Abstract)

Communication Efficient Oblivious Transfer Using Elliptic Curves (Abstract)

Certifying Services in Cloud: The Case for a Hybrid, Incremental and Multi-layer Approach (Abstract)

Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec (Abstract)

Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis (Abstract)

Model Checking Software Architecture Design (Abstract)

Multi-objective Optimization of Formal Specifications (Abstract)

How to Reduce the Cost of Passive Testing (Abstract)

Author index (PDF)

[Publisher's information] (PDF)