Prasenjit Basu

According to our database, Prasenjit Basu authored at least 13 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Keep It or Not: Word Level Quality Estimation for Post-Editing.

Prasenjit Basu, Santanu Pal, Sudip Kumar Naskar

Proceedings of the Third Conference on Machine Translation: Shared Task Papers, 2018

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

Proceedings of the VLSI Design and Test, 17th International Symposium, 2013

Online Recommendation of Learning Path for an E-Learner under Virtual University.

Prasenjit Basu, Suman Bhattacharya, Samir Roy

Proceedings of the Distributed Computing and Internet Technology, 2013

2009

Design intent coverage revisited.

Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti

ACM Trans. Design Autom. Electr. Syst., 2009

2006

Design-Intent Coverage - A New Paradigm for Formal Property Verification.

Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

What lies between design intent coverage and model checking?

Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Discovering the input assumptions in specification refinement coverage.

Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006

2005

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

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.

Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the 18th International Conference on VLSI Design (VLSI Design 2005), 2005

SAT based solutions for consistency problems in formal property specifications for open systems.

Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.

Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan

Proceedings of the 17th International Conference on VLSI Design (VLSI Design 2004), 2004

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

Proceedings of the 2004 International Conference on Computer-Aided Design, 2004

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

Proceedings of the 2004 Design, 2004