| Towards development of complete and conflict-free requirements A Moitra, K Siu, A Crapo, H Chamarthi, M Durling, M Li, H Yu, P Manolios, ... 2018 IEEE 26th International Requirements Engineering Conference (RE), 286-296, 2018 | 30 | 2018 |
| Flight critical software and systems development using ASSERT™ K Siu, A Moitra, M Durling, A Crapo, M Li, H Yu, H Herencia-Zapana, ... 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), 1-10, 2017 | 25 | 2017 |
| Control system for a pulse detonation turbine engine ER Westervelt, DC Hofer, ND Joshi, KY Siu, R Shi, A Rasheed, ... US Patent App. 12/645,480, 2011 | 25 | 2011 |
| Automating requirements analysis and test case generation A Moitra, K Siu, AW Crapo, M Durling, M Li, P Manolios, M Meiners, ... Requirements Engineering 24, 341-364, 2019 | 23 | 2019 |
| Verdict: a language and framework for engineering cyber resilient and safe system B Meng, D Larraz, K Siu, A Moitra, J Interrante, W Smith, S Paul, D Prince, ... Systems 9 (1), 18, 2021 | 22 | 2021 |
| Architectural and behavioral analysis for cyber security K Siu, A Moitra, M Li, M Durling, H Herencia-Zapana, J Interrante, B Meng, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019 | 21 | 2019 |
| System and method for model based technology and process for safety-critical software development TL Johnson, AW Crapo, MR Durling, A Walsch, KY Siu, L Parolini, ... US Patent 10,346,140, 2019 | 17 | 2019 |
| System and method for safety-critical software automated requirements-based test case generation M Li, MR Durling, KY Siu, I Oliveira, H Yu, AM De Conto US Patent 9,940,222, 2018 | 14 | 2018 |
| A semantic reference model for capturing system development and evaluation A Moitra, P Cuddihy, K Siu, B Meng, J Interrante, D Archer, E Mertens, ... 2022 IEEE 16th International Conference on Semantic Computing (ICSC), 173-174, 2022 | 13 | 2022 |
| Automating the assembly of security assurance case fragments B Meng, S Paul, A Moitra, K Siu, M Durling Computer Safety, Reliability, and Security: 40th International Conference …, 2021 | 13 | 2021 |
| Requirements-based automated test generation for safety critical software M Li, B Meng, H Yu, K Siu, M Durling, D Russell, C McMillan, M Smith, ... 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC), 1-10, 2019 | 11 | 2019 |
| Rack: A semantic model and triplestore for curation of assurance case evidence A Moitra, P Cuddihy, K Siu, D Archer, E Mertens, D Russell, K Quick, ... International Conference on Computer Safety, Reliability, and Security, 149-160, 2023 | 10 | 2023 |
| A model-based framework for analyzing the security of system architectures K Siu, H Herencia-Zapana, D Prince, A Moitra 2020 annual reliability and maintainability symposium (RAMS), 1-6, 2020 | 10 | 2020 |
| Method and system of software specification modeling KY Siu, AW Crapo, MR Durling, L Parolini, P Manolios, H Yu, S Stacey US Patent 9,747,079, 2017 | 10 | 2017 |
| Systems and methods for arbitrary software logic modeling L Ren, H Yu, GR Sykes, MR Durling, KY Siu, SA Stacey US Patent 10,402,173, 2019 | 9 | 2019 |
| Threat identification and defense control selection for embedded systems A Moitra, D Prince, K Siu, M Durling, H Herencia-Zapana SAE International Journal of Transportation Cybersecurity and Privacy 3 (11 …, 2020 | 8 | 2020 |
| A model-based framework for analyzing the safety of system architectures P Manolios, K Siu, M Noorman, H Liao 2019 Annual Reliability and Maintainability Symposium (RAMS), 1-8, 2019 | 7 | 2019 |
| Modeling a DO-178C plan and analyzing in a semantic model D Russell, A Moitra, K Siu, C McMillan 2022 Annual Reliability and Maintainability Symposium (RAMS), 1-8, 2022 | 6 | 2022 |
| Towards developing formalized assurance cases B Meng, A Moitra, AW Crapo, S Paul, K Siu, M Durling, D Prince, ... 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020 | 6 | 2020 |
| Aviation certification powered by the semantic web stack P Cuddihy, D Russell, E Mertens, K Siu, D Archer, J Williams International Semantic Web Conference, 345-361, 2023 | 5 | 2023 |