| 2013 | ICDCIT | Online Recommendation of Learning Path for an E-Learner under Virtual University. | Prasenjit Basu, Suman Bhattacharya, Samir Roy |
| 2006 | ASPDAC | Discovering the input assumptions in specification refinement coverage. | Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2006 | DATE | What lies between design intent coverage and model checking? | Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti |
| 2005 | ICCAD | SAT based solutions for consistency problems in formal property specifications for open systems. | Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2005 | VLSID | Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. | Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti |
| 2005 | VLSID | Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. | Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix |
| 2004 | DATE | Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? | Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix |
| 2004 | ICCAD | Formal verification coverage: computing the coverage gap between temporal specifications. | Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni |
| 2004 | VLSID | Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. | Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan |