Craig McMillan

According to our database, Craig McMillan authored at least 5 papers between 2015 and 2024.

Collaborative distances:

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

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

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

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