17th SEFM 2019: Oslo, Norway

Invited Paper

Cooperative Asynchronous Systems

Cyber-Physical Systems

Feature-Oriented and Versioned Systems

Model-Based Testing

Model Inference

Ontologies and Machine Learning

Operating Systems

Program Analysis

Relating Models and Implementations

Runtime Verification

Security

Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics