Home Page

The 12th IEEE International High Assurance Systems Engineering Symposium, San Jose, CA

HASE 2010

Co-Located with the 21st IEEE International Symposium on Software Reliability Engineering (ISSRE 2010)

The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering approaches to achieving high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time performance of complex systems; and methods for assessing assurance levels of these systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.


April 8, 2011: HASE 2011 (Nov. 10-12, Boca Raton) web site is operational.

September 23: HASE registration (joint with ISSRE) is now open.
Authors of accepted papers are asked to register at their earliest convenience.

September 15: The preliminary program for the HASE2010 conference has been finalized and can now be found here.