☰

Malay K. Ganai, Ph.D. - Publications

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

18 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
2013 Ganai MK. Efficient data race prediction with incremental reasoning on time-stamped lock history 2013 28th Ieee/Acm International Conference On Automated Software Engineering, Ase 2013 - Proceedings. 37-47. DOI: 10.1109/ASE.2013.6693064  0.347
2011 Wang C, Kundu S, Limaye R, Ganai M, Gupta A. Symbolic predictive analysis for concurrent programs Formal Aspects of Computing. 23: 781-805. DOI: 10.1007/S00165-011-0179-2  0.333
2010 Ganai MK, Wang C, Li W. Efficient state space exploration: Interleaving stateless and state-based model checking Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 786-793. DOI: 10.1109/ICCAD.2010.5653863  0.387
2010 Ganai MK. Propelling SAT and SAT-based BMC using careset Formal Methods in Computer Aided Design, Fmcad 2010. 231-238.  0.347
2009 Ganai MK, Li W. Bang for the buck: Improvising and scheduling verification engines for effective resource utilization 2009 7th Ieee-Acm International Conference On Formal Methods and Models For Co-Design, Memocode '09. 8-17. DOI: 10.1109/MEMCOD.2009.5185373  0.326
2009 Ganai MK, Kundu S. Reduction of verification conditions for concurrent system using mutually atomic transactions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5578: 68-87. DOI: 10.1007/978-3-642-02652-2_9  0.375
2008 Zaks A, Yang Z, Shlyakhter I, Ivančić F, Cadambi S, Ganai MK, Gupta A, Ashar P. Bitwidth reduction via symbolic interval analysis for software model checking Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 1513-1517. DOI: 10.1109/Tcad.2008.925777  0.348
2008 Ivančić F, Yang Z, Ganai MK, Gupta A, Ashar P. Efficient SAT-based bounded model checking for software verification Theoretical Computer Science. 404: 256-274. DOI: 10.1016/j.tcs.2008.03.013  0.301
2007 Ganai MK, Talupur M, Gupta A. SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic Journal On Satisfiability, Boolean Modeling and Computation. 3: 91-114. DOI: 10.3233/Sat190031  0.423
2006 Ganai MK, Talupur M, Gupta A. SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3920: 135-150. DOI: 10.1007/11691372_9  0.398
2005 Jain H, Ivančić F, Gupta A, Ganai MK. Localization and register sharing for predicate abstraction Lecture Notes in Computer Science. 3440: 397-412.  0.348
2004 Ganai MK, Gupta A, Ashar P. Efficient SAT-based unbounded symbolic model checking using circuit cofactoring Ieee/Acm International Conference On Computer-Aided Design, Digest of Technical Papers, Iccad. 510-517.  0.445
2002 Kuehlmann A, Paruthi V, Krohm F, Ganai MK. Robust boolean reasoning for equivalence checking and functional property verification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 21: 1377-1394. DOI: 10.1109/Tcad.2002.804386  0.386
2002 Ganai MK, Aziz A. Improved SAT-based bounded reachability analysis Proceedings - 7th Asia and South Pacific Design Automation Conference, 15th International Conference On Vlsi Design, Asp-Dac/Vlsi Design 2002. 729-734. DOI: 10.1109/ASPDAC.2002.995020  0.441
2002 Ganai MK, Zhang L, Ashar P, Gupta A, Malik S. Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver Proceedings - Design Automation Conference. 747-750.  0.366
2001 Ganai M, Yalagandula P, Aziz A, Kuehlmann A, Singhal V. SIVA: A system for coverage-directed state space search Journal of Electronic Testing: Theory and Applications (Jetta). 17: 11-27. DOI: 10.1023/A:1011189608077  0.347
2001 Kuehlmann A, Ganai MK, Paruthi V. Circuit-based Boolean reasoning Proceedings - Design Automation Conference. 232-237.  0.332
2001 Ganai MK, Aziz A. Rarity based guided state space search Proceedings of the Ieee Great Lakes Symposium On Vlsi. 97-102.  0.441
Show low-probability matches.