( en | de | ru )

 

Disambiguation of "Bailey, Brian"

Author of the publication

copydeleteadd this publication to your clipboard
Panel: What's the next 'big thing' in simulation-based verification?

, , , , , , and . HLDVT, page 175. IEEE Computer Society, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christopher Bailey

Rolf-Walter Briant

Benoît Briand

Paul Bailey

Sam Bailey

 

Other publications of authors with the same name

Formal verification - prove it or pitch it., , , , , , , , and . DAC, page 710-711. ACM, (2003)ESL design and verification: a prescription for electronic system level methodology, , and . Morgan Kaufmann Publishers, San Francisco, CA, (2007)RTL semantics and methodology., and . ISSS, page 69-74. ACM / IEEE Computer Society, (2001)How standards will enable hardware/software co-design., , , , , , , , and . CODES, page 211-212. ACM, (1999)Panel: What's the next 'big thing' in simulation-based verification?, , , , , , and . HLDVT, page 175. IEEE Computer Society, (2003)Is formal being squeezed out of functional verification?. MEMOCODE, page 143. IEEE Computer Society, (2004)Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?, , , , , , , and . DAC, page 479. ACM, (2002)Interactive sketching of multimedia storyboards.. ACM Multimedia (2), page 205-206. ACM, (1999)Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.. Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 5. Springer, (2008)Was it worth the wait? Yes!. IEEE Des. Test Comput., 23 (2): 160-161 (2006)