Brian Bailey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2004
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | MEMOCODE | Is formal being squeezed out of functional verification? | Brian Bailey |
| 2003 | DAC | Formal verification - prove it or pitch it. | Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi |
| 2002 | DAC | Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? | Gary Smith, Daya Nadamuni, Sharad Malik, Rick Chapman, John Fogelin, Kurt Keutzer, Grant Martin, Brian Bailey |