Sayantan Das
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2004–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICPRAM | Using Unsupervised Machine Learning for Plasma Etching Endpoint Detection. | Imen Chakroun, Thomas J. Ashby, Sayantan Das, Sandip Halder, Roel Wuyts, Wilfried Verachtert |
| 2006 | ASPDAC | Discovering the input assumptions in specification refinement coverage. | Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti |
| 2006 | DAC | Test generation games from formal specifications. | Ansuman Banerjee, Bhaskar Pal, Sayantan Das, Abhijeet Kumar, Pallab Dasgupta |
| 2006 | DATE | What lies between design intent coverage and model checking? | Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti |
| 2006 | DATE | Synthesis of system verilog assertions. | Sayantan Das, Rizi Mohanty, 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 | 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 |