2 papers
cs.SE2026
A Scalability Analysis of Quantitative Confidence Assessment Methods for Assurance Cases
Simon Diemert, Jens H. Weber
This paper proposes a model to estimate the decision complexity and effort required to apply quantitative confidence assessment methods to assurance cases. The model considers both…
cs.SE2025
Certus: A domain specific language for confidence assessment in assurance cases
Simon Diemert, Jens H. Weber
Assurance cases (ACs) are prepared to argue that a system has satisfied critical quality attributes. Many methods exist to assess confidence in ACs, including quantitative methods…