Sayantan Das

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 4

Top Topics

Randomized Algorithm

Top Venues

Electron. J. Comb.

IEEE Geosci. Remote. Sens. Lett.

IEEE Trans. Instrum. Meas.

Publications

Sayantan Das, Mojtaba Kolahdouzi, Levent Ozparlak, Will Hickie, Ali Etemad
Unmasking Deepfakes: Masked Autoencoding Spatiotemporal Transformers for Enhanced Video Forgery Detection. CoRR (2023)
Swalpa Kumar Roy, Sayantan Das, Tiecheng Song, Bhabatosh Chanda
DARecNet-BS: Unsupervised Dual-Attention Reconstruction Network for Hyperspectral Band Selection. IEEE Geosci. Remote. Sens. Lett. 18 (12) (2021)
Imen Chakroun, Thomas J. Ashby, Sayantan Das, Sandip Halder, Roel Wuyts, Wilfried Verachtert
Using Unsupervised Machine Learning for Plasma Etching Endpoint Detection. ICPRAM (2020)
Javad R. Gatabi, Sayantan Das, Farshid Forouzbakhsh
The Effect of Amplitude Modulation on the Axial Resolution of Doppler-Based Ultrasonic Topography Measurement. IEEE Trans. Instrum. Meas. 65 (12) (2016)
Bhaswar B. Bhattacharya, Sayantan Das, Shirshendu Ganguly
Minimum-Weight Edge Discriminators in Hypergraphs. Electron. J. Comb. 21 (3) (2014)
Arnab Sinha, Pallab Dasgupta, Bhaskar Pal, Sayantan Das, Prasenjit Basu, P. P. Chakrabarti
Design intent coverage revisited. ACM Trans. Design Autom. Electr. Syst. 14 (1) (2009)
Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti
What lies between design intent coverage and model checking? DATE (2006)
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti
Discovering the input assumptions in specification refinement coverage. ASP-DAC (2006)
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P. Chakrabarti
Synthesis of system verilog assertions. DATE Designers' Forum (2006)
Prasenjit Basu, Sayantan Das, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
Design-Intent Coverage - A New Paradigm for Formal Property Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (10) (2006)
Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta
Test generation games from formal specifications. DAC (2006)
Sayantan Das, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model. VLSI Design (2005)
Suchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti
SAT based solutions for consistency problems in formal property specifications for open systems. ICCAD (2005)
Sayantan Das, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix, Roy Armoni
Formal verification coverage: computing the coverage gap between temporal specifications. ICCAD (2004)
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, P. P. Chakrabarti, Chunduri Rama Mohan, Limor Fix
Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent? DATE (2004)