会議情報

IMBSA 2017: International Symposium on Model-Based Safety and Assessment

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
締切カウントダウンバッジを埋め込む
IMBSA
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。
投稿締切日:
2017-02-28 Extended
通知日:
2017-05-08
開催日:
2017-09-11
開催地:
Trento, Italy
開催回数:
5
閲覧: 13783   フォロー: 0   参加: 0

会伴インデックス (CP-I)

41.7 / 100
全 5,687 件中 第 4,625 位 · 上位 82%
学術的評価 (35%) データなし — 中立の基準値 50 点として算入 —
投稿の選択性 (20%) データなし — 中立の基準値 50 点として算入 —
開催回数 (20%)
48
コミュニティの注目度 (10%)
8
公開情報の充実度 (15%)
25

使用した入力: 確認できる開催回数：5 · 過去 24 か月にこのページを開いた研究者：2 人

公開情報で不足しているもの: 過去の採択率 (+4.5) · 過去の開催回 (+3.0) · 最優秀論文の記録 (+2.3)
主催者は会議を認証申請したうえで、このページから直接追加できます。スコアは毎晩再計算されます。このスコアを上げるには

信頼度 45% — スコアのうち、中立の基準値ではなく実際に観測されたデータに基づく割合。 このスコアの算出方法 · ランキングを見る · アルゴリズム版 1.1 · 算出日 2026-09-27

論文募集

IMBSA 2017 (International Symposium on Model-Based Safety and Assessment) is an academic conference held in Trento, Italy on 2017-09-11. The paper submission deadline is 2017-02-28 (extended). Acceptance notifications are sent on 2017-05-08.

The 5th International Symposium on Model Based Safety Assessment (IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses and cutting edge optimisation to address hard problems in the design of safe complex systems including software intensive and open cyber-physical systems. The symposium provides a dedicated forum, where state-of-the-art research, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community. IMBSA solicits two types of contributions: Regular submissions should present 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 on industrial-size applications of these methods; tool papers focusing on the theoretical foundations, design, implementation and usage of model-based tools; industrial experience papers reporting on practical use of model-based methodology and technology in industry. Regular submissions can have a maximum of 15 pages in LNCS style, and they will be presented orally at the conference. Short submissions may report on ongoing research work, industrial applications and experiences, describe tools and their usage and/or introduce tool demonstrations. Short submissions should aim at introducing new, usable methods and tools to the model-based safety assessment community, raise new challenges and/or evaluate existing approaches on the basis of practical experiences. Short submissions can have a maximum of 2 pages in LNCS style and they will be presented either orally or as a poster/demo at the conference, at discretion of the Program Committee. All the authors of accepted tool papers and demonstrations, will be given the opportunity to present their tools live in an interactive session. Topics of Interest We solicit contributions concerning the design and verification of of safety critical systems and applications using model-based methods. Conference topics include, but are not limited to: System Dependability Modeling and Assessment Domain Specific Modeling Formalisms Model-Driven Engineering Methodologies Specification, Traceability and Verification of Safety Requirements System Architecture and Optimization System Engineering Modeling Tools with Safety Assessment Capabilities Certification and Standardization of and with Model-Based Methods Integration in Interdisciplinary Processes Case Studies and Practical Experiences The IMBSA Approach 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 – in contrast to solely scientific events – be split into three main parts: A scientific part, where newest findings are presented by renown scientists A tools and tutorials parts, in which consolidated research achievements are interactively demonstrated One part reporting on experiences and hot challenges in industrial practice of safety critical systems 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. Submission Details For each contribution, an abstract should be submitted by 31 January 2017, using the EasyChair website, whereas full papers must be submitted by 28 February 2017. Regular submissions should not exceed 15 pages, whereas short submissions are limited to 2 pages. Both forms of submission have to comply with the LNCS style format. 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's 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.
最終更新：Dou Sun（）

関連会議

CCFICORECP-I略称正式名称投稿締切開催日
AA*92.5SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-07-20
AA*97.7AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.2CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89.7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*94.1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*92.5STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87.4ICCInternational Conference on Communications2026-10-022027-05-30
CB62.7IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91.2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79.6PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Safety Science5.4Elsevier0925-7535
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems5.9Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

コメント 0

まだコメントはありません。

コメントするにはログインしてください