Collaborative Diffusion on the GPU for Path-Finding in Games. - Craig McMillan; Emma Hart; Kevin Chalmers (EvoApplications, 2015)

Requirements Capture and Analysis in ASSERT(TM). - Andrew W. Crapo; Abha Moitra; Craig McMillan; Daniel Russell (RE, 2017)

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 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)

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)