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

Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation., and . ICSC, page 361-366. IEEE, (2019)Algebraic Specification Of A Communication Scheduler., and . TAPSOFT, Vol.2, volume 186 of Lecture Notes in Computer Science, page 356-370. Springer, (1985)Co-Operative Recovery From Faults in Distributed Programs., and . IFIP Congress, page 481-486. North-Holland/IFIP, (1983)Enabling Development of an Extensible, Multi-Perspective Ontology., , , , , , and . ICSC, page 77-80. IEEE, (2024)Concept-Level Rules for Capturing Domain Knowledge., , and . ICSC, page 260-264. IEEE Computer Society, (2018)Ego-Centric Network Sampling in Viral Marketing Applications., , , and . Mining and Analyzing Social Networks, volume 288 of Studies in Computational Intelligence, Springer, (2010)Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions., and . ICALP, volume 372 of Lecture Notes in Computer Science, page 95-107. Springer, (1989)Scheduling of Hard Real-Time Systems.. FSTTCS, volume 241 of Lecture Notes in Computer Science, page 362-381. Springer, (1986)Synthesis of Communicating Processes.. PODC, page 123-130. ACM, (1983)Semantic Inference for Pharmacokinetic Drug-Drug Interactions., , , and . ICSC, page 92-95. IEEE Computer Society, (2014)