posted by system || 5330 views || tracked by 19 users: [display]

HVC 2013 : HVC 2013 - Ninth Haifa Verification Conference

FacebookTwitterLinkedInGoogle


Conference Series : Haifa Verification Conference
 
Link: http://www.research.ibm.com/haifa/conferences/hvc2013/
 
When Nov 5, 2013 - Nov 7, 2013
Where Haifa, Israel
Submission Deadline Jul 30, 2013
Notification Due Aug 25, 2013
Final Version Due Sep 5, 2013
 

Call For Papers

Ninth Haifa Verification Conference 2013
http://www.research.ibm.com/haifa/conferences/hvc2013/index.shtml
November 5-7, 2013
Tutorial day - November 4, 2013
Haifa, Israel

Organized by IBM Research - Haifa

*********************************************************

HVC 2013 is the ninth in the series of annual conferences dedicated to advancing the
state-of the art and state-of-the-practice in verification and testing.
The conference provides a forum for researchers and practitioners from academia and industry to share their work, exchange ideas, and discuss the future directions of testing and verification for hardware, software, and complex hybrid systems.

The common underlying goal of these techniques is to ensure the correct functionality
and performance of complex systems. HVC is the only conference that brings together
researchers and practitioners from all verification and testing sub-fields,
thereby encouraging the migration of methods and ideas among domains.

HVC 2013 invites the submission of technical papers reporting original research and experience results in all sub-fields of testing and verification applicable to software, hardware,
and complex hybrid systems. The conference will involve the presentation of peer-reviewed,
original technical papers, as well as lectures by guests from industry and academia.

Unlike previous years, in HVC 2013 the conference proceedings will be published before the conference starts in Springer’s Lecture Notes in Computer Science series (LNCS). The conference proceedings will be handed in an electronic format to the guests of the conference on upon registration.

Topics of interest to the conference include, but are not limited to:

* Simulation-based verification
* Formal verification methods
* High-level stimuli generation
* Equivalence checking
* SAT/SMT-based verification algorithms
* Classification of hardware bugs
* Static analysis
* Verification coverage
* Design for verifiability
* Hardware/software co-verification
* Debugging
* Semi-formal verification
* Emulation and acceleration
* Formal modeling and specification
* Post-silicon validation
* CSP-based functional verification
* Formal specification languages
* Model checking

Verification, Validation, and Testing (VVT) of Engineered Systems
Continuing what was started last year, HVC will extend the traditional focus on hardware and software verification to include verification, validation, and testing (VVT) of complex hybrid systems as a part of the systems-engineering paradigm. Consequently, additional topics of interest include, but are not limited to:
* Test and evaluation (T&E) of systems
* System modeling and simulation
* Formal verification and analysis
* System requirement management - modeling, analysis, and verification
* Focused VVT domains such as hardware, software, safety-critical systems, or specific hybrid systems - including aerospace & defense, and automotive
* VVT during focused system lifecycles - specification, design, implementation, integration, qualification
* VVT planning and optimization
* VVT for Systems-Engineering


----------------------------------------------------------------


Special track for software testing:
This year we've created a special dedicated track to cover software testing. The track will have a separate review process.

SW testing track topics of interest to the conference include, but are not limited to:
* Testing methodologies
* Defect prevention
* Test-driven development
* Model-based testing
* Developer testing
* Review and inspection
* Functional and performance testing
* Coverage analysis and test minimization
* Test planning
* Testing and analysis of concurrent software
* Domain specific testing and analysis
* Empirical studies on test tool evaluation

----------------------------------------------------------------

Submission:
All submitted papers should be in LNCS format. For details, see: http://www.springer.com/east/home/computer/lncs.

There are two categories of submissions:
* Regular papers:
Regular paper submissions should describe original and unpublished work. Simultaneous submission to other conferences with proceedings or submission of previously published material is strictly forbidden. Regular papers should not exceed sixteen (16) pages in LNCS format. Submissions will be accepted in electronic form (pdf), via the easychair portal. An early email to conference chairs with your intention to submit a paper would be appreciated.
* Tools and experience papers:
Tool submissions should describe a new tool and its features, and demonstrate its effectiveness using experimentation. Tools and experience papers are required to show significant advancements compared with existing tools. Tools and experience papers should not exceed six (6) pages in LNCS format. Tool presentations are expected to include a short demo.

All papers should be submitted through the EasyChair website:
https://www.easychair.org/conferences/?conf=hvc2013

Submission and review policy:
Submitted papers will be blind-reviewed by members of the program committee. It is planned for each paper to have at least two reviews. Based on reviewers' recommendations, the program co-chairs and the general chair will make the final decision on acceptance and notify the contact author. Please note that HVC allows submissions by program committee members. It also allows submissions by program and general chairs. To guarantee fairness of the review process in such cases, organizers who are authors of submitted papers will be excluded from the review and the decision process regarding their papers. Other organizers will be appointed to handle their papers. If a paper was co-authored by one of the chairs, the two other chairs will handle that paper. Details of the review process and acceptance decisions will be recorded and kept confidentially to allow auditing and maximize fairness.

----------------------------------------------------------------

Venue:

The lovely city of Haifa resides on a mountain overlooking the
Mediterranean Sea, and is home to Jews, Muslims, and Christians. Haifa
is also the world center of the Baha’i faith, and the wondrous Baha’i
gardens are a must-see attraction. The conference will be held in the
modern building of IBM Research - Haifa, situated at the top of the Carmel
mountains.

----------------------------------------------------------------

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.

----------------------------------------------------------------

Important dates:
Submission deadline: July 30, 2013
Author notification: August 25, 2013
Final version: September 5, 2013
Conference gathering: November 5, 2013


----------------------------------------------------------------

General Chair:
Sivan Rabinovich (sivanr@il.ibm.com)

Program Co-Chairs:
Valeria Bertacco (valeria@umich.edu)
Axel Legay (axel.legay@inria.fr)

Software testing track Co-Chairs:
Amiram Yehudai (amiramy@tau.ac.il)
Itai Segall (itais@il.ibm.com)

Tutorials Chair:
Arkadiy Morgenshtein (arkadiym@il.ibm.com)

Local Organization:
Eti Jahr (etij@il.ibm.com)
----------------------------------------------------------------

For more information, please refer to HVC2013 web page: http://www.research.ibm.com/haifa/conferences/hvc2013/index.shtml

Related Resources

HVC 2017   Haifa Verification Conference
SYSTOR 2017   10th ACM International Systems and Storage Conference
SYSTOR 2018   11th ACM International Systems and Storage Conference
ICST 2018   The 11th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2018)
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
CONCUR 2018   29th International Conference on Concurrency Theory
NETYS 2018   The 6th International Conference on Networked Systems
ITEQS 2018   2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
WTSC18@FC 2018   2nd Workshop on Trusted Smart Contracts 2018 (WTSC18@FC)
HLDVT 2017   19th IEEE International High-Level Design Validation and Test Workshop 2017