A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments, Computer Safety, Reliability, and Security, pp.305-316, 2012. ,
DOI : 10.1007/978-3-642-33678-2_26
A methodology for safety case development, Industrial Perspectives of Safety-Critical Systems, pp.194-203, 1998. ,
Confidence: Its Role in Dependability Cases for Risk Assessment, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), pp.338-346, 2007. ,
DOI : 10.1109/DSN.2007.29
International working group on assurance cases (for security), pp.66-68, 2006. ,
Supporting Compliance with Security Standards by Trust Case Templates, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX '07), pp.91-98, 2007. ,
DOI : 10.1109/DEPCOS-RELCOMEX.2007.44
Support for argument structures review and assessment, Reliability Engineering & System Safety, vol.96, issue.1, pp.26-37, 2011. ,
DOI : 10.1016/j.ress.2010.06.027
New methods for reasoning towards posterior distributions based on sample data. The Annals of Mathematical Statistics, pp.355-374, 1966. ,
Upper and lower probabilities induced by a multivalued mapping. The annals of mathematical statistics, pp.325-339, 1967. ,
Towards Measurement of Confidence in Safety Cases, 2011 International Symposium on Empirical Software Engineering and Measurement, pp.380-383, 2011. ,
DOI : 10.1109/ESEM.2011.53
The cautious rule of combination for belief functions and some extensions, 2006 9th International Conference on Information Fusion, pp.1-8, 2006. ,
DOI : 10.1109/ICIF.2006.301572
A practical study of argument, 2013. ,
A Model for Safety Case Confidence Assessment, Computer Safety, Reliability, and Security (SAFECOMP), pp.313-327, 2015. ,
DOI : 10.1007/978-3-319-24255-2_23
URL : https://hal.archives-ouvertes.fr/hal-01228861
A New Approach to creating Clear Safety Arguments, Advances in systems safety, pp.3-23, 2011. ,
DOI : 10.1007/978-0-85729-133-2_1
Arguing Safety -A Systematic Approach to Safety Case Management, 1998. ,
Safety Case Construction and Reuse Using Patterns, Computer Safety, Reliability, and Security (SAFECOMP), pp.55-69, 1997. ,
DOI : 10.1007/978-1-4471-0997-6_5
The goal structuring notation?a safety argument notation, Proceedings of the Dependable Systems and Networks (DSN) workshop on assurance cases, 2004. ,
Contextual Discounting of Belief Functions, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, pp.552-562, 2005. ,
DOI : 10.1007/11518655_47
A mathematical theory of evidence, 1976. ,
The uses of argument, 2003. ,
The safety of software: Constructing and assuring arguments, 2003. ,