Sanjai Narain

According to our database, Sanjai Narain authored at least 33 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Mission-Oriented Gaussian Process Motion Planning for UUVs Over Complex Seafloor Terrain and Current Flows.

Yewei Huang, Xi Lin, Mariana Hernandez-Rocha, Sanjai Narain, Kishore Pochiraju, Brendan J. Englot

IEEE Robotics Autom. Lett., February, 2024

2023

AIMED: AI-Mediated Exploration of Design: An Experience Report.

Sanjai Narain, Dana Chee, Pranav Iyer, Emily Mak, Ricardo Valdez, Manli Zhu, Niraj K. Jha, Jaime F. Fisac, Kai-Chieh Hsu, Prerit Terway, Kishore Pochiraju, Brendan J. Englot, Emil Pitz, Sean Rooney, Yewei Huang

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Fast Design Space Exploration of Nonlinear Systems: Part I.

Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

2020

Robot Design With Neural Networks, MILP Solvers and Active Learning.

Sanjai Narain, Emily Mak, Dana Chee, Todd Huster, Jeremy E. J. Cohen, Kishore Pochiraju, Brendan J. Englot, Niraj K. Jha, Karthik S. Narayan

CoRR, 2020

2015

Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories.

Kishore Pochiraju, Sanjai Narain

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

In-Band Update for Network Routing Policy Migration.

Shuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever

Proceedings of the 22nd IEEE International Conference on Network Protocols, 2014

2013

ConfigAssure: A Science of Configuration.

Sanjai Narain

Proceedings of the 32th IEEE Military Communications Conference, 2013

2012

Verification and synthesis of firewalls using SAT and QBF.

Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain

Proceedings of the 20th IEEE International Conference on Network Protocols, 2012

2011

Towards Eliminating Configuration Errors in Cyber Infrastructure.

Sanjai Narain, Sharad Malik, Ehab Al-Shaer

Proceedings of the 4th Symposium on Configuration Analytics and Automation, SafeConfig 2011, Arlington, VA, USA, October 31, 2011

2009

Guest editorial network infrastructure configuration.

Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie

IEEE J. Sel. Areas Commun., 2009

2008

Declarative Infrastructure Configuration Synthesis and Debugging.

Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul

J. Netw. Syst. Manag., 2008

2005

Network Configuration Management via Model Finding.

Sanjai Narain

Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

2004

Using service grammar to diagnose BGP configuration errors.

Xiaohu Qie, Sanjai Narain

Sci. Comput. Program., 2004

2003

Building Autonomic Systems Via Configuration.

Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens

Proceedings of the 5th Annual International Workshop on Active Middleware Services (AMS 2003) 2003 Autonomic Computing Workshop, 2003

A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description.

William Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Integration of IP mobility and security for secure wireless communications.

Melbourne Barton, Derek Atkins, John Lee, Sanjai Narain, Deidra Ritcherson, Kemal E. Tepe, K. Daniel Wong

Proceedings of the IEEE International Conference on Communications, 2002

2001

Middleware For Building Adaptive Systems Via Configuration.

Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef

Proceedings of The Workshop on Languages, 2001

Diagnosing configuration errors in virtual private networks.

Sanjai Narain, M. Rangadurai, Abdul-Rahim Shareef

Proceedings of the IEEE International Conference on Communications, 2001

1996

Network management research in ATDNet.

Robert D. Doverspike, Mari Maeda, Sanjai Narain, Jorge L. Pastor, Chien-Chung Shen, Ned G. Stoffel, Yukun Tsai, Brian J. Wilson

IEEE Netw., 1996

1995

Proofs from Temporal Hypotheses by Symbolic Simulation.

Sanjai Narain

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1993

A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation.

Sanjai Narain, Orville Cockings, Ritu Chadha

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

On Modelling and Reasoning About Hybrid Systems.

R. C. Sekar, Yow-Jian Lin, Sanjai Narain

Proceedings of the Protocol Specification, 1992

1991

An axiomatic basis for general discrete-event modeling.

Sanjai Narain

Proceedings of the 23th Winter Simulation Conference, 1991

1990

Proving temporal properties of hybrid systems.

Sanjai Narain, Jeff Rothenberg

Proceedings of the 22th Winter Simulation Conference, 1990

Lazy Evaluation in Logic Programming.

Sanjai Narain

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

A logic for simulating discontinous systems.

Sanjai Narain, Jeff Rothenberg

Proceedings of the 21st Winter Simulation Conference, 1989

Optimization by Non-Deterministic, Lazy Rewriting.

Sanjai Narain

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation.

Sanjai Narain

PhD thesis, 1988

1986

A Technique for Doing Lazy Evaluation in Logic.

Sanjai Narain

J. Log. Program., 1986

1985

Special Feature Mycin: Implementing the Expert System in Loglisp.

Sanjai Narain

IEEE Softw., 1985

1984

MYCIN in a Logic Programming Environment.

Sanjai Narain

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983

Large-Scale System Development in Several Lisp Environments.

Sanjai Narain, David McArthur, Philip Klahr

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

SWIRL: An Object-Oriented Air Battle Simulator.

Philip Klahr, David McArthur, Sanjai Narain

Proceedings of the National Conference on Artificial Intelligence, 1982