Topic Areas
The topics of interest include, but are not limited to:
- Formal methods in model-driven development
- Model-driven development for formal methods
- Quality assurance for models and model transformation
- Model transformation for formal models
- Model transformation and refinement
- Formal and model driven approaches to engineering safety- critical, fault-tolerant and secure systems
- Integrated analysis of functional and extra-functional properties of trustworthy software-intensive systems
- Methods and tools integrating graphical and formal approaches
- Lightweight formal methods for dependability and security
- Formal and model-driven engineering of trustworthy cyber-physical systems
- Domain-specific formal and model-driven approaches
Submission Types
All submissions must be original, unpublished, and cannot be simultaneously submitted for publication elsewhere. Papers of the following types are solicited:
- Research papers focusing on advanced and novel theories, methodologies, or mechanisms
- Tool papers focusing on useful and practical tools, their integration and interoperability
- Experience papers with a focus on deployment, evaluation and lessons learned
The proceedings will be made available online.
Submissions must consist of no more than 10 pages for Research papers and 6 pages for Tool/Experience papers (including all the materials) in the LNCS format.