Directed-simulation assisted formal verification of serial protocol and bridge. - Saurav Gorai; Saptarshi Biswas; Lovleen Bhatia; Praveen Tiwari; Raj S. Mitra (DAC, 2006)

Apriori Formal Coverage Analysis for Protocol Properties. - Praveen Tiwari; Saptarshi Biswas; Raj S. Mitra (VLSI Design, 2006)

Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. - Lovleen Bhatia; Jayesh Gaur; Praveen Tiwari; Raj S. Mitra; Sunil H. Matange (DAC, 2007)

Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. - Praveen Tiwari; Raj S. Mitra; Manu Chopra; Alok Jain (VLSI Design, 2007)

Hybrid Verification of Protocol Bridges. - Praveen Tiwari; Raj S. Mitra (IEEE Des. Test Comput., 2007)

Lessons and Experiences with High-Level Synthesis. - Soujanna Sarkar; Shashank Dabral; Praveen Tiwari; Raj S. Mitra (IEEE Des. Test Comput., 2009)

Automated determination of top level control signals. - Rohit Kumar Jain; Praveen Tiwari; Soumen Ghosh (DATE, 2013)

Content adaptive live encoding with open source codecs. - Pradeep Ramachandran; Shushuang Yang; Praveen Tiwari; Gopi Satykrishna Akisetty (MMSys, 2020)

Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias. - Charanraj Thimmisetty; Praveen Tiwari; Didac Gil de la Iglesia; Nandini Ramanan; Marjorie Sayer; Viswesh Ananthakrishnan; Claudionor José Nunes Coelho Jr. (CoRR, 2021)

Wide Band Micro-Strip Antenna Design for Higher "X" Band. - Praveen Tiwari; Praveen Kumar Malik (Int. J. e Collab., 2021)

PSL is Dead. Long Live PSL. - Kevin Smith; Hai Lin; Praveen Tiwari; Marjorie Sayer; Claudionor Coelho (CoRR, 2022)

Design and Comparative analysis of 6T and 7T SRAM Cells for Improved TREAD and TWRITE Noise Margins. - Praveen Tiwari; RK Jarial; Gagnesh Kumar (ICEIC, 2023)

Load-Data Imputation and Economic Feasibility Analysis of an Academic Institution. - Praveen Tiwari; Shaik Asma; Navadeep Ganesh U; Pinakeswar Mahanta; Gaurav Trivedi (ICECET, 2023)

IoT-Enabled RC4-Stream-Cipher Powered Edge Data Encryption for Smart Home. - Praveen Tiwari; Maria Kiran Kocherla; Shyra Nandanapu; Pinakeswar Mahanta; Gaurav Trivedi (ICECET, 2024)