Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 2023)

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. - Srivatsan Varadarajan; Robin Bloomfield; John Rushby; Gopal Gupta 001; Anitha Murugesan; Robert J. Stroud; Kateryna Netkachova; Isaac Hong Wong; Joaquín Arias (SAFECOMP (Workshops), 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 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)