12 citations
- City, University of LondonGB5 papers
- SRI InternationalUS3 papers
- Kanagawa UniversityJP2 papers
- Nagoya UniversityJP2 papers
- City St George's, University of LondonGB1 paper
- Honeywell (United States)US1 paper
- Imperial College LondonGB1 paper
- Menlo SchoolUS1 paper
- The University of Texas at DallasUS1 paper
- Universidad Rey Juan CarlosES1 paper
- University of North Texas at DallasUS1 paper
Showing 2024Show all
2 papers · 1 filter
cs.LO2024★ 6 cited
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
Anitha Murugesan, Isaac Wong, Joaquín Arias +6
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these…
cs.SE2024★ 12 cited
Confidence in Assurance 2.0 Cases
Robin Bloomfield, John Rushby
An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how c…