The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brian Bailey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    CODES, 1999, pp:211-212 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:710-711 [Conf]
  3. 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? [Citation Graph (0, 0)][DBLP]
    DAC, 2002, pp:479- [Conf]
  4. Lloyd Rutledge, Brian Bailey, Jacco van Ossenbruggen, Lynda Hardman, Joost Geurts
    Generating presentation constraints from rhetorical structure. [Citation Graph (0, 0)][DBLP]
    Hypertext, 2000, pp:19-28 [Conf]
  5. Brian Bailey, Daniel Gajski
    RTL semantics and methodology. [Citation Graph (0, 0)][DBLP]
    ISSS, 2001, pp:69-74 [Conf]
  6. Wolfgang Rosenstiel, Brian Bailey, Masahiro Fujita, Guang R. Gao, Rajesh K. Gupta, Preeti Ranjan Panda
    New design paradigms. [Citation Graph (0, 0)][DBLP]
    ISSS, 2001, pp:94- [Conf]
  7. Brian Bailey
    Is formal being squeezed out of functional verification? [Citation Graph (0, 0)][DBLP]
    MEMOCODE, 2004, pp:143- [Conf]
  8. Brian Bailey
    Interactive sketching of multimedia storyboards. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia (2), 1999, pp:205-206 [Conf]
  9. Brian Bailey
    Was it worth the wait? Yes! [Citation Graph (0, 0)][DBLP]
    IEEE Design & Test of Computers, 2006, v:23, n:2, pp:160-161 [Journal]

  10. Can Mutation Analysis Help Fix Our Broken Coverage Metrics?. [Citation Graph (, )][DBLP]


  11. A collaborative interface for managing design alternatives. [Citation Graph (, )][DBLP]


Search in 0.108secs, Finished in 0.109secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002