Cover Art (PDF)

Title Page i (PDF)

Title Page iii (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Message from the General Chairs (PDF)

Message from the Program Chairs (PDF)

Organizing Committee (PDF)

Program Committee (PDF)

Additional reviewers (PDF)

Steering Committee (PDF)

Using Attack Surface Entry Points and Reachability Analysis to Assess the Risk of Software Vulnerability Exploitability (Abstract)

Leveraging Variations in Event Sequences in Keystroke-Dynamics Authentication Systems (Abstract)

A Model-Based Intrusion Detection System for Smart Meters (Abstract)

Evaluating Distortion in Fault Injection Experiments (Abstract)

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes (Abstract)

ArCMAPE: A Software Product Line Infrastructure to Support Fault-Tolerant Composite Services (Abstract)

Fail-Safe Test Generation in Safety Critical Systems (Abstract)

Making an ALARP Decision of Sufficient Testing (Abstract)

Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples (Abstract)

Modeling and Verification of Humanoid Robot Task Coordination (Abstract)

Temporal Verification of Simulink Diagrams (Abstract)

Proving the Fidelity of Simulations of Event-B Models (Abstract)

A Novel Framework of Software Reliability Evaluation with Software Reliability Growth Models and Software Metrics (Abstract)

Towards Comprehensive Modeling of Reliability for Smart Grids: Requirements and Challenges (Abstract)

An Empirical Failure-Analysis of a Large-Scale Cloud Computing Environment (Abstract)

Assuring Safety for Component Based Software Engineering (Abstract)

Analysis of Critical Systems Certification (Abstract)

Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function (Abstract)

Policy-Driven High Assurance Cyber Infrastructure-Based Systems (Abstract)

Autonomous Decentralized High-Assurance Surveillance System for Air Traffic Control (Abstract)

Mobile Testing-as-a-Service (MTaaS) -- Infrastructures, Issues, Solutions and Needs (Abstract)

UML-Based Modeling of Robustness Testing (Abstract)

Testing of Memory Leak in Android Applications (Abstract)

Trade-Off Analysis for Selective versus Brute-Force Regression Testing in FSMWeb (Abstract)

Hardware Implementation of Secure Shamir's Secret Sharing Scheme (Abstract)

Security Driven Requirements Refinement and Exploration of Architecture with Multiple NFR Points of View (Abstract)

Clicksafe: Providing Security against Clickjacking Attacks (Abstract)

Proactive Model-Based Performance Analysis and Security Tradeoffs in a Complex System (Abstract)

On the Need for Training Failure Prediction Algorithms in Evolving Software Systems (Abstract)

Adaptive Testing of Nondeterministic Systems with FSM (Abstract)

Verifying the Precedence Property Pattern Using the B Method (Abstract)

Using Flash to Tolerate Track Failures in RAID (Abstract)

PriDaC: Privacy Preserving Data Collection in Sensor Enabled RFID Based Healthcare Services (Abstract)

Recommender Systems for Privacy Management: A Framework (Abstract)

On the Nature and Content of Safety Contracts (Abstract)

Functional Alarms for Systems of Interoperable Medical Devices (Abstract)

Inferring Approximated Models for Systems Engineering (Abstract)

Zero-Knowledge Evaluation of Service Performance Based on Simulation (Abstract)

Ordering Upgrade Changes for Highly Available Component Based Systems (Abstract)

Modeling the Interaction of Power Line and SCADA Networks (Abstract)

Author index (PDF)

[Publisher's information] (PDF)