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

Enabling Development of an Extensible, Multi-Perspective Ontology., , , , , , and . ICSC, page 77-80. IEEE, (2024)Formal Methods in Requirements Engineering: Survey and Future Directions., , , , , , , and . FormaliSE@ICSE, page 88-99. ACM, (2024)Assurance Case Synthesis from a Curated Semantic Triplestore., , , , and . SAFECOMP, volume 14988 of Lecture Notes in Computer Science, page 84-99. Springer, (2024)Automating the Assembly of Security Assurance Case Fragments., , , , and . SAFECOMP, volume 12852 of Lecture Notes in Computer Science, page 101-114. Springer, (2021)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)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)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)Slicing and Contours Generation for Fabricating Heterogeneous Objects., and . GMP, page 219-225. IEEE Computer Society, (2002)