| 2008 | DAC | Strategies for mainstream usage of formal verification. | Raj S. Mitra |
| 2007 | DAC | Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. | Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange |
| 2007 | VLSID | Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. | Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain |
| 2006 | DAC | Use of C/C++ models for architecture exploration and verification of DSPs. | David Brier, Raj S. Mitra |
| 2006 | DAC | Directed-simulation assisted formal verification of serial protocol and bridge. | Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra |
| 2006 | VLSID | Sequential Equivalence Checking. | Anmol Mathur, Masahiro Fujita, M. Balakrishnan, Raj S. Mitra |
| 2006 | VLSID | Apriori Formal Coverage Analysis for Protocol Properties. | Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra |
| 1998 | VLSID | Interface Synthesis for Embedded Applications in a Co Design Environment. | Anupam Basu, Raj S. Mitra, Peter Marwedel |
| 1997 | VLSID | Asynchronous Implementation of Synchronous Esterel Specifications. | Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno |
| 1997 | VLSID | Hardware Software Partitioning Using Genetic Algorithm. | Debanjan Saha, Anupam Basu, Raj S. Mitra |
| 1995 | VLSID | A consistent labeling approach to hardware software partitioning. | Raj S. Mitra, Mahmood G. Qadir, Anupam Basu |
| 1995 | VLSID | Implementation of design functions by available devices: a new algorithm. | Raj S. Mitra, Partha S. Roop, Anupam Basu |
| 1993 | ICCAD | Rapid prototyping of microprocessor-based systems. | Raj S. Mitra, Biswaroop Guha, Anupam Basu |