2008 |
10 | EE | Brian Bailey:
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.
Haifa Verification Conference 2008: 5 |
2006 |
9 | EE | Brian Bailey:
Was it worth the wait? Yes!
IEEE Design & Test of Computers 23(2): 160-161 (2006) |
2004 |
8 | EE | Brian Bailey:
Is formal being squeezed out of functional verification?
MEMOCODE 2004: 143 |
2003 |
7 | EE | Rajesh K. Gupta,
Shishpal Rawat,
Sandeep K. Shukla,
Brian Bailey,
Daniel K. Beece,
Masahiro Fujita,
Carl Pixley,
John O'Leary,
Fabio Somenzi:
Formal verification - prove it or pitch it.
DAC 2003: 710-711 |
2002 |
6 | EE | Gary Smith,
Daya Nadamuni,
Sharad Malik,
Rick Chapman,
John Fogelin,
Kurt Keutzer,
Grant Martin,
Brian Bailey:
Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?
DAC 2002: 479 |
2001 |
5 | | Brian Bailey,
Daniel Gajski:
RTL semantics and methodology.
ISSS 2001: 69-74 |
4 | | Wolfgang Rosenstiel,
Brian Bailey,
Masahiro Fujita,
Guang R. Gao,
Rajesh K. Gupta,
Preeti Ranjan Panda:
New design paradigms.
ISSS 2001: 94 |
2000 |
3 | EE | Lloyd Rutledge,
Brian Bailey,
Jacco van Ossenbruggen,
Lynda Hardman,
Joost Geurts:
Generating presentation constraints from rhetorical structure.
Hypertext 2000: 19-28 |
1999 |
2 | EE | Brian Bailey:
Interactive sketching of multimedia storyboards.
ACM Multimedia (2) 1999: 205-206 |
1 | EE | Mark Genoe,
Christopher K. Lennard,
Joachim Kunkel,
Brian Bailey,
Gjalt G. de Jong,
Grant Martin,
M. M. Kamal Hashmi,
Shay Ben-Chorin,
Anssi Haverinen:
How standards will enable hardware/software co-design.
CODES 1999: 211-212 |