Travelled to:1 × France
1 × Portugal
1 × USA
Collaborated with:S.A.Seshia D.E.Holcomb R.E.Bryant D.Kröning J.Ouaknine O.Strichman
Talks about:abstract (2) counterexampl (1) arithmet (1) perform (1) vector (1) driven (1) buffer (1) verif (1) optim (1) decid (1)
Person: Bryan A. Brady
DBLP: Brady:Bryan_A=
Contributed to:
2011
2011
2007Wrote 3 papers:
- DAC-2011-HolcombBS #performance #verification
- Abstraction-based performance verification of NoCs (DEH, BAB, SAS), pp. 492–497.
- DATE-2011-BradyHS
- Counterexample-guided SMT-driven optimal buffer sizing (BAB, DEH, SAS), pp. 329–334.
- TACAS-2007-BryantKOSSB #abstraction
- Deciding Bit-Vector Arithmetic with Abstraction (REB, DK, JO, SAS, OS, BAB), pp. 358–372.