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.