{"id":20,"date":"2021-04-08T08:00:05","date_gmt":"2021-04-08T08:00:05","guid":{"rendered":"https:\/\/cyprusconferences.org\/mpu2022\/?page_id=20"},"modified":"2022-05-10T07:47:28","modified_gmt":"2022-05-10T07:47:28","slug":"call-for-papers","status":"publish","type":"page","link":"https:\/\/easyconferences.eu\/imbsa2022\/call-for-papers\/","title":{"rendered":"Call for papers"},"content":{"rendered":"<p>[et_pb_section fb_built=&#8221;1&#8243; _builder_version=&#8221;3.26.2&#8243; width=&#8221;86.1%&#8221;][et_pb_row _builder_version=&#8221;4.9.0&#8243; _module_preset=&#8221;default&#8221; width=&#8221;56.6%&#8221; custom_margin=&#8221;-21px|auto||366px||&#8221; custom_padding=&#8221;|||185px||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;4.9.0&#8243; _module_preset=&#8221;default&#8221;][et_pb_text _builder_version=&#8221;4.9.0&#8243; _module_preset=&#8221;default&#8221; custom_margin=&#8221;|||-127px||&#8221;]<\/p>\n<h1>Call for papers<\/h1>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=&#8221;4.9.0&#8243; width=&#8221;48.8%&#8221; min_height=&#8221;638.5px&#8221; custom_margin=&#8221;-31px|auto||auto||&#8221; custom_padding=&#8221;|||0px||&#8221;][et_pb_column type=&#8221;4_4&#8243; _builder_version=&#8221;3.26.2&#8243;][et_pb_divider color=&#8221;#000000&#8243; _builder_version=&#8221;4.9.0&#8243; custom_margin=&#8221;-15px|-5px|-2px|-5px|false|true&#8221; custom_padding=&#8221;|||0px||&#8221;][\/et_pb_divider][et_pb_button button_url=&#8221;https:\/\/easyconferences.eu\/imbsa2022\/wp-content\/uploads\/2022\/04\/call_for_papers4_4.jpg&#8221; url_new_window=&#8221;on&#8221; button_text=&#8221;Click Here for Call for Papers&#8221; _builder_version=&#8221;4.9.0&#8243; _module_preset=&#8221;default&#8221; custom_button=&#8221;on&#8221; button_text_size=&#8221;14px&#8221; button_text_color=&#8221;#E09900&#8243; button_border_radius=&#8221;17px&#8221; custom_margin=&#8221;|||-7px||&#8221; custom_padding=&#8221;|||29px||&#8221; button_text_shadow_style=&#8221;preset1&#8243;][\/et_pb_button][et_pb_text _builder_version=&#8221;4.9.0&#8243; text_font=&#8221;||||||||&#8221; custom_padding=&#8221;|||0px|false|false&#8221;]<\/p>\n<h4><span style=\"font-size: medium;\"><strong><\/strong><\/span><\/h4>\n<h4><span style=\"font-size: medium;\"><strong>IMBSA solicits two types of contributions:<\/strong><\/span><\/h4>\n<p><span style=\"color: #e09900;\"><strong>Regular submissions<\/strong><\/span>\u00a0should\u00a0present significant (theoretical or practical) novel results to the model-based safety assessment community, and discuss advances with respect to the state-of-the-art. Possible contributions include, but are not limited to:<\/p>\n<ul>\n<li>research papers focusing on the theoretical foundations or implementation of model-based technology;<\/li>\n<li>case study papers reporting on industrial-size applications of these methods;<\/li>\n<li>tool papers focusing on the theoretical foundations, design, implementation and usage of model-based tools;<\/li>\n<li>industrial experience papers reporting on practical use of model-based methodology and technology in industry.<\/li>\n<\/ul>\n<p>Regular submissions should be between <span style=\"color: #666666;\">12 and \u00a015 pages<\/span> (including references and appendix), and they will be presented orally at the conference.<\/p>\n<p><span style=\"color: #e09900;\"><strong>Short submissions<\/strong><\/span>\u00a0may report on ongoing research works, industrial applications and experiences, describe tools and their usage and\/or introduce tool demonstrations. Short submissions should aim at:<\/p>\n<ul>\n<li>introducing new, usable methods and tools to the model-based safety assessment community,<\/li>\n<li>raise new challenges and\/or evaluate existing approaches on the basis of practical experiences.<\/li>\n<\/ul>\n<p>Short submissions should be between 4 and 6 pages and they will be presented either orally or as a poster\/demo at the conference, at discretion of the Program Committee.<\/p>\n<p>All the authors of accepted tool papers and demonstrations will be given the opportunity to present their tools live in an interactive session.<\/p>\n<p><strong style=\"font-size: medium; color: #333333;\">Papers templates:<\/strong><\/p>\n<p><span>Regular and short paper submissions must be formatted according to the\u00a0<a href=\"https:\/\/www.springer.com\/gp\/computer-science\/lncs\/conference-proceedings-guidelines\">LNCS templates provided by Springer<\/a>.<\/span><\/p>\n<p><strong style=\"font-size: medium; color: #333333;\">Topics of Interest:\u00a0<\/strong><\/p>\n<p><span style=\"font-size: 14px;\">We solicit contributions concerning the design and\u00a0verification of safety critical systems and applications using model-based methods.<\/span><span style=\"font-size: 14px;\">Conference topics include, but are not limited to:<\/span><strong style=\"font-size: medium; color: #333333;\"><\/strong><\/p>\n<ul>\n<li>System Dependability Modeling and Assessment<\/li>\n<li>Domain Specific Modeling Formalisms<\/li>\n<li>Model-Driven Engineering Methodologies<\/li>\n<li>Specification, Traceability and Verification of Safety Requirements<\/li>\n<li>System Architecture and Optimization<\/li>\n<li>System Engineering Modeling Tools with Safety Assessment Capabilities<\/li>\n<li>Certification and Standardization of and with Model-Based Methods<\/li>\n<li>Integration in Interdisciplinary Processes<\/li>\n<li>Models used at system runtime, e.g for system monitoring<\/li>\n<li>Dependability of Systems with Learning Capabilities<\/li>\n<li>Dependability of autonomous system, open systems, systems of systems, multi robot systems, cyber-physical system<\/li>\n<li>Cyber-security modelling and analysis<\/li>\n<li>Learning capability AI techniques for model synthesis and Dependability analysis<\/li>\n<li>Case Studies and Practical Experiences<\/li>\n<\/ul>\n<p><strong style=\"color: #333333; font-size: 16px;\"><\/strong><\/p>\n<p><strong style=\"color: #333333; font-size: 16px;\">The IMBSA Approach<\/strong><\/p>\n<p>IMBSA is looking back at a rich tradition of successfully combining research with a high number of industrial contributions. It shows that bridging the gap between basic research and industrial practice can be done effectively through interactive presentation of tools and methods. To take this into account, the conference will \u2013 in contrast to solely scientific events \u2013 be split into three main parts:<\/p>\n<ul>\n<li>A scientific part, where newest findings are presented<\/li>\n<li>A tools and tutorials parts, in which consolidated research achievements are interactively demonstrated<\/li>\n<li>One part reporting on experiences and hot challenges in industrial practice of safety critical systems<\/li>\n<\/ul>\n<p><span style=\"font-size: 14px;\">This way, participants from the industry learn about new tools and techniques, while research groups and spin-off companies can present their achievements to an interested audience. Also industrial contributors and young spin-offs can convince future customers of their tools in this mixed environment. We believe, that this mixture of conventional talks about newest achievements, presentation of practical experiences and interactive learning allows for fruitful discussions, exchange of information as well as future cooperation.<\/span><\/p>\n<h5><strong><\/strong><\/h5>\n<h5><strong>Submission Details<\/strong><\/h5>\n<p>Regulars and short papers must be submitted by <span style=\"color: #e09900;\"><strong>20 May 2022<\/strong><\/span> , using the EasyChair <a href=\"https:\/\/easychair.org\/my\/conference?conf=imbsa2022\">https:\/\/easychair.org\/my\/conference?conf=imbsa2022<\/a><\/p>\n<p>All papers will be subjected to a full review by the Program Committee. It is planned to publish regular contributions as a proceedings volume in Springer\u2019s Lecture Notes in Computer Science. To be considered for the proceedings, at least one author of each accepted paper has to participate at the conference.<\/p>\n<p>&nbsp;<\/p>\n<p>[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Call for papers IMBSA solicits two types of contributions: Regular submissions\u00a0should\u00a0present significant (theoretical or practical) novel results to the model-based safety assessment community, and discuss advances with respect to the state-of-the-art. Possible contributions include, but are not limited to: research papers focusing on the theoretical foundations or implementation of model-based technology; case study papers reporting [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":""},"_links":{"self":[{"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/pages\/20"}],"collection":[{"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/comments?post=20"}],"version-history":[{"count":60,"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/pages\/20\/revisions"}],"predecessor-version":[{"id":3235,"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/pages\/20\/revisions\/3235"}],"wp:attachment":[{"href":"https:\/\/easyconferences.eu\/imbsa2022\/wp-json\/wp\/v2\/media?parent=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}