Sanjai Narain

Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain: Verification and synthesis of firewalls using SAT and QBF. ICNP 2012: 1-6

Sanjai Narain, Sharad Malik, Ehab Al-Shaer: Towards Eliminating Configuration Errors in Cyber Infrastructure. SafeConfig 2011

Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie: Guest editorial network infrastructure configuration. IEEE Journal on Selected Areas in Communications 27(3): 249-252 (2009)

Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu (Eds.): Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009. ACM 2009, isbn 978-1-60558-778-3

Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul: Declarative Infrastructure Configuration Synthesis and Debugging. J. Network Syst. Manage. 16(3): 235-258 (2008)

Sanjai Narain: Network Configuration Management via Model Finding. LISA 2005: 155-168

Xiaohu Qie, Sanjai Narain: Using service grammar to diagnose BGP configuration errors. Sci. Comput. Program. 53(2): 125-141 (2004)

William Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng: A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description. DISCEX (2) 2003: 55-57

Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens: Building Autonomic Systems Via Configuration. Active Middleware Services 2003: 77-85

Xiaohu Qie, Sanjai Narain: Using Service Grammar to Diagnose BGP Configuration Errors. LISA 2003: 237-246

Melbourne Barton, Derek Atkins, John Lee, Sanjai Narain, Deidra Ritcherson, Kemal E. Tepe, K. Daniel Wong: Integration of IP mobility and security for secure wireless communications. ICC 2002: 1045-1049

Sanjai Narain, M. Rangadurai, Abdul-Rahim Shareef: Diagnosing configuration errors in virtual private networks. ICC 2001: 189-193

Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef: Middleware For Building Adaptive Systems Via Configuration. LCTES/OM 2001: 188-195

Sanjai Narain: Proofs from Temporal Hypotheses by Symbolic Simulation. Hybrid Systems 1995: 327-339

Sanjai Narain, Orville Cockings, Ritu Chadha: A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation. FORTE 1993: 235-250

R. C. Sekar, Yow-Jian Lin, Sanjai Narain: On Modelling and Reasoning About Hybrid Systems. PSTV 1992: 115-129

Sanjai Narain: An axiomatic basis for general discrete-event modeling. Winter Simulation Conference 1991: 1073-1082

Sanjai Narain: Lazy Evaluation in Logic Programming. ICCL 1990: 218-227

Sanjai Narain, Jeff Rothenberg: Proving temporal properties of hybrid systems. Winter Simulation Conference 1990: 250-256

Sanjai Narain: Optimization by Non-Deterministic, Lazy Rewriting. RTA 1989: 326-342

Sanjai Narain, Jeff Rothenberg: A logic for simulating discontinous systems. Winter Simulation Conference 1989: 692-701

Sanjai Narain: LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation. University of California at Los Angeles 1988

Sanjai Narain: A Technique for Doing Lazy Evaluation in Logic. J. Log. Program. 3(3): 259-276 (1986)

Sanjai Narain: A Technique for Doing Lazy Evaluation in Logic. SLP 1985: 261-269

Sanjai Narain: MYCIN in a Logic Programming Environment. COMPCON 1984: 192-199

Sanjai Narain, David McArthur, Philip Klahr: Large-Scale System Development in Several Lisp Environments. IJCAI 1983: 859-861

Philip Klahr, David McArthur, Sanjai Narain: SWIRL: An Object-Oriented Air Battle Simulator. AAAI 1982: 331-334