Home Page

The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL

HASE 2011

Co-Located with the 23rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2011)

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

NEW: Conference Program (pdf). (MS Word format)

Last Date for Paper Submission : July 15, 2011

September 28,2011 : The preliminary program for the HASE 2011 conference will be posted and can be found here.

- All authors of accepted papers would be soon notified with details for camera ready paper submission from IEEE directly.
- Conference Registration would be available soon. Please check back within few days.