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
6 papers
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…
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…
Assurance 2.0: A Manifesto
Robin Bloomfield, John Rushby
System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-r…
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…
A fully-abstract semantics of lambda-mu in the pi-calculus
Steffen van Bakel, Maria Grazia Vigliotti
We study the lambda-mu-calculus, extended with explicit substitution, and define a compositional output-based interpretation into a variant of the pi-calculus with pairing that pre…