( en | de | ru )

 

Disambiguation of "Bailey, Brian"

Author of the publication

copydeleteadd this publication to your clipboard
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?.

. Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, page 5. Springer, (2008)

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)Is formal being squeezed out of functional verification?. MEMOCODE, page 143. IEEE Computer Society, (2004)Panel: What's the next 'big thing' in simulation-based verification?, , , , , , and . HLDVT, page 175. IEEE Computer Society, (2003)Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant?, , , , , , , and . DAC, page 479. ACM, (2002)Was it worth the wait? Yes!. IEEE Des. Test Comput., 23 (2): 160-161 (2006)Panel: Unified approach leading to a seamlessly evolving test bench for all phases of a multi-core design, validation and production test., , , , and . HLDVT, page 167-168. IEEE Computer Society, (2007)Social machines in practice: solutions, stakeholders and scopes., , , and . WebSci, page 156-160. ACM, (2016)