The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hiroaki Iwashita: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
    Formal verification based on assume and guarantee approach - a case study (short paper). [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2000, pp:77-80 [Conf]
  2. Hiroaki Iwashita, Tsuneo Nakata
    Forward model checking techniques oriented to buggy designs. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1997, pp:400-404 [Conf]
  3. Hiroaki Iwashita, Satoshi Kowatari, Tsuneo Nakata, Fumiyasu Hirose
    Automatic test program generation for pipelined processors. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1994, pp:580-583 [Conf]
  4. Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose
    CTL model checking based on forward state traversal. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1996, pp:82-87 [Conf]
  5. Subir K. Roy, Hiroaki Iwashita, Tsuneo Nakata
    Dataflow Analysis for Resource Contention and Register Leakage Properties. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2000, pp:418-423 [Conf]

Search in 0.002secs, Finished in 0.002secs
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