Haifa Verification Conference
Views: 679
When : 2017-11-13
Where : Haifa,Israel
Submission Deadline : 2017-07-21
Categories : Cloud Computing , Machine Learning
Haifa Verification Conference(HVC 2017)
November 13-15, 2017
Haifa, Israel
Call for Papers:
HVC 2017 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.
Topics:
- Cloud Quality
- Coverage Analysis and Test Minimization
- Empirical Studies on Hardware and Software Quality
- Formal and Semi-Formal Specification, Modeling, and Verification
- Functional and Non-Functional Software Testing
- Hardware/Software Co-Verification
- High-Level Stimuli Generation
- Machine Learning Techniques For Verification
- Model Checking
- Post-Silicon Validation Including Emulation and Acceleration
- Sat/Smt-Based Verification Algorithms
- Security Verification
- Simulation-Based Verification
- Software and Hardware Equivalence Checking
- Software Artifacts Review and Inspection
- Static Analysis
- Test Planning
- Testing Of Mobile and Cloud Applications
- Triage and Debug Technologies
- Validation Of Data-Intensive Solutions
- Validation Of Machine Learning Algorithms
Important Dates:
- Paper Submission: July 21, 2017
- Author Notification: September 01, 2017
- Final Version Due : September 15, 2017
User Name : Claude
Posted 27-03-2017 on 14:41:35 AEDT