Bryan A. Brady
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2011
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DAC | Abstraction-based performance verification of NoCs. | Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia |
| 2011 | DATE | Counterexample-guided SMT-driven optimal buffer sizing. | Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia |
| 2011 | FMCAD | Learning conditional abstractions. | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia |
| 2010 | MEMOCODE | ATLAS: Automatic Term-level abstraction of RTL designs. | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary |
| 2007 | TACAS | Deciding Bit-Vector Arithmetic with Abstraction. | Randal E. Bryant, Daniel Kroening, Jol Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady |