Sanjai Narain

38 papers A* 2B 2C 1Misc 4Journal 10Unranked 17
YearRankTypeTitle / Venue / Authors
2024 J jnl
Mission-Oriented Gaussian Process Motion Planning for UUVs Over Complex Seafloor Terrain and Current Flows.
IEEE Robotics Autom. Lett.
Yewei Huang, Xi Lin, Mariana Hernandez-Rocha, Sanjai Narain, Kishore Pochiraju, Brendan J. Englot
2023 — conf
AIMED: AI-Mediated Exploration of Design: An Experience Report.
CPS-IoT Week Workshops
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
2022 J jnl
Fast Design Space Exploration of Nonlinear Systems: Part I.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan
2021 J jnl
Fast Design Space Exploration of Nonlinear Systems: Part I.
CoRR
Sanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan
2020 J jnl
Robot Design With Neural Networks, MILP Solvers and Active Learning.
CoRR
Sanjai Narain, Emily Mak, Dana Chee, Todd Huster, Jeremy E. J. Cohen, Kishore Pochiraju, Brendan J. Englot, Niraj K. Jha, Karthik S. Narayan
2015 Misc conf
Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo Theories.
IRI
Kishore Pochiraju, Sanjai Narain
2014 B conf
In-Band Update for Network Routing Policy Migration.
ICNP
Shuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever
2013 — conf
ConfigAssure: A Science of Configuration.
MILCOM
Sanjai Narain
2012 B conf
Verification and synthesis of firewalls using SAT and QBF.
ICNP
Shuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain
2011 — conf
Towards Eliminating Configuration Errors in Cyber Infrastructure.
SafeConfig
Sanjai Narain, Sharad Malik, Ehab Al-Shaer
2009 J jnl
Guest editorial network infrastructure configuration.
IEEE J. Sel. Areas Commun.
Paul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie
2009 — ed.
Proceedings of the 2nd ACM Workshop on Assurable and Usable Security Configuration, SafeConfig 2009, Chicago, IL, USA, November 9, 2009
SafeConfig
Ehab Al-Shaer, Mohamed G. Gouda, Jorge Lobo, Sanjai Narain, Felix Wu
2008 J jnl
Declarative Infrastructure Configuration Synthesis and Debugging.
J. Netw. Syst. Manag.
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul
2005 — conf
Network Configuration Management via Model Finding.
LISA
Sanjai Narain
2004 J jnl
Using service grammar to diagnose BGP configuration errors.
Sci. Comput. Program.
Xiaohu Qie, Sanjai Narain
2003 — conf
A Toolkit For Building Secure, Fault-Tolerant Virtual Private Networks Technology Description.
DISCEX (2)
William Stephens, Brian A. Coan, Sanjai Narain, Vikram Kaul, Kirthika Parmeswaran, Thanh Cheng
2003 — conf
Building Autonomic Systems Via Configuration.
Active Middleware Services
Sanjai Narain, Thanh Cheng, Brian A. Coan, Vikram Kaul, Kirthika Parmeswaran, William Stephens
2003 — conf
Using Service Grammar to Diagnose BGP Configuration Errors.
LISA
Xiaohu Qie, Sanjai Narain
2002 — conf
Integration of IP mobility and security for secure wireless communications.
ICC
Melbourne Barton, Derek Atkins, John Lee, Sanjai Narain, Deidra Ritcherson, Kemal E. Tepe, K. Daniel Wong
2001 — conf
Diagnosing configuration errors in virtual private networks.
ICC
Sanjai Narain, M. Rangadurai, Abdul-Rahim Shareef
2001 — conf
Middleware For Building Adaptive Systems Via Configuration.
LCTES/OM
Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef
2001 — conf
Middleware For Building Adaptive Systems Via Configuration.
OM@PLDI
Sanjai Narain, Ravichander Vaidyanathan, Stanley Moyer, William Stephens, Kirthika Parmeswaran, Abdul-Rahim Shareef
1996 J jnl
Network management research in ATDNet.
IEEE Netw.
Robert D. Doverspike, Mari Maeda, Sanjai Narain, Jorge L. Pastor, Chien-Chung Shen, Ned G. Stoffel, Yukun Tsai, Brian J. Wilson
1995 — conf
Proofs from Temporal Hypotheses by Symbolic Simulation.
Hybrid Systems
Sanjai Narain
1993 C conf
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation.
FORTE
Sanjai Narain, Orville Cockings, Ritu Chadha
1992 — conf
On Modelling and Reasoning About Hybrid Systems.
PSTV
R. C. Sekar, Yow-Jian Lin, Sanjai Narain
1991 Misc conf
An axiomatic basis for general discrete-event modeling.
WSC
Sanjai Narain
1990 — conf
Lazy Evaluation in Logic Programming.
ICCL
Sanjai Narain
1990 Misc conf
Proving temporal properties of hybrid systems.
WSC
Sanjai Narain, Jeff Rothenberg
1989 Misc conf
A logic for simulating discontinous systems.
WSC
Sanjai Narain, Jeff Rothenberg
1989 — conf
Optimization by Non-Deterministic, Lazy Rewriting.
RTA
Sanjai Narain
1988 — —
LOG(F): An Optimal Combination of Logic Programming, Rewriting and Lazy Evaluation.
Sanjai Narain
1986 J jnl
A Technique for Doing Lazy Evaluation in Logic.
J. Log. Program.
Sanjai Narain
1985 — conf
A Technique for Doing Lazy Evaluation in Logic.
SLP
Sanjai Narain
1985 J jnl
Special Feature Mycin: Implementing the Expert System in Loglisp.
IEEE Softw.
Sanjai Narain
1984 — conf
MYCIN in a Logic Programming Environment.
COMPCON
Sanjai Narain
1983 A* conf
Large-Scale System Development in Several Lisp Environments.
IJCAI
Sanjai Narain, David McArthur, Philip Klahr
1982 A* conf
SWIRL: An Object-Oriented Air Battle Simulator.
AAAI
Philip Klahr, David McArthur, Sanjai Narain