1 Table of Contents: “... and Verification for Connected Systems -- Towards a Connector Algebra -- Certification of Software-Driven Medical...”

2 Table of Contents: “... Systems: A Unifying Perspective.- Formal Methods in Avionic Software Certification: The DO-178C...”

3 Table of Contents: “... and Programming -- Formal Methods and Safety Certification: Challenges in the Railways Domain -- On the Use...”

4 Table of Contents: “... Evidence-Based Continuous Certification -- Forming Ensembles at Runtime: A Machine Learning Approach...”

5 “... initiative that provides a public evaluation and certification of multiple frameworks on common industrially...”

6 Table of Contents: “... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”

7 “... unified view of modeling and programming; formal methods and safety certification: challenges...”

8 “... for the developent and certification of X-by-wire control systems, quantitative modelling and analysis, software...”

9 Table of Contents: “... Introduction) -- A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection -- A...”

10 Table of Contents: “... Identification for Energy-Aware Management of Web Service Systems -- LASS – License Aware Service Selection...”