| 2024 | ETFA | Open-Source Level 4 Autonomous Shuttle for Last - Mile Mobility. | Raivo Sell, Mohsen Malayjerdi, Heiko Pikner, Rahul Razdan, Ehsan Malayjerdi, Mauro Bellone |
| 2023 | LCN | Demo: Modular Test Frameworks for PolyVerif Autonomous Vehicle Validation Environment. | Mustafa Ilhan Akbas, Mahesh Menase, Rahul Razdan |
| 2009 | DAC | EDA in flux: should I stay or should I go? | Eshel Haritan, Andreas Kuehlmann, Tina Jones, John Epperheimer, Jan M. Rabaey, Rahul Razdan, Naveen Gupta |
| 2009 | ESEM | Empirical results from the transformation of a large commercial technical computing environment. | Rahul Razdan, Steve Esposito, Jay Lawrence, Peter Conner |
| 1999 | VLSID | Verification of Systems-on-Chip Designs. | Rahul Razdan, Apurva Kalia, Manu Lauria |
| 1997 | ICCD | Formal Implementation Verification of the Bus Interface Unit for the Alpha 21264 Microprocessor. | Gabriel P. Bischoff, Karl S. Brace, Samir Jain, Rahul Razdan |
| 1994 | ICCD | PRISC Software Acceleration Techniques. | Rahul Razdan, Karl S. Brace, Michael D. Smith |
| 1994 | MICRO | A high-performance microarchitecture with hardware-programmable functional units. | Rahul Razdan, Michael D. Smith |
| 1991 | ICCAD | Automatic Detection of MOS Synchronizers for Timing Verification. | Joel Grodstein, Nick Rethman, Rahul Razdan, Gabriel P. Bischoff |
| 1990 | ICCAD | Exploitation of Periodicity in Logic Simulation of Synchronous Circuits. | Rahul Razdan, Gabriel P. Bischoff, Ernst G. Ulrich |
| 1990 | ICCD | A global feedback detection algorithm for VLSI circuits. | H.-C. Shih, Predrag G. Kovijanic, Rahul Razdan |
| 1989 | ITC | An Interactive Sequential Test Pattern Generation System. | Rahul Razdan, M. Anwaruddin, Predrag G. Kovijanic, R. Ganesh, H.-C. Shih |