Isaac Hong Wong

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2023
2024
0
1
2
3
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP.
CoRR, 2024

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023
Semantic Analysis of Assurance Cases using s(CASP).
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023


  Loading...