1 Table of Contents: “... generation with inputs, outputs, and quiescence -- Breaking and fixing the Needham-Schroeder Public-Key...”

2 Table of Contents: “...-Sports: The Challenge of Small Margin Healthcare Accounting.- Timing Constraints: Theory Meets Practice...”

3 Table of Contents: “... Minimal Deterministic Automata from Inexperienced Teachers.- Model Learning and Test Generation for Event...”

4 Table of Contents: “... for deadlock -- A front-end generator for verification tools -- Analytic and locally approximate solutions...”

5 Table of Contents: “....-Efficient Certified Resolution Proof Checking -- Precise Widening Operators for Proving Termination...”

6 Table of Contents: “... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”

7 Table of Contents: “... the System Observability Level for Diagnosability -- Weaving Authentication and Authorization Requirements...”

8 Table of Contents: “...RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction...”

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

10 Table of Contents: “... -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static...”

11 Table of Contents: “... of an adaptive HEV operating strategy using machine learning algorithms -- Testing the Internet of Things --...”

12 Table of Contents: “... at the Virtual Machine Level -- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification...”

13 Table of Contents: “... Generation -- Application of Model Checking Techniques -- Model Checking Syllabi and Student Careers...”

14 Table of Contents: “... Correctness Statements -- Duration Calculus -- From Operational Semantics to Denotational Semantics...”

15 Table of Contents: “... -- Towards a Notion of Coverage for Incomplete Program-Correctness Proofs -- Generating Inductive Shape...”

16 Table of Contents: “... Approach to Support Large-Scale Deductive Program Verification -- Type Theory as a Framework for Modelling...”

17 Table of Contents: “... Interoperability -- On Handling Data in Automata Learning -- A Theory of Mediators for Eternal Connectors...”

18 Table of Contents: “... Language -- HAMR: An AADL Multi-Platform Code Generation Toolset -- Fundamental Constructs in Programming...”

19 Table of Contents: “...-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns -- Seamless Model-Driven...”