Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Bryan A. Brady

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dac/HolcombBS11
- ask others
Daniel E. Holcomb, Bryan A. Brady, Sanjit A. Seshia: Abstraction-based performance verification of NoCs. DAC 2011: 492-497
[c5]
- view
  - electronic edition @ ieee.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/date/BradyHS11
- ask others
Bryan A. Brady, Daniel E. Holcomb, Sanjit A. Seshia: Counterexample-guided SMT-driven optimal buffer sizing. DATE 2011: 329-334
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmcad/BradyBS11
- ask others
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia: Learning conditional abstractions. FMCAD 2011: 116-124
2010
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/memocode/BradyBSO10
- ask others
Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary: ATLAS: Automatic Term-level abstraction of RTL designs. MEMOCODE 2010: 31-40

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/sttt/BryantKOSSB09
- ask others
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. STTT 11(2): 95-104 (2009)
2007
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/formats/JhaBS07
- ask others
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia: Symbolic Reachability Analysis of Lazy Linear Hybrid Automata. FORMATS 2007: 241-256
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/BryantKOSSB07
- ask others
Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan A. Brady: Deciding Bit-Vector Arithmetic with Abstraction. TACAS 2007: 358-372

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?