Hari Mony

	2010
14		Jason Baumgartner, Michael L. Case, Hari Mony: Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. FMCAD 2010: 61-69
	2009
13		Hari Mony, Jason Baumgartner, Alan Mishchenko, Robert K. Brayton: Speculative reduction-based scalable redundancy identification. DATE 2009: 1674-1679
12		Jason Baumgartner, Hari Mony: Scalable liveness checking via property-preserving transformations. DATE 2009: 1680-1685
11		Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav: Scalable conditional equivalence checking: An automated invariant-generation based approach. FMCAD 2009: 120-127
10		Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman: Enhanced verification by temporal decomposition. FMCAD 2009: 17-24
	2008
9		Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony: Invariant-Strengthened Elimination of Dependent State Elements. FMCAD 2008: 1-9
8		Jason Baumgartner, Hari Mony, Adnan Aziz: Optimal Constraint-Preserving Netlist Simplification. FMCAD 2008: 1-9
	2007
7		Adrian E. Seigler, Gary A. Van Huben, Hari Mony: Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD 2007: 188-191
	2006
6		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. FMCAD 2006: 3-10
5		Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen: Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD 2006
	2005
4		Jason Baumgartner, Hari Mony: Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. CHARME 2005: 222-237
3		Hari Mony, Jason Baumgartner, Adnan Aziz: Exploiting Constraints in Transformation-Based Verification. CHARME 2005: 269-284
2		Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman: Exploiting suspected redundancy without proving it. DAC 2005: 463-466
	2004
1		Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173

Coauthor Index

1	Adnan Aziz	[3] [8]
2	Jason Baumgartner	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14]
3	Robert K. Brayton	[9] [13]
4	Michael L. Case	[9] [10] [11] [14]
5	Tilman Glökler	[6]
6	Gary A. Van Huben	[6] [7]
7	Geert Janssen	[5]
8	Robert Kanzelman	[1] [2] [5] [10]
9	Andreas Kuehlmann	[1]
10	Alan Mishchenko	[9] [13]
11	Viresh Paruthi	[1] [2] [5]
12	Barinjato Ramanandray	[6]
13	Paul Roessler	[6]
14	Jun Sawada	[11]
15	A. E. (Rick) Seigler (Adrian E. Seigler)	[6] [7]
16	Devi Shanmugam	[6]
17	Karen Yorav (Karen Laster)	[11]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page