1 Table of Contents: “... Catalog: A Simplified Approach to Describing, Discovering and Composing Situational Enterprise Services...”

2 Table of Contents: “... Checking Using Boolean Expression Diagrams -- A Library for Composite Symbolic Representations -- Infinite...”

3 Table of Contents: “... Workflow Composition -- Toolsin Scientific Workflow Composition -- Workflows for Metabolic Flux Analysis...”

4 Table of Contents: “... to the 3rd Track Edition -- Composition of Component Models - a Key to Construct Big Systems -- Degrees...”

5 Table of Contents: “...Varying Compositions.- An Object Group-Based Component Model.- Automated Inference of Models...”

6 Table of Contents: “... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”

7 Table of Contents: “... Protocol using FDR -- Automatic compositional verification of some Security properties -- Permutable agents...”

8 Table of Contents: “... Properties by Self-Composition -- autoCode4: Structural Controller Synthesis -- Automata -- Lazy Automata...”

9 Table of Contents: “...-based Environment Modeling -- Formally Proving Compositionality in Industrial Systems with Informal...”

10 Table of Contents: “... composition of rough solution possibilities in the target planning of factory planning projects by means...”

11 Table of Contents: “... by Compositional Model Checking -- Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point...”

12 Table of Contents: “...: an Online Modeling Environment for No-Code Data-Analytics Service Composition -- Integrating External...”

13 Table of Contents: “... -- Compositional Model-Based System Design as a Foundation for Mastering Change -- Managing Change in Formal...”

14 Table of Contents: “... Patterns -- Medical Cyber-Physical Systems (Track Introduction) -- Compositional, Approximate...”

15 Table of Contents: “... of Static Checking in the Verification of Interlocking systems -- Compositional Verification of Multi...”

16 Table of Contents: “...-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic...”

17 Table of Contents: “... of Formal Methods -- Composition of Web Services Using Wrappers...”

18 “... and compositional verification, construction techniques, analysis and verification via theorem proving, process...”

19 Table of Contents: “...Who Carries the Burden of Modularity? -- On Testing Message-Passing Components -- Composing...”

20 “... I, Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction...”