Efficient CAD development for emerging technologies using Objective-C and Cocoa. - Bryan A. Brady; Alex K. Jones; Ivan S. Kourtev (ICECS, 2004)

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. - Susmit Jha; Bryan A. Brady; Sanjit A. Seshia (FORMATS, 2007)

Deciding Bit-Vector Arithmetic with Abstraction. - Randal E. Bryant; Daniel Kroening; Joël Ouaknine; Sanjit A. Seshia; Ofer Strichman; Bryan A. Brady (TACAS, 2007)

An abstraction-based decision procedure for bit-vector arithmetic. - Randal E. Bryant; Daniel Kroening; Joël Ouaknine; Sanjit A. Seshia; Ofer Strichman; Bryan A. Brady (Int. J. Softw. Tools Technol. Transf., 2009)

ATLAS: Automatic Term-level abstraction of RTL designs. - Bryan A. Brady; Randal E. Bryant; Sanjit A. Seshia; John W. O'Leary (MEMOCODE, 2010)

Abstraction-based performance verification of NoCs. - Daniel E. Holcomb; Bryan A. Brady; Sanjit A. Seshia (DAC, 2011)

Counterexample-guided SMT-driven optimal buffer sizing. - Bryan A. Brady; Daniel E. Holcomb; Sanjit A. Seshia (DATE, 2011)

Learning conditional abstractions. - Bryan A. Brady; Randal E. Bryant; Sanjit A. Seshia (FMCAD, 2011)

Automatic Term-Level Abstraction. - Bryan A. Brady (2011)