[Front cover]

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-viii

Preface (PDF)

pp. ix

Committees (PDF)

pp. x-xii

Reviewers (PDF)

pp. xiii-xiv

Temporal Abstract Domains (Abstract)

Julien Bertrane

pp. 3-12

PDF

WCET Analysis of Component-Based Systems Using Timing Traces (Abstract)

Adam Betts

Amine Marref

pp. 13-22

PDF

Memory Positioning of Real-Time Code for Smaller Worst-Case Execution Times (Abstract)

Amine Marref

Adam Betts

pp. 23-32

PDF

Tighter Schedulability Analysis of Synchronization Protocols Based on Overrun without Payback for Hierarchical Scheduling Frameworks (Abstract)

pp. 35-44

PDF

A Model-Driven Framework for the Development of Portable Real-Time Embedded Systems (Abstract)

pp. 45-54

PDF

Timed Circus: Timed CSP with the Miracle (Abstract)

Kun Wei

Jim Woodcock

Alan Burns

pp. 55-64

PDF

Verification of MARTE/CCSL Time Requirements in Promela/SPIN (Abstract)

pp. 65-74

PDF

Modeling Variability from Requirements to Runtime (Abstract)

pp. 77-86

PDF

Formal Model of Interrupt Program from a Probabilistic Perspective (Abstract)

Yongxin Zhao

Yanhong Huang

Jifeng He

Si Liu

pp. 87-94

PDF

Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications (Abstract)

Sylvain Hallé

pp. 95-104

PDF

Marcos Aurélio Almeida da Silva

A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams (Abstract)

Tewfik Ziadi

Lom Messan Hillah

Mikal Ziane

pp. 107-116

PDF

Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models (Abstract)

pp. 117-126

PDF

Required Behavior of Sequence Diagrams: Semantics and Refinement (Abstract)

Lunjin Lu

Dae-Kyoo Kim

pp. 127-136

PDF

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification (Abstract)

pp. 139-148

PDF

Modelling and Analysing Standard Use within System of Systems (Abstract)

Russell Lock

pp. 149-156

PDF

Towards a MDE Transformation Workflow for Dependability Analysis (Abstract)

pp. 157-166

PDF

Tailoring Process Synthesis to Domain Characteristics (Abstract)

pp. 167-175

PDF

A Component-Oriented Metamodel for the Modernization of Software Applications (Abstract)

Luciano Baresi

Matteo Miraz

pp. 179-187

PDF

A Formal Approach to Model Composition Applied to VUML (Abstract)

pp. 188-197

PDF

Leveraging Service-Orientation for Combining Code Generation Frameworks (Abstract)

Sven Jörges

Bernhard Steffen

pp. 198-207

PDF

A Software Requirements Specification Framework for Objective Pattern Recognition: A Set-Theoretic Classification Approach (Abstract)

pp. 211-220

PDF

A Novel Approach Based on Gestalt Psychology for Abstracting the Content of Large Execution Traces for Program Comprehension (Abstract)

Heidar Pirzadeh

Abdelwahab Hamou-Lhadj

pp. 221-230

PDF

Towards Succinctness in Mining Scenario-Based Specifications (Abstract)

David Lo

Shahar Maoz

pp. 231-240

PDF

Modeling and Coordinating Social Interactions in Pervasive Environments (Abstract)

Muhammad Ashad Kabir

Jun Han

Alan Colman

pp. 243-252

PDF

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory (Abstract)

pp. 253-262

PDF

LIPS: A Protocol Suite for Homeostatic Sensornet Management (Abstract)

Jonathan Tate

Iain Bate

pp. 263-272

PDF

Computational Social Network Management in Crowdsourcing Environments (Abstract)

pp. 273-282

PDF

Parallelism Viewpoint: A Viewpoint to Model Parallelism in Parallelism-Intensive Software Systems (Abstract)

pp. 285-294

PDF

Analyzing and Forecasting Near-Miss Clones in Evolving Software: An Empirical Study (Abstract)

pp. 295-304

PDF

On the Impact of Kanban on Software Project Work: An Empirical Case Study Investigation (Abstract)

pp. 305-314

PDF

An Efficient Modeling and Execution Framework for Complex Systems Development (Abstract)

Isabelle Perseil

Laurent Pautet

Jean-François Rolland

pp. 317-331

PDF

An Implementation of the Behavior Annex in the AADL-Toolset Osate2 (Abstract)

pp. 332-337

PDF

Modeling and Verification of Memory Architectures with AADL and REAL (Abstract)

pp. 338-343

PDF

Two Formal Semantics of a Subset of the AADL (Abstract)

Kai Hu

Lei Pi

pp. 344-349

PDF

Requirements Exchange: From Specification Documents to Models (Abstract)

pp. 350-354

PDF

ABV - A Verifier for the Architecture Analysis and Design Language (AADL) (Abstract)

pp. 355-360

PDF

A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex (Abstract)

pp. 361-366

PDF

Integrating AADL-Based Tool Chain into Existing Industrial Processes (Abstract)

pp. 367-371

PDF

Author Index (PDF)

pp. 372-373

[Publishers information] (PDF)

pp. 374