Assessing the overall sufficiency of safety arguments, 21st Safety-critical Systems Symposium (SSS'13), 2013. ,
Building blocks for assurance cases, 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp.186-191, 2014. ,
An approach to approximate reasoning based on Dempster rule of combination, Inter. J. of Expert Systems Research & Applications, vol.1, pp.67-85, 1987. ,
Support for argument structures review and assessment, Reliability Engineering & System Safety, vol.96, issue.1, pp.26-37, 2011. ,
An analysis of safety evidence management with the structured assurance case metamodel, Computer Standards & Interfaces, vol.50, pp.179-198, 2017. ,
Towards measurement of confidence in safety cases, 2011 International Symposium on Empirical Software Engineering and Measurement, pp.380-383, 2011. ,
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence, Artif. Intell, vol.172, issue.2-3, pp.234-264, 2008. ,
Idempotent conjunctive combination of belief functions: Extending the minimum rule of possibility theory, Inf. Sci, vol.181, issue.18, pp.3925-3945, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00651875
A possibilistic counterpart to shafer evidence theory, IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp.1-6, 2019. ,
A set-theoretic view of belief functions. Logical operations and approximation by fuzzy sets, International Journal of General Systems, vol.12, issue.3, pp.193-226, 1986. ,
Representation and combination of uncertainty with belief functions and possibility measures, Comput. Intell, vol.4, pp.244-264, 1988. ,
, EN50129: Railway applications -Safety related electronic systems for signaling, 2003.
An investigation of proposed techniques for quantifying confidence in assurance arguments, Safety science, vol.92, pp.53-65, 2017. ,
A model for safety case confidence assessment, International Conference on Computer Safety, Reliability, and Security (Safecomp), pp.313-327, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01228861
The application of bayesian belief networks to assurance case preparation, Achieving Systems Safety, pp.159-176, 2012. ,
Interdependence between safety-control policy and multiple-sensor schemes via Dempster-Shafer theory, IEEE Transactions on Reliability, vol.40, issue.2, pp.182-188, 1991. ,
, ISO 26262: Software considerations in airborne systems and equipment certification, 2011.
Subjective logic, 2016. ,
Arguing Safety -A Systematic Approach to Safety Case Management, 1998. ,
Safety case construction and reuse using patterns, International Conference on Computer Safety, Reliability, and Security (Safecomp) 97, pp.55-69, 1997. ,
Combination of evidence in dempster-shafer theory, 2002. ,
Analyzing the combination of conflicting belief functions, Inf. Fusion, vol.8, issue.4, pp.387-412, 2007. ,
The Uses of Argument, 1958. ,
Confidence in safety argument-An assessment framework based on belief function theory, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-01880790
D-S Theory for Argument Confidence Assessment, 4th International Conference on Belief Functions, pp.190-200, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01372016
Modelling Confidence in Railway Safety Case, Safety Science (110 part B), pp.286-299, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01661045
Safety Case Confidence Propagation Based on Dempster-Shafer theory, International Journal of Approximate Reasoning, vol.107, pp.46-64, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02012942
On the Dempster-Shafer framework and new combination rules, formation sciences, vol.41, pp.93-137, 1987. ,
A subjective logic-based approach for assessing confidence in assurance case, International Journal of Performability Engineering, vol.13, issue.6, pp.807-822, 2017. ,