You are here: Home

Call For Papers

The omnipresence of software-intensive high-assurance systems, from transportation to industrial informatics and from power generation to health care, is escalating over the period of time. However, the safety-critical, distributed, heterogeneous, dynamic and often unpredictable nature of such systems produces several complex challenges. Formal methods are often solicited to help solve these problems. However, due to the sheer complexity, systems (or parts of systems) often need to be modeled and analyzed by using different methods, techniques and tools. The problem is then how different formal approaches can interact with each other in seamless manners, and how to support the integrated use of different methods and their supporting tools along the system development.

The main goal of the proposed workshop is to contribute towards harnessing the combined potential of state- and machine-based system development methods, clarifying their commonalities and variabilities to better understand how to achieve the integrated use of different approaches and tools for accomplishing various tasks in modeling, design, verification and validation of high-assurance hardware/software systems. The workshop platform would also provide an excellent opportunity to FM developers and practitioners to discuss how existing tools supporting only one method could be (re-)used for other methods and which gaps must be filled in order to provide this extended support.

Program Committee

Program Committee Chairs

Invited Speaker

Program Committee Members

Important Dates

Research abstracts and full papers submission deadline: February 17, 2014
April 7, 2014
Notification of acceptance: March 17, 2014
April 30, 2014
Camera-ready: April 14, 2014
May 7, 2014


Contributions should be submitted electronically in PDF format at the iHARNESS 2014 easychair website. The research abstracts may be 8 pages long and full papers may be 16 pages long. They must be prepared using the Springer LNCS style.

Special Issue

We are planning to have a special issue or a special section in an international journal.