Search by title, author, keywords, etc.

2025

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
Authored by Anitha Murugesan, Issac Wong, Joaquín Arias, Robert Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby

2024

Assurance Case Synthesis from a Curated Semantic Triplestore
Authored by Saswata Paul
A Semantic Tri Plestore- Based ARP 4 754A Compliance Summary Dashboard
Authored by Saswata Paul, Kit Siu, Baoluo Meng, Michael Durling, Daniel Prince, Craig McMillan, John Shackleton
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework
Authored by Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai
Continuous Safety & Security Evidence Genera-tion, Curation and Assurance Case Construction Using the Evidential Tool Bus
Authored by Natarajan Shankar, Devesh Bhatt, Srivatsan Vara-darajan, Anitha Murugesan, Hao Ren, Isaac Wong, Kit Siu, Sarat Varanasi, Minyoung Kim, Huascar Sanchez, Harald Ruess, Tewodros Beyene, Radouane Bouchekir, Michael Ernst
Assessing Confidence with Assurance 2.0
Authored by Robin Bloomfield, John Rushby
Enabling Theory-based Continuous Assurance: A Coherent Approach with Semantics And Automated Synthesis
Authored by Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert Stroud, Kateryna Netkachova, Isaac Wong
Formal Methods in Requirements Engineering: Survey and Future Directions
Authored by Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Varanasi, Craig McMillan
Verification and Validation of Model-Based Systems Requirements and Design Leveraging Formal Methods to Increase Development Assurance
Authored by Craig McMillan, Lawrence Lee, Daniel Russell, Daniel Prince, Nihad Hasanovic, Michael Durling, Kit Siu, Sarat Varanasi, Baoluo Meng, Everett Kleven
Enabling Development of an Extensible, Multi-Perspective Ontology
Authored by Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, David Archer, Kevin Quick
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.