Craig McMillan

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 4

Top Topics

Requirements Engineering

Software Development

Requirements Specification

Top Venues

EvoApplications

Publications

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)
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
Towards a Correct-by-Construction Design of Integrated Modular Avionics. FMCAD (2023)
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)
Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell
Requirements Capture and Analysis in ASSERT(TM). RE (2017)
Craig McMillan, Emma Hart, Kevin Chalmers
Collaborative Diffusion on the GPU for Path-Finding in Games. EvoApplications (2015)