Isaac Hong Wong

According to our database, Isaac Hong Wong authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.

Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby

Theory Pract. Log. Program., 2024

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.

Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023

Semantic Analysis of Assurance Cases using s(CASP).

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023