[Title page i] (PDF)

[Title page iii] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Preface (PDF)

Organizing Committee (PDF)

Program Committee (PDF)

Additional Reviewers (PDF)

Keynotes (PDF)

From TiMo to Event-B: Event-Driven Timed Mobility (Abstract)

Symbolic Analysis of an Electric Vehicle Charging Protocol (Abstract)

An Extended UML Method for the Verification of Security Protocols (Abstract)

DroidVault: A Trusted Data Vault for Android Devices (Abstract)

Automatic Defect Categorization Based on Fault Triggering Conditions (Abstract)

Understanding Complex Binary Loading Behaviors (Abstract)

Design and Analysis of Security Attacks against Critical Smart Grid Infrastructures (Abstract)

An Adaptive Auto-configuration Tool for Hadoop (Abstract)

QScheduler: A Tool for Parallel Query Processing in Database Systems (Abstract)

Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study (Abstract)

A Reference Framework for the Automated Exploration of Web Applications (Abstract)

A Thread Behavior-Based Memory Management Framework on Multi-core Smartphone (Abstract)

Evolving Commitments for Self-Adaptive Socio-technical Systems (Abstract)

Clause Replication and Reuse in Incremental Temporal Induction (Abstract)

Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL (Abstract)

Automatic Fine-Grained Issue Report Reclassification (Abstract)

How Do Open Source Communities Document Software Architecture: An Exploratory Survey (Abstract)

Behavior Gaps and Relations between Operating System and Applications on Accessing DRAM (Abstract)

OOPN-SRAM: A Novel Method for Software Risk Assessment (Abstract)

SQLR: Grammar-Guided Validation of SQL Injection Sanitizers (Abstract)

A Trace-Based JIT Compilation Framework for XQuery (Abstract)

Exact and Efficient Temporal Steering of Software Behavioral Model Inference (Abstract)

A Refinement Calculus for Hybrid Systems (Abstract)

Knowledge Base Construction Process for Smart-City Services (Abstract)

A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness (Abstract)

A Behavior-Aware Systematic Approach for Merging Business Process Fragments (Abstract)

An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS (Abstract)

Model Checking Rate-Monotonic Scheduler with TMSVL (Abstract)

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks (Abstract)

Author index (PDF)

[Publisher's information] (PDF)