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 (RE, 2018)

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)

Towards Developing Trusted Smart Contracts in Simulink. - Baoluo Meng; Meng Li; Benjamin Beckmann; Yoshifumi Nishida; John Carbone; Dan Yang; Michael Durling (PoEM Workshops, 2020)

Automating the Assembly of Security Assurance Case Fragments. - Baoluo Meng; Saswata Paul; Abha Moitra; Kit Siu; Michael Durling (SAFECOMP, 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; et al. (Syst., 2021)

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 (AMSec@CCS, 2022)

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT. - Baoluo Meng; Arjun Viswanathan 001; William Smith; Abha Moitra; Kit Siu; Michael Durling (NFM, 2022)

Towards a Correct-by-Construction Design of Integrated Modular Avionics. - Baoluo Meng; Joyanta Debnath; Sarat Chandra Varanasi; Emmanuel Manoloios; Michael Durling; Saswata Paul; Daniel Prince; Saif Alsabbagh; Richard Haadsma; Craig McMillan; Chi Zhang; Tim Oates 001 (FMCAD, 2023)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Milan Ganai; Tobey Shim; Guy Katz; Clark W. Barrett (FMCAD, 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 (FormaliSE@ICSE, 2024)

Assurance Case Synthesis from a Curated Semantic Triplestore. - Saswata Paul; Baoluo Meng; Kit Siu; Abha Moitra; Michael Durling (SAFECOMP, 2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers. - Udayan Mandal; Guy Amir; Haoze Wu 001; Ieva Daukantas; Fletcher Lee Newell; Umberto J. Ravaioli; Baoluo Meng; Michael Durling; Kerianne Hobbs; Milan Ganai; Tobey Shim; Guy Katz; et al. (CoRR, 2024)

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 (NFM, 2025)

Attack-defense tree-based analysis and optimal defense synthesis for system design. - Baoluo Meng; Arjun Viswanathan 001; Saswata Paul; William Smith; Abha Moitra; Kit Siu; Michael Durling (Innov. Syst. Softw. Eng., 2025)