Craig McMillan

Orcid: 0009-0005-8002-791X

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Methods in Requirements Engineering: Survey and Future Directions.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 2023

2019
Automating requirements analysis and test case generation.
Requir. Eng., 2019

2017
Requirements Capture and Analysis in ASSERT(TM).
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2015
Collaborative Diffusion on the GPU for Path-Finding in Games.
Proceedings of the Applications of Evolutionary Computation - 18th European Conference, 2015


  Loading...