Publications

• Srobona Mitra, Priyankar Ghosh and Pallab Dasgupta, "Verification by parts: Reusing Component Invariant Checking Results", in IET Computers and Digital Techniques Journal, vol. 6, iss. 1, pp. 19-32, January 2012.

Refereed Conference Papers

• Srobona Mitra, Ansuman Banerjee and Pallab Dasgupta, "Formal Methods for Ranking Counterexamples Through Assumption Mining", accepted in Design Automation and Test in Europe (DATE), 2012.
• Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee and Pallab Dasgupta, "Backward Reasoning with Formal Properties: A methodology for bug isolation on simulation traces", in the Proceedings of Asian Test Symposium (ATS), November 2011, pp. 238 -243.
• Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi and Kaustav Guha, "Leveraging UPF-Extracted Assertions for Modeling and Formal Verification of Architectural Power Intent", in the Proceedings of Design Automation Conference (DAC), June 2010, pp. 773-776.
• Srobona Mitra, Antara Ain, Priyankar Ghosh and Pallab Dasgupta, "A Study of Modeling Techniques in use in Digital and Mixed-Signal Domains for Semi-Formal Verification", in the Proceedings of IEEE TechSym, April 2010, pp. 103 - 108.
• Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta, Partha P.Chakrabarti, "Incremental Verification Techniques for an Updated Architectural Specification", in the Proceedings of IEEE INDICON, December 2009, pp. 1 - 4.
• Priyankar Ghosh, Srobona Mitra, Indranil Sengupta, Bhargab Bhattacharya, Sharad Seth, "A Hybrid Test Architecture to Reduce Test Application Time in Full Scan Sequential Circuits", in the Proceedings of IEEE INDICON, December 2009.
• Priyankar Ghosh, Srobona Mitra, Pallab Dasgupta, "A Novel Methodology to Assist Client Side Testing of Interactive Web Applications", in the Proceedings of International Conference on Information Technology (ICIT), December 2009.
• Aritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, P. P. Chakrabarti, C. R. Mohan, "Cohesive Coverage Management for Simulation and Formal Property Verification", in the Proceedings of IEEE Computer Society Annual Symposium on VLSI (ISVLSI) 2008, pp. 251 - 256.
• Anirban Lahiri, Anupam Basu, Monojit Choudhury, Srobona Mitra, "Battery-aware Code Partitioning for a Text to Speech System", in the Proceedings of Design Automation and Test in Europe (DATE) Conference 2006, pp. 1 - 6.

Posters

• Srobona Mitra, Pallab Dasgupta, Sudhindra Pandav and Harish Kumar, "Trace-Enabled Formal Verification: An Approach for Formal Verification of Post-Silicon Debug and Bug-Fixing", accepted in poster session of Intel India Innovation Day, March 2011.