Brian Bailey

According to our database, Brian Bailey authored at least 14 papers between 1999 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Social machines in practice: solutions, stakeholders and scopes.

Clare J. Hooper, Brian Bailey, Hugh Glaser, James A. Hendler

Proceedings of the 8th ACM Conference on Web Science, 2016

2012

Understanding the Accellera SCE-MI Transaction Pipes.

John Stickley, Deepak Kumar Garg, Brian Bailey, Jaekwang Lee, Amy Lim, Per Bojsen, Ramesh Chandra, Ajeya Prabhakar

IEEE Des. Test Comput., 2012

2008

Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.

Brian Bailey

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test.

Sunil Kakkar, Janick Bergeron, Brian Bailey, Harry Foster, Ian Harris

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006

Was it worth the wait? Yes!

Brian Bailey

IEEE Des. Test Comput., 2006

2004

Is formal being squeezed out of functional verification?

Brian Bailey

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

2003

Panel: What's the next 'big thing' in simulation-based verification?

Moshe Levinger, Avi Ziv, Brian Bailey, Jacob Abraham, Bob Bentley, William H. Joyner, Yaron Kas

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

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

Proceedings of the 40th Design Automation Conference, 2003

2002

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

Proceedings of the 39th Design Automation Conference, 2002

2001

New Design Paradigms: What Needs to be Standardized?.

Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

RTL semantics and methodology.

Brian Bailey, Daniel Gajski

Proceedings of the 14th International Symposium on Systems Synthesis, 2001

2000

Generating presentation constraints from rhetorical structure.

Lloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts

Proceedings of the HYPERTEXT 2000, Proceedings of the 11th ACM Conference on Hypertext and Hypermedia, May 30, 2000

1999

Interactive sketching of multimedia storyboards.

Brian Bailey

Proceedings of the 7th ACM International Conference on Multimedia '99, Orlando, FL, USA, October 30, 1999

How standards will enable hardware/software co-design.

Mark Genoe, Christopher K. Lennard, Joachim Kunkel, Brian Bailey, Gjalt G. de Jong, Grant Martin, M. M. Kamal Hashmi, Shay Ben-Chorin, Anssi Haverinen

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999