The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hari Mony: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hari Mony, Jason Baumgartner, Adnan Aziz
    Exploiting Constraints in Transformation-Based Verification. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:269-284 [Conf]
  2. Jason Baumgartner, Hari Mony
    Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:222-237 [Conf]
  3. Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman
    Exploiting suspected redundancy without proving it. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:463-466 [Conf]
  4. Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
    Scalable Automated Verification via Expert-System Guided Transformations. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:159-173 [Conf]
  5. Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler
    Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:3-10 [Conf]

  6. Speculative reduction-based scalable redundancy identification. [Citation Graph (, )][DBLP]


  7. Scalable liveness checking via property-preserving transformations. [Citation Graph (, )][DBLP]


  8. Enhanced verification by temporal decomposition. [Citation Graph (, )][DBLP]


  9. Optimal Constraint-Preserving Netlist Simplification. [Citation Graph (, )][DBLP]


  10. Formal Verification of Partial Good Self-Test Fencing Structures. [Citation Graph (, )][DBLP]


  11. Scalable conditional equivalence checking: An automated invariant-generation based approach. [Citation Graph (, )][DBLP]


  12. Invariant-Strengthened Elimination of Dependent State Elements. [Citation Graph (, )][DBLP]


  13. Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . [Citation Graph (, )][DBLP]


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