☰

Hari Mony, Ph.D. - Publications

Affiliations: 
2008 Department of Electrical and Computer Engineering University of Texas at Austin, Austin, Texas, U.S.A. 
Area:
Electronics and Electrical Engineering, Computer Science
Tree Info Similar researchers PubMed Report error

14 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2014 Nalla PK, Gajavelly RK, Mony H, Baumgartner J, Kanzelman R. Effective liveness verification using a transformation-based framework Proceedings of the Ieee International Conference On Vlsi Design. 74-79. DOI: 10.1109/VLSID.2014.20  0.449
2014 Xu J, Williams M, Mony H, Baumgartner J. Scalable reachability analysis via automated dynamic netlist-based hint generation Formal Methods in System Design. 45: 144-164. DOI: 10.1007/s10703-014-0213-0  0.416
2012 Xu J, Williams M, Mony H, Baumgartner J. Enhanced reachability analysis via automated dynamic netlist-based hint generation 2012 Formal Methods in Computer-Aided Design, Fmcad 2012. 157-164.  0.445
2012 Baumgartner J, Ivrii A, Matsliah A, Mony H. IC3-guided abstraction 2012 Formal Methods in Computer-Aided Design, Fmcad 2012. 182-185.  0.369
2009 Baumgartner J, Mony H. Scalable liveness checking via property-preserving transformations Proceedings -Design, Automation and Test in Europe, Date. 1680-1685.  0.551
2009 Mony H, Baumgartner J, Mishchenko A, Brayton R. Speculative reduction-based scalable redundancy identification Proceedings -Design, Automation and Test in Europe, Date. 1674-1679.  0.432
2008 Baumgartner J, Mony H, Aziz A. Optimal constraint-preserving netlist simplification Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad. DOI: 10.1109/FMCAD.2008.ECP.7  0.531
2008 Case ML, Mishchenko A, Brayton RK, Baumgartner J, Mony H. Invariant-strengthened elimination of dependent state elements Proceedings of the 2008 International Conference On Formal Methods in Computer-Aided Design, Fmcad. DOI: 10.1109/FMCAD.2008.ECP.6  0.338
2007 Seigler AE, Van Huben GA, Mony H. Formal verification of partial good self-test fencing structures Proceedings - Formal Methods in Computer Aided Design, Fmcad 2007. 188-191. DOI: 10.1109/FAMCAD.2007.28  0.352
2006 Baumgartner J, Mony H, Paruthi V, Kanzelman R, Janssen G. Scalable sequential equivalence checking across arbitrary design transformations Ieee International Conference On Computer Design, Iccd 2006. 259-266. DOI: 10.1109/ICCD.2006.4380826  0.543
2006 Glökler T, Baumgartner J, Shanmugam D, Seigler R, Van Huben G, Rarnanandray B, Mony H, Roessler P. Enabling large-scale pervasive logic verification through multi-algorithmic formal reasoning Proceedings of Formal Methods in Computer Aided Design, Fmcad 2006. 3-10. DOI: 10.1109/FMCAD.2006.12  0.349
2005 Baumgartner J, Mony H. Maximal input reduction of sequential netlists via synergistic reparameterization and localization strategies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 222-237. DOI: 10.1007/11560548_18  0.471
2005 Mony H, Baumgartner J, Paruthi V, Kanzelman R. Exploiting suspected redundancy without proving it Proceedings - Design Automation Conference. 463-466.  0.455
2004 Mony H, Baumgartner J, Paruthi V, Kanzelman R, Kuehlmann A. Scalable automated verification via expert-system guided transformations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3312: 159-173.  0.495
Show low-probability matches.