Ari Z. Klein
Software Engineering Institute
Publications by Ari Z. Klein
-
Improving Quality Using Architecture Fault Analysis with Confidence Arguments
March 10, 2015 • Technical Report
Peter H. FeilerCharles B. WeinstockJohn B. Goodenough
The case study shows that by combining an analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately.
read -
Eliminative Argumentation: A Basis for Arguing Confidence in System Properties
February 25, 2015 • Technical Report
John B. GoodenoughCharles B. WeinstockAri Z. Klein
This report defines the concept of eliminative argumentation and provides a basis for assessing how much confidence one should have in an assurance case argument.
read -
Eliminative Induction: A Basis for Arguing System Confidence
March 20, 2013 • Conference Paper
John B. GoodenoughCharles B. WeinstockAri Z. Klein
In this paper, the authors explain how the principle of eliminative induction provides a basis for assessing confidence in an assurance case argument.
read -
Measuring Assurance Case Confidence using Baconian Probabilities
March 01, 2013 • Conference Paper
John B. GoodenoughAri Z. KleinCharles B. Weinstock
In this 2013 paper, the authors discuss how to assess confidence in a case by considering the doubts eliminated by the claims and evidence in a case.
read -
Toward a Theory of Assurance Case Confidence
September 01, 2012 • Technical Report
John B. GoodenoughCharles B. WeinstockAri Z. Klein
In this report, the authors present a framework for thinking about confidence in assurance case arguments.
read