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

Towards a Formalisation of Justification and Justifiability.. FMAS, volume 348 of EPTCS, page 136-149. (2021)A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations., , , , , , , , , and 13 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 4:1-4:23 (January 2024)Justification Based Reasoning in Dynamic Conflict Resolution., , , , and . CoRR, (2019)Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles., , , , and . Applicable Formal Methods for Safe Industrial Products, volume 14165 of Lecture Notes in Computer Science, page 180-201. Springer, (2023)A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction., , , , , , , , , and 13 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 3:1-3:27 (January 2024)A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts., , , , , , , , , and 12 other author(s). ACM Trans. Cyber Phys. Syst., 8 (1): 2:1-2:32 (January 2024)Dynamic Conflict Resolution Using Justification Based Reasoning., , , , and . CREST@ETAPS, volume 308 of EPTCS, page 47-65. (2019)Towards Formal Concepts for Explanation Timing and Justifications., , , and . RE Workshops, page 98-102. IEEE, (2022)Verification of Sigmoidal Artificial Neural Networks using iSAT., , , , and . SNR, volume 361 of EPTCS, page 45-60. (2021)