Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? - Prasenjit Basu; Sayantan Das 001; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (DATE, 2004)

Formal verification coverage: computing the coverage gap between temporal specifications. - Sayantan Das 001; Prasenjit Basu; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (ICCAD, 2004)

Property Refinement Techniques for Enhancing Coverage of Formal Property Verification. - Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan (VLSI Design, 2004)

SAT based solutions for consistency problems in formal property specifications for open systems. - Suchismita Roy; Sayantan Das 001; Prasenjit Basu; Pallab Dasgupta; Partha Pratim Chakrabarti (ICCAD, 2005)

Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules. - Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001 (VLSI Design, 2005)

Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. - Sayantan Das 001; Ansuman Banerjee; Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix (VLSI Design, 2005)

Discovering the input assumptions in specification refinement coverage. - Prasenjit Basu; Sayantan Das 001; Pallab Dasgupta; Partha Pratim Chakrabarti (ASP-DAC, 2006)

What lies between design intent coverage and model checking? - Sayantan Das 001; Prasenjit Basu; Pallab Dasgupta; P. P. Chakrabarti 001 (DATE, 2006)

Design-Intent Coverage - A New Paradigm for Formal Property Verification. - Prasenjit Basu; Sayantan Das 001; Ansuman Banerjee; Pallab Dasgupta; P. P. Chakrabarti 001; Chunduri Rama Mohan; Limor Fix; Roy Armoni (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Design intent coverage revisited. - Arnab Sinha; Pallab Dasgupta; Bhaskar Pal; Sayantan Das 001; Prasenjit Basu; P. P. Chakrabarti 001 (ACM Trans. Design Autom. Electr. Syst., 2009)

Online Recommendation of Learning Path for an E-Learner under Virtual University. - Prasenjit Basu; Suman Bhattacharya; Samir Roy (ICDCIT, 2013)

A Cache-Aware Strategy for H.264 Decoding on Multi-processor Architectures. - Arani Bhattacharya; Ansuman Banerjee; Susmita Sur-Kolay; Prasenjit Basu; Bhaskar J. Karmakar (VDAT, 2013)

Keep It or Not: Word Level Quality Estimation for Post-Editing. - Prasenjit Basu; Santanu Pal; Sudip Kumar Naskar (WMT (shared task), 2018)