1 Table of Contents: “... in Uppaal for Test Case Generation for Cyber-Physical Systems -- A Literature Survey of Assertions...”

2 Table of Contents: “... Models and Perspectives for Security Testing.- Test-Case Design by Feature Trees.- Model-Based Static...”

3 Table of Contents: “... -- Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation -- Domain-Specific Code Generator...”

4 Table of Contents: “...Design and Verification of Systems with Exogenous Coordination Using Vereofy -- A Case Study...”

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

6 Table of Contents: “... Patterns and Refactoring -- A Component-Based Access Control Monitor -- Non-functional Requirements...”

7 Table of Contents: “... for Concurrency -- Formal Methods in Industrial Practice - bridging the gap (Track Summary) -- Model-based Testing...”

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

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

10 Table of Contents: “...Contract-Based Slicing -- Worst-Case Traversal Time (WCTT) -- Special Track on Worst Case Traversal...”

11 Table of Contents: “...A Model-Based Approach to Combining Static and Dynamic Verification Techniques -- Information flow...”

12 Table of Contents: “...-Based Approach -- Requirements Driven Data Warehouse Design: We Can Go Further -- On Implicit...”

13 Table of Contents: “...-Based Process-Aware System for Smart Devices -- WS-Engineer 2008 -- MetaCDN: Harnessing Storage Clouds...”

14 Table of Contents: “...Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains...”

15 Table of Contents: “... Integration in the Networked Healthcare.- Simple Modeling of Executable Role-Based Workflows: An Application...”

16 Table of Contents: “... testing in an industrial CI pipeline: a case-based evaluation --...”

17 Table of Contents: “...A construction and analysis tool based on the stochastic process algebra TIPP -- Uppaal in 1995...”

18 “... is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating...”