Praveen Tiwari

14 papers A* 2A 2Misc 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
IoT-Enabled RC4-Stream-Cipher Powered Edge Data Encryption for Smart Home.
ICECET
Praveen Tiwari, Maria Kiran Kocherla, Shyra Nandanapu, Pinakeswar Mahanta, Gaurav Trivedi
2023 — conf
Design and Comparative analysis of 6T and 7T SRAM Cells for Improved TREAD and TWRITE Noise Margins.
ICEIC
Praveen Tiwari, RK Jarial, Gagnesh Kumar
2023 — conf
Load-Data Imputation and Economic Feasibility Analysis of an Academic Institution.
ICECET
Praveen Tiwari, Shaik Asma, Navadeep Ganesh U, Pinakeswar Mahanta, Gaurav Trivedi
2022 J jnl
PSL is Dead. Long Live PSL.
CoRR
Kevin Smith, Hai Lin, Praveen Tiwari, Marjorie Sayer, Claudionor Coelho
2021 J jnl
Log2NS: Enhancing Deep Learning Based Analysis of Logs With Formal to Prevent Survivorship Bias.
CoRR
Charanraj Thimmisetty, Praveen Tiwari, Didac Gil de la Iglesia, Nandini Ramanan, Marjorie Sayer, Viswesh Ananthakrishnan, Claudionor José Nunes Coelho Jr.
2021 J jnl
Wide Band Micro-Strip Antenna Design for Higher "X" Band.
Int. J. e Collab.
Praveen Tiwari, Praveen Kumar Malik
2020 A conf
Content adaptive live encoding with open source codecs.
MMSys
Pradeep Ramachandran, Shushuang Yang, Praveen Tiwari, Gopi Satykrishna Akisetty
2013 A conf
Automated determination of top level control signals.
DATE
Rohit Kumar Jain, Praveen Tiwari, Soumen Ghosh
2009 J jnl
Lessons and Experiences with High-Level Synthesis.
IEEE Des. Test Comput.
Soujanna Sarkar, Shashank Dabral, Praveen Tiwari, Raj S. Mitra
2007 J jnl
Hybrid Verification of Protocol Bridges.
IEEE Des. Test Comput.
Praveen Tiwari, Raj S. Mitra
2007 A* conf
Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation.
DAC
Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange
2007 Misc conf
Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting.
VLSI Design
Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain
2006 Misc conf
Apriori Formal Coverage Analysis for Protocol Properties.
VLSI Design
Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra
2006 A* conf
Directed-simulation assisted formal verification of serial protocol and bridge.
DAC
Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra