dblp.uni-trier.dewww.uni-trier.de

Hari Mony

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEAdrian E. Seigler, Gary A. Van Huben, Hari Mony: Formal Verification of Partial Good Self-Test Fencing Structures. FMCAD 2007: 188-191
2006
6EETilman 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
5EEJason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen: Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD 2006
2005
4EEJason Baumgartner, Hari Mony: Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. CHARME 2005: 222-237
3EEHari Mony, Jason Baumgartner, Adnan Aziz: Exploiting Constraints in Transformation-Based Verification. CHARME 2005: 269-284
2EEHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman: Exploiting suspected redundancy without proving it. DAC 2005: 463-466
2004
1EEHari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann: Scalable Automated Verification via Expert-System Guided Transformations. FMCAD 2004: 159-173

Coauthor Index

1Adnan Aziz [3]
2Jason Baumgartner [1] [2] [3] [4] [5] [6]
3Tilman Glökler [6]
4Gary A. Van Huben [6] [7]
5Geert Janssen [5]
6Robert Kanzelman [1] [2] [5]
7Andreas Kuehlmann [1]
8Viresh Paruthi [1] [2] [5]
9Barinjato Ramanandray [6]
10Paul Roessler [6]
11A. E. (Rick) Seigler (Adrian E. Seigler) [6] [7]
12Devi Shanmugam [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)