Window Inference in the HOL System. - Jim Grundy (TPHOLs, 1991)

A Window Inference Tool for Refinement. - Jim Grundy (Refine, 1992)

Predicative Programming - A Survey. - Jim Grundy (Formal Methods in Programming and Their Applications, 1993)

A Three-Valued Logic for Refinement. - Jim Grundy (Formal Methods in Programming and Their Applications, 1993)

A method of program refinement. - Jim Grundy (1993)

Transformational Hierarchical Reasoning. - Jim Grundy (Comput. J., 1996)

Recording HOL Proofs in a Structured Browsable Format. - Jim Grundy; Thomas Långbacka (AMAST, 1997)

Structured Calculational Proof. - Ralph-Johan Back; Jim Grundy; Joakim von Wright (Formal Aspects Comput., 1997)

Verified Optimizations for the Intel IA-64 Architecture. - Jim Grundy (TPHOLs, 2000)

Tool Building Requirements for an API to First-Order Solvers. - Jim Grundy; Thomas F. Melham; Sava Krstic; Sean McLaughlin (PDPAR@CAV, 2005)

A reflective functional language for hardware design and theorem proving. - Jim Grundy; Thomas F. Melham; John W. O'Leary (J. Funct. Program., 2006)

Combined Satisfiability Modulo Parametric Theories. - Sava Krstic; Amit Goel; Jim Grundy; Cesare Tinelli (TACAS, 2007)

Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (PEPM, 2008)

Synthesizable High Level Hardware Descriptions. - Jennifer Gillenwater; Gregory Malecha; Cherif R. Salama; Angela Yun Zhu; Walid Taha; Jim Grundy; John O'Leary (New Gener. Comput., 2010)

An Efficient 2-Phase Strategy to Achieve High Branch Coverage. - Sarvesh Prabhu; Michael S. Hsiao; Saparya Krishnamoorthy; Loganathan Lingappan; Vijay Gangaram; Jim Grundy (Asian Test Symposium, 2011)

Static consistency checking for Verilog wire interconnects - Using dependent types to check the sanity of Verilog descriptions. - Cherif R. Salama; Gregory Malecha; Walid Taha; Jim Grundy; John O'Leary (High. Order Symb. Comput., 2011)

Ground interpolation for the theory of equality - Alexander Fuchs 003; Amit Goel; Jim Grundy; Sava Krstic; Cesare Tinelli (Log. Methods Comput. Sci., 2012)

Firmware validation: challenges and opportunities. - Jim Grundy (FMCAD, 2013)

Formal co-validation of low-level hardware/software interfaces. - Alex Horn; Michael Tautschnig; Celina G. Val; Lihao Liang; Tom Melham; Jim Grundy; Daniel Kroening (FMCAD, 2013)

Relational Hoare Logic for Realistically Modelled Machine Code. - Denis Mazzucato; Abdalrhman Mohamed; Juneyoung Lee; Clark W. Barrett; Jim Grundy; John Harrison; Corina S. Pasareanu (CAV (1), 2025)