Combining statistical and expert evidence using belief functions: Application to centennial sea level estimation taking into account climate change, International Journal of Approximate Reasoning, vol.55, issue.1, pp.341-354, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00932879
Assessing the overall sufficiency of safety arguments, 21st Safety-Critical Systems Symposium (SSS'13), pp.127-144, 2013. ,
A systematic approach to justifying sufficient confidence in software safety arguments, Conf. on Computer Safety, Reliability, and Security (Safecomp), pp.305-316, 2012. ,
A methodology for safety case development, Industrial Perspectives of Safety-Critical Systems, Proceedings of the Sixth Safetycritical Systems Symposium, 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), pp.338-346, 2007. ,
International working group on assurance cases (for security). Security & Privacy, IEEE, vol.4, issue.3, pp.66-68, 2006. ,
Supporting compliance with security standards by trust case templates, 2nd International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), pp.91-98, 2007. ,
Support for argument structures review and assessment, Reliability Engineering & System Safety, vol.96, issue.1, pp.26-37, 2011. ,
Risk assessment based on weak information using belief functions: a case study in water treatment, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.36, issue.3, pp.382-396, 2006. ,
The dempster-shafer calculus for statisticians, International Journal of Approximate Reasoning, vol.48, issue.2, pp.365-377, 2008. ,
Towards measurement of confidence in safety cases, International Symposium on Empirical Software Engineering and Measurement (ESEM), pp.380-383, 2011. ,
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence, Artificial Intelligence, vol.172, issue.2-3, pp.234-264, 2008. ,
Reasoning about confidence and uncertainty in assurance cases: A survey, Software Engineering in Health Care, International Workshop on Software Engineering in Health Care, International Symposium on Foundations of Health Informatics Engineering and Systems (SEHC 2014, pp.64-80, 2014. ,
, Railway applications-Safety related electronic systems for signaling. CENELEC, European Committee for Electrotechnical Standardization, EN50129, 2003.
A practical study of argument, 2013. ,
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, Computer Safety, Reliability, and Security (Safecomp), pp.313-327, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01228861
Knowledge representation and uncertainty management: applying bayesian belief networks to a safety assessment expert system, International Conference on Natural Language Processing and Knowledge Engineering, pp.114-119, 2003. ,
A new approach to creating clear safety arguments, Advances in systems safety, Proceedings of the Nineteenth Safety-Critical Systems Symposium, pp.3-23, 2011. ,
The application of bayesian belief networks to assurance case preparation, Achieving Systems Safety, Proceedings of the Twentieth Safety-Critical Systems Symposium, pp.159-176, 2012. ,
, Software considerations in airborne systems and equipment certification. International Organization for Standardization (ISO), ISO26262, 2011.
Safety aspects guidelines for their inclusion in standards. Organisation internationale de normalisation (ISO) / Commision Internationale d' ´ Electrotechnique (IEC), 1999. ,
, Systems and software engineering-systems and software assurance-part 2: Assurance case. International Organization for Standardization (ISO)/International Electrotechnical Commission (IEC), 2011.
Combination of partially non-distinct beliefs: The cautious-adaptive rule, International Journal of Approximate Reasoning, vol.50, issue.7, pp.1000-1021, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01756255
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. ,
The goal structuring notation-a safety argument notation, Proceedings of the Dependable Systems and Networks, 2004. ,
Idempotent conjunctive and disjunctive combination of belief functions by distance minimization, International Journal of Approximate Reasoning, vol.92, pp.32-48, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01629745
Defence standard 00-56 issue 4: Towards evidence-based safety standards, Safety-Critical Systems: Problems, Process and Practice, pp.223-243, 2009. ,
Contextual discounting of belief functions, European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp.552-562, 2005. ,
Evidence management for compliance of critical systems with safety standards: A survey on the state of practice, Information and Software Technology, vol.60, pp.1-15, 2015. ,
An evidential reasoning approach for assessing confidence in safety evidence, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp.541-552, 2015. ,
, Object managment group: Structured assurance case metamodelSACM, version 2.0, OMG, 2018.
A mathematical theory of evidence, vol.1, 1976. ,
The uses of argument, 1969. ,
Confidence in safety argument-An assessment framework based on belief function theory, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-01880790
Confidence assessment framework for safety arguments, International Conference on Computer Safety, Reliability, and Security (Safecomp), pp.55-68, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01533221
DS theory for argument confidence assessment, 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, vol.110, pp.286-299, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01661045
A subjective logic-based approach for assessing confidence in assurance case, International Journal of Performability Engineering, vol.13, issue.6, p.807, 2017. ,