Prasenjit Basu

13 papers A 4Misc 4Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2018 — conf
Keep It or Not: Word Level Quality Estimation for Post-Editing.
WMT (shared task)
Prasenjit Basu, Santanu Pal, Sudip Kumar Naskar
2013 — conf
A Cache-Aware Strategy for H.264 Decoding on Multi-processor Architectures.
VDAT
Arani Bhattacharya, Ansuman Banerjee, Susmita Sur-Kolay, Prasenjit Basu, Bhaskar J. Karmakar
2013 Misc conf
Online Recommendation of Learning Path for an E-Learner under Virtual University.
ICDCIT
Prasenjit Basu, Suman Bhattacharya, Samir Roy
2009 J jnl
Design intent coverage revisited.
ACM Trans. Design Autom. Electr. Syst.
Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti
2006 J jnl
Design-Intent Coverage - A New Paradigm for Formal Property Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2006 — conf
Discovering the input assumptions in specification refinement coverage.
ASP-DAC
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti
2006 A conf
What lies between design intent coverage and model checking?
DATE
Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
2005 Misc conf
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.
VLSI Design
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2005 A conf
SAT based solutions for consistency problems in formal property specifications for open systems.
ICCAD
Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti
2005 Misc conf
Syntactic Transformation of Assume-Guarantee Assertions: From Sub-Modules to Modules.
VLSI Design
Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
2004 A conf
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?
DATE
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
2004 A conf
Formal verification coverage: computing the coverage gap between temporal specifications.
ICCAD
Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
2004 Misc conf
Property Refinement Techniques for Enhancing Coverage of Formal Property Verification.
VLSI Design
Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan