Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Antonio Scorpiniti
Claudia Calabrese
Hao Mao
Kristin Andersson
Peter Malec
Andrea Abrardo
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
HARI MONY
Author Info
Open Visualization
Name
Affiliation
Papers
HARI MONY
IBM Systems & Technology Group, Austin, TX
22
Collaborators
Citations
PageRank
28
186
13.30
Referers
Referees
References
283
320
321
Search Limit
100
320
Publications (22 rows)
Collaborators (28 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
The art of semi-formal bug hunting.
0
0.34
2016
Scalable reachability analysis via automated dynamic netlist-based hint generation
6
0.55
2014
Effective Liveness Verification Using a Transformation-Based Framework
0
0.34
2014
GLA: gate-level abstraction revisited
7
0.51
2013
Enhanced reachability analysis via automated dynamic netlist-based hint generation
1
0.37
2012
Approximate reachability with combined symbolic and ternary simulation
1
0.37
2011
Hybrid verification of a hardware modular reduction engine
1
0.36
2011
Optimal redundancy removal without fixedpoint computation
0
0.34
2011
Coping with Moore's law (and more): supporting arrays in state-of-the-art model checkers
2
0.40
2010
Enhanced verification by temporal decomposition.
4
0.44
2009
Speculative reduction-based scalable redundancy identification
13
0.81
2009
Scalable conditional equivalence checking: An automated invariant-generation based approach
5
0.60
2009
Scalable liveness checking via property-preserving transformations
2
0.40
2009
Invariant-strengthened elimination of dependent state elements
4
0.43
2008
Optimal constraint-preserving netlist simplification
7
0.50
2008
Formal Verification of Partial Good Self-Test Fencing Structures
2
0.38
2007
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning
6
0.57
2006
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations
33
1.37
2006
Exploiting constraints in transformation-based verification
7
0.50
2005
Exploiting suspected redundancy without proving it
28
1.27
2005
Maximal input reduction of sequential netlists via synergistic reparameterization and localization strategies
16
0.78
2005
Scalable Automated Verification via Expert-System Guided Transformations
41
1.69
2004
1
