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.

Announcements

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.