Brian Bailey

14 papers A* 3C 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2016 — conf
Social machines in practice: solutions, stakeholders and scopes.
WebSci
Clare J. Hooper, Brian Bailey, Hugh Glaser, James A. Hendler
2012 J jnl
Understanding the Accellera SCE-MI Transaction Pipes.
IEEE Des. Test Comput.
John Stickley, Deepak Kumar Garg, Brian Bailey, Jaekwang Lee, Amy Lim, Per Bojsen, Ramesh Chandra, Ajeya Prabhakar
2008 — conf
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.
Haifa Verification Conference
Brian Bailey
2007 — conf
Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test.
HLDVT
Sunil Kakkar, Janick Bergeron, Brian Bailey, Harry Foster, Ian Harris
2006 J jnl
Was it worth the wait? Yes!
IEEE Des. Test Comput.
Brian Bailey
2004 C conf
Is formal being squeezed out of functional verification?
MEMOCODE
Brian Bailey
2003 A* conf
Formal verification - prove it or pitch it.
DAC
Rajesh K. Gupta, Shishpal Rawat, Sandeep K. Shukla, Brian Bailey, Daniel K. Beece, Masahiro Fujita, Carl Pixley, John O'Leary, Fabio Somenzi
2003 — conf
Panel: What's the next 'big thing' in simulation-based verification?
HLDVT
Moshe Levinger, Avi Ziv, Brian Bailey, Jacob Abraham, Bob Bentley, William H. Joyner, Yaron Kas
2002 A* conf
Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?
DAC
Gary Smith, Daya Nadamuni, Sharad Malik, Rick Chapman, John Fogelin, Kurt Keutzer, Grant Martin, Brian Bailey
2001 — conf
New Design Paradigms: What Needs to be Standardized?.
ISSS
Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda
2001 — conf
RTL semantics and methodology.
ISSS
Brian Bailey, Daniel Gajski
2000 — conf
Generating presentation constraints from rhetorical structure.
Hypertext
Lloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts
1999 — conf
How standards will enable hardware/software co-design.
CODES
Mark Genoe, Christopher K. Lennard, Joachim Kunkel, Brian Bailey, Gjalt G. de Jong, Grant Martin, M. M. Kamal Hashmi, Shay Ben-Chorin, Anssi Haverinen
1999 A* conf
Interactive sketching of multimedia storyboards.
ACM Multimedia (2)
Brian Bailey