Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient distributed SAT and SAT-based distributed Bounded Model Checking.

M. Ganai, A. Gupta, Z. Yang, and P. Ashar. Int. J. Softw. Tools Technol. Transf., 8 (4-5): 387-396 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ara Malayan

Vahid Hosseini Malayeri

Hamid Reza Hosseiny Malayeri

Aman K K Bhasin

K Schweizerhof

Other publications of authors with the same name

SIVA: A System for Coverage-Directed State Space Search.M. Ganai, P. Yalagandula, A. Aziz, A. Kuehlmann, and V. Singhal. J. Electron. Test., 17 (1): 11-27 (2001)DiVer: SAT-Based Model Checking Platform for Verifying Large Scale Systems.M. Ganai, A. Gupta, and P. Ashar. TACAS, volume 3440 of Lecture Notes in Computer Science, page 575-580. Springer, (2005)Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables.C. Wang, and M. Ganai. RV, volume 7186 of Lecture Notes in Computer Science, page 4-18. Springer, (2011)BEST: A symbolic testing tool for predicting multi-threaded program failures.M. Ganai, N. Arora, C. Wang, A. Gupta, and G. Balakrishnan. ASE, page 596-599. IEEE Computer Society, (2011)Abstraction and BDDs Complement SAT-Based BMC in DiVer.A. Gupta, M. Ganai, C. Wang, Z. Yang, and P. Ashar. CAV, volume 2725 of Lecture Notes in Computer Science, page 206-209. Springer, (2003)Efficient state space exploration: Interleaving stateless and state-based model checking.M. Ganai, C. Wang, and W. Li. ICCAD, page 786-793. IEEE, (2010)Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.S. Gao, M. Ganai, F. Ivancic, A. Gupta, S. Sankaranarayanan, and E. Clarke. FMCAD, page 81-89. IEEE, (2010)Efficient decision procedure for non-linear arithmetic constraints using CORDIC.M. Ganai, and F. Ivancic. FMCAD, page 61-68. IEEE, (2009)Circuit-based Boolean Reasoning.A. Kuehlmann, M. Ganai, and V. Paruthi. DAC, page 232-237. ACM, (2001)Localization and Register Sharing for Predicate Abstraction.H. Jain, F. Ivancic, A. Gupta, and M. Ganai. TACAS, volume 3440 of Lecture Notes in Computer Science, page 397-412. Springer, (2005)

BibSonomy

Disambiguation of "Ganai, Malay K."

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient distributed SAT and SAT-based distributed Bounded Model Checking.

Please choose a person to relate this publication to

Ara Malayan

Vahid Hosseini Malayeri

Hamid Reza Hosseiny Malayeri

Aman K K Bhasin

K Schweizerhof

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Ganai, Malay K."

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Efficient distributed SAT and SAT-based distributed Bounded Model Checking.

Please choose a person to relate this publication to

Ara Malayan

Vahid Hosseini Malayeri

Hamid Reza Hosseiny Malayeri

Aman K K Bhasin

K Schweizerhof

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient distributed SAT and SAT-based distributed Bounded Model Checking.