| 2019 | 19 | 19th IEEE International Symposium on High Assurance Systems Engineering HASE 2019, HASE | Hangzhou | 2019-01-03/05 |
| 2017 | 18 | 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017, Singapore, January 12-14, 2017 HASE 2017, HASE | Singapore | 2017-01-12/14 |
| 2016 | 17 | 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016 HASE 2016, HASE | Orlando | 2016-01-07/09 |
| 2015 | 16 | 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015 HASE | Daytona Beach | 2015-01-08/10 |
| 2014 | 15 | 15th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2014, Miami Beach, FL, USA, January 9-11, 2014 HASE | Miami Beach | 2014-01-09/11 |
| 2012 | 14 | 14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012 HASE | Omaha | 2012-10-25/27 |
| 2011 | 13 | 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 HASE | Boca Raton | 2011-11-10/12 |
| 2010 | 12 | 12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010 HASE 2010, HASE | San Jose | 2010-11-03/04 |
| 2008 | 11 | 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008 HASE 2008, HASE | Nanjing | 2008-12-03/05 |
| 2007 | | Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA HASE | Dallas | 2007-11-14/16 |
| 2005 | | Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany HASE | Heidelberg | 2005-10-12/14 |
| 2004 | 8 | 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA HASE | Tampa | 2004-03-25/26 |
| 2002 | 7 | 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan HASE | Tokyo | 2002-10-23/25 |
| 2001 | 6 | 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), Special Topic: Impact of Networking, 24-26 October 2001, Albuquerque, NM, USA, Proceedings HASE | Albuquerque | 2001-10-24/26 |
| 2000 | 5 | 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings HASE | Albuquerque | 2000-11-15/17 |
| 1999 | 4 | 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings HASE | Washington, D.C. | 1999-11-17/19 |
| 1998 | 3 | 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 13-14 November 1998, Washington, D.C, USA, Proceedings HASE | Washington, D.C. | 1998-11-13/14 |
| 1997 | 2 | 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings HASE | Washington, D.C. | 1997-08-11/12 |
| 1996 | 1 | 1st High-Assurance Systems Engineering Workshop (HASE '96), October 22, 1996, Niagara, Canada, Proceedings HASE | Niagara Falls | 1996-10-22 |
