Bryan A. Brady

According to our database, Bryan A. Brady authored at least 9 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2011

Automatic Term-Level Abstraction.

Bryan A. Brady

PhD thesis, 2011

Learning conditional abstractions.

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Counterexample-guided SMT-driven optimal buffer sizing.

Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia

Proceedings of the Design, Automation and Test in Europe, 2011

Abstraction-based performance verification of NoCs.

Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia

Proceedings of the 48th Design Automation Conference, 2011

2010

ATLAS: Automatic Term-level abstraction of RTL designs.

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

2009

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

2007

Deciding Bit-Vector Arithmetic with Abstraction.

Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2004

Efficient CAD development for emerging technologies using Objective-C and Cocoa.

Bryan A. Brady, Alex K. Jones, Ivan S. Kourtev

Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004