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.
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.