Author of the publication

Quantifying Assurance in Learning-Enabled Systems.

, , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 270-286. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Guided Integration of Formal Verification in Assurance Cases., , and . ICFEM, volume 14308 of Lecture Notes in Computer Science, page 172-190. Springer, (2023)Hazard Contribution Modes of Machine Learning Components., , and . SafeAI@AAAI, volume 2560 of CEUR Workshop Proceedings, page 14-22. CEUR-WS.org, (2020)The role of safety architectures in aviation safety cases., , and . Reliab. Eng. Syst. Saf., (2019)Quantifying Assurance in Learning-Enabled Systems., , and . SAFECOMP, volume 12234 of Lecture Notes in Computer Science, page 270-286. Springer, (2020)Dynamic Assurance Cases: A Pathway to Trusted Autonomy., , , , and . Computer, 53 (12): 35-46 (2020)Towards Quantification of Assurance for Learning-Enabled Components., , and . EDCC, page 55-62. IEEE, (2019)Towards Quantification of Assurance for Learning-enabled Components., , and . CoRR, (2023)Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code., , and . SafeCert@ETAPS, volume 238 of Electronic Notes in Theoretical Computer Science, page 19-26. Elsevier, (2008)Hiproofs: A Hierarchical Notion of Proof Tree., , and . MFPS, volume 155 of Electronic Notes in Theoretical Computer Science, page 341-359. Elsevier, (2005)