Author of the publication

Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support.

, , , , , and . DAC, page 1-6. IEEE, (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

Arguing Conformance., , , , and . IEEE Software, 29 (3): 50-57 (2012)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)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)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)Automated Compositional Verification for Robotic State Machines using Isabelle/HOL., , and . ICECCS, page 167-176. IEEE, (2023)The Need for the Human-Centred Explanation for ML-based Clinical Decision Support Systems., , , , , and . ICHI, page 446-452. 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)Levels of Autonomy and Safety Assurance for AI-Based Clinical Decision Systems., , , , , and . SAFECOMP Workshops, volume 12853 of Lecture Notes in Computer Science, page 291-296. Springer, (2021)