The HiVe Writer. - Tony Cant; Ben Long; Jim McCarthy; Brendan P. Mahony; Kylie Williams (SSV, 2008)

Annex: A Middleware for Constructing High-Assurance Software Systems. - Tristan Newby; Duncan A. Grove; Alex Murray; Chris A. Owen; Jim McCarthy; Chris J. North (AISC, 2015)

The cross domain desktop compositor: using hardware-based video compositing for a multi-level secure user interface. - Mark R. Beaumont; Jim McCarthy; Toby C. Murray (ACSAC, 2016)

N-PAT: A Nested Model-Checker - (System Description). - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (IJCAR (2), 2020)

RL: a Language for Formal Engineering. - Hadrien Bride; Jin Song Dong; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (ICECCS, 2020)

N-PAT: A Nested Model-Checker. - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (CoRR, 2020)

Pre-Launch Calibration Methods of OCI on the Pace Mission. - Joseph J. Knuble; Gerhard Meister; Leland H. Chemerys; Hyeungu Choi; Nicholas R. Collins; Robert E. Eplee; Ulrik Gliese; Eric T. Gorman; Kim S. Jepsen; Samuel Kitchen-McKinley; Shihyan Lee; Jeffrey McIntire; et al. (IGARSS, 2023)