Author of the publication

RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.

, , , , , , , , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 149-160. Springer, (2023)

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

Automating requirements analysis and test case generation., , , , , , , and . Requir. Eng., 24 (3): 341-364 (2019)Enabling Development of an Extensible, Multi-Perspective Ontology., , , , , , and . ICSC, page 77-80. IEEE, (2024)A Semantic Reference Model for Capturing System Development and Evaluation., , , , , , , , , and . ICSC, page 173-174. IEEE, (2022)Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT., , , , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 752-770. Springer, (2022)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , and 5 other author(s). Syst., 9 (1): 18 (2021)Aviation Certification Powered by the Semantic Web Stack., , , , , and . ISWC, volume 14266 of Lecture Notes in Computer Science, page 345-361. Springer, (2023)Automating the Assembly of Security Assurance Case Fragments., , , , and . SAFECOMP, volume 12852 of Lecture Notes in Computer Science, page 101-114. Springer, (2021)RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence., , , , , , , , and . SAFECOMP Workshops, volume 14182 of Lecture Notes in Computer Science, page 149-160. Springer, (2023)The acoustic vector-sensor's near-field array-manifold., , and . IEEE Trans. Signal Process., 58 (7): 3946-3951 (2010)Slicing and Contours Generation for Fabricating Heterogeneous Objects., and . GMP, page 219-225. IEEE Computer Society, (2002)