1 Table of Contents: “... Simulation Approach for Performance Validation during Embedded Systems Design -- Optimizing Automatic...”

2 Subjects: “...Computer simulation...”

3 Subjects: “...Computer simulation...”

4 Table of Contents: “...-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between...”

5 Table of Contents: “... architecture for verification, simulation, and testing -- Practical model-checking using games -- Combining...”

6 Table of Contents: “... for Multi-agent Systems -- 30 Years of Simulation-Based Quantitative Analysis Tools: a Comparison Experiment...”

7 Table of Contents: “... Production Systems (CPPS) -- Model-Based Systems Engineering for Systems Simulation -- Scenario-based...”

8 Table of Contents: “... Checking -- Quantitative risk assessment of safety-critical systems via guided simulation for rare events...”

9 Table of Contents: “... -- Use Cases for Simulation in the Development of Automated Driving Systems -- Simulation-based...”

10 Table of Contents: “... on telephony -- Convergence of telecommunications and computing on networking models for integrated services...”

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

12 Table of Contents: “... Driver Assistance Systems through a Combination of Simulation and Runtime Monitoring -- Enhancement...”