Jim McCarthy

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 5

Top Topics

Specification Language

Pedagogical Scenarios

Top Venues

Publications

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
Pre-Launch Calibration Methods of OCI on the Pace Mission. IGARSS (2023)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
RL: a Language for Formal Engineering. ICECCS (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Mark R. Beaumont, Jim McCarthy, Toby C. Murray
The cross domain desktop compositor: using hardware-based video compositing for a multi-level secure user interface. ACSAC (2016)
Tristan Newby, Duncan A. Grove, Alex Murray, Chris A. Owen, Jim McCarthy, Chris J. North
Annex: A Middleware for Constructing High-Assurance Software Systems. AISC (2015)
Tony Cant, Ben Long, Jim McCarthy, Brendan P. Mahony, Kylie Williams
The HiVe Writer. Electron. Notes Theor. Comput. Sci. 217 (2008)