Jim McCarthy

According to our database, Jim McCarthy authored at least 7 papers between 2008 and 2023.

Collaborative distances:

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

2023

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, Frederick S. Patt, Bradley C. Tse, Eugene Waluschka, Christopher T. Field, Brendan McAndrew, Julia A. Barsi, Andrei Sushkov, Robert Bousquet, William Cook, Jeremy Werdell, Jim McCarthy, Mir Sabrina Sharmin, George Hilton

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2023

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

RL: a Language for Formal Engineering.

Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2016

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

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

Annex: A Middleware for Constructing High-Assurance Software Systems.

Tristan Newby, Duncan A. Grove, Alex Murray, Chris A. Owen, Jim McCarthy, Chris J. North

Proceedings of the 13th Australasian Information Security Conference, 2015

2008

The HiVe Writer.

Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008