Hierarchical Specification of System Behavior. - Robert W. Sumners; Jacob A. Abraham (HASE, 1997)

Lightweight guided random simulation. - Robert W. Sumners; Parminder Chhabra; Jacob A. Abraham (ISSRE, 1998)

Improving Witness Search Using Orders on States. - Robert W. Sumners; Jayanta Bhadra; Jacob A. Abraham (ICCD, 1999)

Automatic Validation Test Generation Using Extracted Control Models. - Robert W. Sumners; Jayanta Bhadra; Jacob A. Abraham (VLSI Design, 2000)

Combining Theorem Proving with Model Checking through Predicate Abstraction. - Sandip Ray; Rob Sumners (IEEE Des. Test Comput., 2007)

Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems. - Shobha Vasudevan; Vinod Viswanath; Robert W. Sumners; Jacob A. Abraham (IEEE Trans. Computers, 2007)

Efficient execution in an automated reasoning environment. - David A. Greve; Matt Kaufmann; Panagiotis Manolios; J Strother Moore; Sandip Ray; José-Luis Ruiz-Reina; Rob Sumners; Daron Vroon 001; Matthew Wilding (J. Funct. Program., 2008)

Specification and Verification of Concurrent Programs Through Refinements. - Sandip Ray; Rob Sumners (J. Autom. Reason., 2013)

Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications. - Rob Sumners (ACL2, 2017)

A Toolbox For Property Checking From Simulation Using Incremental SAT (Extended Abstract). - Rob Sumners (CoRR, 2018)

Verifying x86 instruction implementations. - Shilpi Goel; Anna Slobodová; Rob Sumners; Sol Swords (CPP, 2020)

Computing and Proving Well-founded Orderings through Finite Abstractions. - Rob Sumners (ACL2, 2020)

Balancing Automation and Control for Formal Verification of Microprocessors. - Shilpi Goel; Anna Slobodová; Rob Sumners; Sol Swords (CAV (1), 2021)