1 Subjects: “...Computer systems...”

2 Table of Contents: “... Related to TACAS -- The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation...”

3 Table of Contents: “... -- Encouraging the Uptake of Formal Methods Training in an Industrial Context -- Computer-Supported Collaborative...”

4 Subjects: “...Computer systems...”

5 Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”

6 Table of Contents: “...Measuring and Evaluating the Performance of Self-Organization Mechanisms within Collective Adaptive...”

7 Table of Contents: “... Adding Variety to Simplicity -- Fun with Bitcoin smart contracts -- Computing Exact Worst-Case Gas...”

8 Subjects: “...Computer Communication Networks...”

9 Subjects: “...Computer science...”

10 Table of Contents: “... Languages -- Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering...”

11 Subjects: “...Computer systems...”

12 Subjects: “...Compilers (Computer programs)...”

13 Table of Contents: “... for the Efficient Verification of Parametric MDPs -- JANI: Quantitative Model and Tool Interaction -- Computing...”

14 Table of Contents: “... in Finite State Space Computations --...”

15 Table of Contents: “... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”

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

17 Subjects: “...Compilers (Computer programs)...”

18 Table of Contents: “... COmputing in Future RAILway Systems -- Industrial Day...”

19 Table of Contents: “... Software Process Improvement Using Systems Modular Analysis -- Organizing Improvement Work: A Longitudinal...”