会議情報

HVC 2016: Haifa Verification Conference

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
新規登録 ログイン
投稿締切日:
2016-07-14 締切済み
通知日:
2016-09-05
開催日:
2016-11-14
開催地:
Haifa, Israel
開催回数:
15
QUALIS: B4   閲覧: 22464   フォロー: 0   参加: 0
このページに誤りがありますか？お知らせください
締切カウントダウンバッジを埋め込む
HVC
このデータを API で取得
検索とランキング一覧は資格情報なしで利用できます。このページの詳細データには無料の API キーが必要です。詳しくは開発者向けガイドをご覧ください。

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

48.4 / 100
全 5,696 件中 第 2,028 位 · 上位 36%

ソフトウェア工学 分野 247 件中 第 137 位

学術的評価 (35%)
54
投稿の選択性 (20%) データなし — 中立の基準値 50 点として算入 —
開催回数 (20%)
75
コミュニティの注目度 (10%)
8
公開情報の充実度 (15%)
25

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

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

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

論文募集

HVC 2016 (Haifa Verification Conference) is a QUALIS B4 conference held in Haifa, Israel on 2016-11-14. The paper submission deadline is 2016-07-14. Acceptance notifications are sent on 2016-09-05.

HVC 2016 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software and hardware. The conference will involve the presentation of peer-reviewed, original technical papers, as well as lectures by guests from industry and academia. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series (LNCS), and handed out in digital format to registered guests of the conference. Topics of interest to the conference include, but are not limited to: Simulation-based verification Formal and semi-formal specification, modeling, and verification Functional and non-functional software testing Software and hardware equivalence checking SAT/SMT-based verification algorithms Static analysis Model checking High-level stimuli generation Hardware/software co-verification Triage and debug technologies Post-silicon validation including emulation and acceleration Coverage analysis and test minimization Testing of mobile and cloud applications Software artifacts review and inspection Test planning Empirical studies on hardware and software quality Security verification Machine learning techniques for verification Student grants We anticipate a number of student grants to cover part of the travel expenses for full-time students who are authors of accepted papers. Precedence in allocation of these travel grants will be to students who are also presenting a poster at the conference.
最終更新：Xin Yao（）

関連会議

CCFICORECP-I略称正式名称投稿締切開催日
AA*95.6SIGIRInternational Conference on Research and Development in Information Retrieval2027-01-142027-07-18
AA*97.8AAAIAAAI Conference on Artificial Intelligence2026-07-212027-02-16
AA*94.6CVPRIEEE Conference on Computer Vision and Pattern Recognition2026-11-102027-06-20
BA*89.7ICRAInternational Conference on Robotics and Automation2026-09-152027-05-24
BA*97.3IJCAIInternational Joint Conference on Artificial Intelligence2027-01-042027-08-07
AA*92.7STOCACM Symposium on Theory of Computing2026-11-022027-06-06
C87.5ICCInternational Conference on Communications2026-10-022027-05-30
CB62.8IJCNNInternational Joint Conference on Neural Networks2027-01-312027-06-14
B91.2ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-05-16
BA*79.8PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-06-13

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Software Testing Verification and Reliability1.2Wiley0960-0833
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

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

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