Call for Paper

Download the Call for Paper as PDF

IMBSA solicits three types of contributions: regular papers, tutorials and tool demonstrations as well as industrial experience. The three types of submission not only differ in the form of submission (regular paper: 12 pages LNCS-style; tutorials&tools as well as industrial experiences: 2 pages extended abstracts), but also in their planned impact. Regular papers should present novel results to the model-based safety assessment community and will be published in a special issue of LNCS.

For tools&tutorials, an extended abstract is sufficient. However, they will be given extra time for presentation. These contribution should aim at introducing new, usable methods and tools to the model-based safety assessment community.

For industrial experience also an extended abstract is sufficient. However, such contributions will be given normal time slots for talks - like regular papers. Industrial experience reports should aim at raising new challenges for the model-based safety assessment community and/or evaluate existing approaches on the basis of practical experiences.

Topics of Interest

After previous editions in Toulouse (2011), Bordeaux (2012), and Versailles (2013), the 4th International Symposium on Model-Based Safety and Assessment (IMBSA 2014) will be held in Munich, Germany. This forum aims at bringing together engineers, software specialists and researchers working on all aspects of model-based safety assessment.

The goal of IMBSA is to provide a forum, where brand new ideas from academia, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate the community. We solicit contributions concerning any domain of safety critical application using model-based methods. This includes, but is not limited to:

Submission Details

For each academic and industrial submission, an abstract should be submitted by May 31th, 2014, using the EasyChair website. Academic papers should not exceed 14 pages. Industrial experiences reports may either be submitted as short papers (8 pages) or full papers (14 pages). Both forms of submission have to comply with the LNCS style format and be handed in by 15th of June.

For tutorials and tool demonstration, extended abstracts (2 pages) are sufficient but full length papers may also be accepted.

All papers will be subjected to a full review.

It is planned to publish all accepted contributions in a special issue in Springer's LNCS. To be considered for the proceedings, at least one author of each paper has to participate at the conference.

Scientific and industrial experience will be presented at the conference in oral form. Tools and tutorials will be presented in special slots (within the main program) and may be presented in an interactive manner.

Call for Tutorials

t.b.a.