Kit Siu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Semantically Annotated

Requirements Analysis

Future Directions

Ontology Driven

Top Venues

Publications

Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick
Enabling Development of an Extensible, Multi-Perspective Ontology. ICSC (2024)
Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan
Formal Methods in Requirements Engineering: Survey and Future Directions. FormaliSE@ICSE (2024)
Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams
Aviation Certification Powered by the Semantic Web Stack. ISWC (2023)
Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence. SAFECOMP Workshops (2023)
Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling
Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. NFM (2022)
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
A Semantic Reference Model for Capturing System Development and Evaluation. ICSC (2022)
Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling
Automating the Assembly of Security Assurance Case Fragments. SAFECOMP (2021)
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System. Syst. 9 (1) (2021)
Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan
Automating requirements analysis and test case generation. Requir. Eng. 24 (3) (2019)
Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners
Towards Development of Complete and Conflict-Free Requirements. RE (2018)