| 2015 | IRI | Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories. | Kishore Pochiraju, Sanjai Narain |
| 2014 | ICNP | In-Band Update for Network Routing Policy Migration. | Shuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever |
| 2012 | ICNP | Verification and synthesis of firewalls using SAT and QBF. | Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain |
| 2001 | PLDI | Middleware For Building Adaptive Systems Via Configuration. | Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef |
| 1993 | FORTE | A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. | Sanjai Narain, Orville Cockings, Ritu Chadha |
| 1991 | WSC | An axiomatic basis for general discrete-event modeling. | Sanjai Narain |
| 1990 | WSC | Proving temporal properties of hybrid systems. | Sanjai Narain, Jeff Rothenberg |
| 1989 | WSC | A logic for simulating discontinous systems. | Sanjai Narain, Jeff Rothenberg |
| 1983 | IJCAI | Large-Scale System Development in Several Lisp Environments. | Sanjai Narain, David McArthur, Philip Klahr |
| 1982 | AAAI | SWIRL: An Object-Oriented Air Battle Simulator. | Philip Klahr, David McArthur, Sanjai Narain |