Kit Siu

According to our database, Kit Siu authored at least 14 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Attack-defense tree-based analysis and optimal defense synthesis for system design.

Baoluo Meng, Arjun Viswanathan, Saswata Paul, William Smith, Abha Moitra, Kit Siu, Michael Durling

Innov. Syst. Softw. Eng., June, 2025

TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.

Sarat Chandra Varanasi, Baoluo Meng, Robert Lorch, Abha Moitra, Kit Siu, Saswata Paul, Michael Durling, Neha Beniwal, Nikita Visnevski

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Enabling Development of an Extensible, Multi-Perspective Ontology.

Abha Moitra, Kit Siu, Paul Cuddihy, Daniel Russell, Eric Mertens, Dave Archer, Kevin Quick

Proceedings of the 18th IEEE International Conference on Semantic Computing, 2024

Assurance Case Synthesis from a Curated Semantic Triplestore.

Saswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2024

Formal Methods in Requirements Engineering: Survey and Future Directions.

Robert Lorch, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling, Saswata Paul, Sarat Chandra Varanasi, Craig McMillan

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Aviation Certification Powered by the Semantic Web Stack.

Paul Cuddihy, Daniel Russell, Eric Mertens, Kit Siu, David W. Archer, Jenny Williams

Proceedings of the Semantic Web - ISWC 2023, 2023

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

Abha Moitra, Paul Cuddihy, Kit Siu, David W. Archer, Eric Mertens, Daniel Russell, Kevin Quick, Valentin Robert, Baoluo Meng

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

A Semantic Reference Model for Capturing System Development and Evaluation.

Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David W. Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell

Proceedings of the 16th IEEE International Conference on Semantic Computing, 2022

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

Baoluo Meng, Arjun Viswanathan, William Smith, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Model-Based Security Analysis in Additive Manufacturing Systems.

Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie

Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security, 2022

2021

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.

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

Syst., 2021

Automating the Assembly of Security Assurance Case Fragments.

Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, Michael Durling

Proceedings of the Computer Safety, Reliability, and Security, 2021

2019

Automating requirements analysis and test case generation.

Abha Moitra, Kit Siu, Andrew W. Crapo, Michael Durling, Meng Li, Panagiotis Manolios, Michael Meiners, Craig McMillan

Requir. Eng., 2019

2018

Towards Development of Complete and Conflict-Free Requirements.

Abha Moitra, Kit Siu, Andrew W. Crapo, Harsh Raju Chamarthi, Michael Durling, Meng Li, Han Yu, Panagiotis Manolios, Michael Meiners

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018