1 Table of Contents: “..., Reliable Systems Using Scade -- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time...”

2 Table of Contents: “...Reliable Smart Contracts - Track Introduction -- Functional Verification of Smart Contracts via...”

3 Table of Contents: “... Robotics Applications with X-Klaim -- Measuring Adaptability and Reliability of Large Scaled Systems...”

4 Table of Contents: “... Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications...”

5 Table of Contents: “... Adoption of Formal Methods -- Reliable Smart Contracts: State-of-the-art, Applications, Challenges...”

6 Table of Contents: “... for ensuring reliable on-demand services in collective adaptive systems -- Data-driven modelling and simulation...”

7 Table of Contents: “... -- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model...”

8 “...; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts...”

9 “...; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art...”

10 “...; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art...”

11 “...; Rigorous Engineering of Collective Adaptive Systems. Part III, Applications: Reliable Smart Contracts:State...”