[Cover art]

[Title page i] (PDF)

pp. i

[Title page iii] (PDF)

pp. iii

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-viii

Message from General Chair (PDF)

pp. ix

Message from Program Co-chairs (PDF)

pp. x

Organizing Committee (PDF)

pp. xi

Program Committee (PDF)

pp. xii-xiv

Reviewers (PDF)

pp. xv-xvii

Non-intrusive Repair of Reactive Programs (Abstract)

pp. 3-12

PDF

Bridging the Gap between User Requirements and Configuration Requirements (Abstract)

pp. 13-22

PDF

An Experimental Study on Collaborative Filtering for Requirements Engineering (Abstract)

Fabio Roda

pp. 23-28

PDF

Analysis of Use Case Requirements Using SFTA and SFMEA Techniques (Abstract)

Saurabh Tiwari

Santosh Singh Rathore

pp. 29-38

PDF

Control Systems: Phenomena and Structuring Functional Requirement Documents (Abstract)

Sanaz Yeganefard

Michael Butler

pp. 39-48

PDF

Improving Hardware Reuse through XML-based Interface Encapsulation (Abstract)

Miguel A. S'nchez

Marisa Lopez-Vallejo

Carlos A. Iglesias

Carlos A. Lopez-Barrio

pp. 49-56

PDF

Models and Methodology for Automated Business Continuity Analysis (Abstract)

pp. 57-64

PDF

Design Patterns for Rule-Based Refinement of Safety Critical Embedded Systems Models (Abstract)

pp. 67-76

PDF

Merging UML2 Composite Structures of Software Product Lines (Abstract)

pp. 77-85

PDF

Systematic Scenario-Based Analysis of UML Design Class Models (Abstract)

pp. 86-95

PDF

Performance Analysis of Data Gathering Protocol Using PRISM (Abstract)

Kang He

pp. 96-105

PDF

An Interaction-Driven Approach to Identifying Functional Behaviors of Service Robot Systems (Abstract)

pp. 109-118

PDF

Adaptive Majority-Based Re-routing for Differentiated Reliability in Wireless Sensor Networks (Abstract)

Ali Naderi

Sayyed Majid Mazinani

pp. 119-124

PDF

Dhara: A Service Abstraction-Based OS Kernel Design Model (Abstract)

Dharanipragada Janakiram

Hemang Mehta

S.J. Balaji

pp. 127-136

PDF

Spatio-temporal UML Statechart for Cyber-Physical Systems (Abstract)

pp. 137-146

PDF

A Deep Investigation for QoS-based Feedback at Design Time and Runtime (Abstract)

Raffaela Mirandola

Catia Trubiani

pp. 147-156

PDF

Self-Explanation in Adaptive Systems (Abstract)

pp. 157-166

PDF

Formal Analysis of Pervasive Computing Systems (Abstract)

Yan Liu

Jun Sun

pp. 169-178

PDF

P/S-CoM+: A Formal Approach to Design Correct Publish/Subscribe Architectural Styles (Abstract)

pp. 179-188

PDF

A Case Study in Formal System Engineering with SysML (Abstract)

pp. 189-198

PDF

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal (Abstract)

pp. 199-208

PDF

xBIL -- A Hardware Resource Oriented Binary Intermediate Language (Abstract)

Xin Ye

pp. 211-219

PDF

Efficient Algorithms for T-way Test Sequence Generation (Abstract)

Yu Lei

pp. 220-229

PDF

Marie-Agnes Peraldi-Frati

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2 (Abstract)

pp. 230-239

PDF

Translating PDDL into CSP# - The PAT Approach (Abstract)

Yi Li

Jing Sun

Jin Song Dong

Yang Liu

Jun Sun

pp. 240-249

PDF

Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (Abstract)

Jun Sun

pp. 253-262

PDF

A Design by Contract Approach to Verify Access Control Policies (Abstract)

Hakim Ferrier-Belhaouari

pp. 263-272

PDF

Control System with High Robust Stability Characteristics Based on Catastrophe Function (Abstract)

pp. 273-279

PDF

A Control Theoretic Approach for Workflow Management (Abstract)

Hashem Ali Ghazzawi

Iain Bate

Leandro Soares Indrusiak

pp. 280-289

PDF

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System (Abstract)

pp. 293-301

PDF

An Energy-Efficient Real-Time Routing Protocol for Differentiated Data in Wireless Sensor Networks (Abstract)

Sayyed Majid Mazinani

pp. 302-307

PDF

Self-Calibration: Enabling Self-Management in Autonomous Systems by Preserving Model Fidelity (Abstract)

pp. 308-317

PDF

Ernest Xavier Lobo Mithun

VPDSL: A DSL for Software in the Loop Simulations Covering Material Flow (Abstract)

pp. 318-327

PDF

ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT (Abstract)

pp. 328-337

PDF

Reasoning About Adaptivity of Agents and Multi-agent Systems (Abstract)

pp. 341-350

PDF

Extending and Evaluating Agent-Based Models of Algorithmic Trading Strategies (Abstract)

Natalia Ponomareva

Anisoara Calinescu

pp. 351-360

PDF

SMURF: Supporting Multi-tenancy Using Re-aspects Framework (Abstract)

pp. 361-370

PDF

Author index (PDF)

pp. 371-372

[Publisher's information] (PDF)

pp. 374