Bryan A. Brady

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia
Learning conditional abstractions. FMCAD (2011)
Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia
Abstraction-based performance verification of NoCs. DAC (2011)
Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia
Counterexample-guided SMT-driven optimal buffer sizing. DATE (2011)
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary
ATLAS: Automatic Term-level abstraction of RTL designs. MEMOCODE (2010)
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady
An abstraction-based decision procedure for bit-vector arithmetic. Int. J. Softw. Tools Technol. Transf. 11 (2) (2009)
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady
Deciding Bit-Vector Arithmetic with Abstraction. TACAS (2007)
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS (2007)
Bryan A. Brady, Alex K. Jones, Ivan S. Kourtev
Efficient CAD development for emerging technologies using Objective-C and Cocoa. ICECS (2004)