Author of the publication

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

A Visual Notation for the Representation of Assurance Cases Using SACM., , and . IMBSA, volume 12297 of Lecture Notes in Computer Science, page 3-18. Springer, (2020)Arguing Conformance., , , , and . IEEE Software, 29 (3): 50-57 (2012)Model-based safety analysis of software product lines., , , , , and . Int. J. Embed. Syst., 8 (5/6): 412-426 (2016)The Role of Explainability in Assuring Safety of Machine Learning in Healthcare., , , and . IEEE Trans. Emerg. Top. Comput., 10 (4): 1746-1760 (2022)Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)., , , , , and . CoRR, (2022)The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems., , , , , and . ICHI, page 446-452. IEEE, (2023)Automated Compositional Verification for Robotic State Machines using Isabelle/HOL., , and . ICECCS, page 167-176. IEEE, (2023)Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support., , , , , and . DAC, page 1-6. IEEE, (2020)A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines., and . ISARCS, volume 6150 of Lecture Notes in Computer Science, page 142-160. Springer, (2010)Development and piloting of a software tool to facilitate proactive hazard and risk analysis of Health Information Technology., , , , , , and . Health Informatics J., (2020)