Craig McMillan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2017–2023
Best venue rank
B
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FMCAD | 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 |
| 2017 | RE | Requirements Capture and Analysis in ASSERT(TM). | Andrew W. Crapo, Abha Moitra, Craig McMillan, Daniel Russell |