Brian Bailey

Publication Activity (10 Years)

Years Active: 1999-2016
Publications (10 Years): 1

Top Topics

Social Responsibility

Evolutionary Algorithm

Technological Solutions

Transaction Model

Top Venues

IEEE Des. Test Comput.

Publications

Clare J. Hooper, Brian Bailey, Hugh Glaser, James A. Hendler
Social machines in practice: solutions, stakeholders and scopes. WebSci (2016)
John Stickley, Deepak Kumar Garg, Brian Bailey, Jaekwang Lee, Amy Lim, Per Bojsen, Ramesh Chandra, Ajeya Prabhakar
Understanding the Accellera SCE-MI Transaction Pipes. IEEE Des. Test Comput. 29 (2) (2012)
Brian Bailey
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?. Haifa Verification Conference (2008)
Sunil Kakkar, Janick Bergeron, Brian Bailey, Harry Foster, Ian Harris
Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test. HLDVT (2007)
Brian Bailey
Was it worth the wait? Yes! IEEE Des. Test Comput. 23 (2) (2006)
Brian Bailey
Is formal being squeezed out of functional verification? MEMOCODE (2004)
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)
Moshe Levinger, Avi Ziv, Brian Bailey, Jacob Abraham, Bob Bentley, William H. Joyner, Yaron Kas
Panel: What's the next 'big thing' in simulation-based verification? HLDVT (2003)
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)
Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda
New Design Paradigms: What Needs to be Standardized?. ISSS (2001)
Brian Bailey, Daniel Gajski
RTL semantics and methodology. ISSS (2001)
Lloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts
Generating presentation constraints from rhetorical structure. Hypertext (2000)
Brian Bailey
Interactive sketching of multimedia storyboards. ACM Multimedia (2) (1999)
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)