Craig McMillan

According to our database, Craig McMillan authored at least 4 papers between 2015 and 2023.

Collaborative distances:

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

2023

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

Proceedings of the Formal Methods in Computer-Aided Design, 2023

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

2017

Requirements Capture and Analysis in ASSERT(TM).

Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2015

Collaborative Diffusion on the GPU for Path-Finding in Games.

Craig McMillan, Emma Hart, Kevin Chalmers

Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015