Sanjai Narain - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 35 from 35

2024

Mission-Oriented Gaussian Process Motion Planning for UUVs Over Complex Seafloor Terrain and Current FlowsYewei Huang, Xi Lin, Mariana Hernandez-Rocha, Sanjai Narain, Kishore Pochiraju, Brendan J. Englot. ral, 9(2):1780-1787, February 2024. [doi]

2023

AIMED: AI-Mediated Exploration of Design: An Experience ReportSanjai 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. cpsweek 2023: 136-140 [doi]

2022

Fast Design Space Exploration of Nonlinear Systems: Part ISanjai Narain, Emily Mak, Dana Chee, Brendan J. Englot, Kishore Pochiraju, Niraj K. Jha, Karthik S. Narayan. tcad, 41(9):2970-2983, 2022. [doi]

2015

Cyber Physical System Integration and Configuration Guided by Satisfiability Modulo TheoriesKishore Pochiraju, Sanjai Narain. iri 2015: 589-592 [doi]

2014

In-Band Update for Network Routing Policy MigrationShuyuan Zhang, Sharad Malik, Sanjai Narain, Laurent Vanbever. icnp 2014: 356-361 [doi]

2013

ConfigAssure: A Science of ConfigurationSanjai Narain. milcom 2013: 1497-1498 [doi]

2012

Verification and synthesis of firewalls using SAT and QBFShuyuan Zhang, Abdulrahman Mahmoud, Sharad Malik, Sanjai Narain. icnp 2012: 1-6 [doi]

2011

Towards Eliminating Configuration Errors in Cyber InfrastructureSanjai Narain, Sharad Malik, Ehab Al-Shaer. safeconfig 2011: [doi]

2009

Guest editorial network infrastructure configurationPaul Anderson, Carl A. Gunter, Charles R. Kalmanek, Sanjai Narain, Jonathan M. Smith, Rajesh Talpade, Geoffrey G. Xie. jsac, 27(3):249-252, 2009. [doi]

2008

Declarative Infrastructure Configuration Synthesis and DebuggingSanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul. jnsm, 16(3):235-258, 2008. [doi]

2005

Network Configuration Management via Model FindingSanjai Narain. lisa 2005: 155-168 [doi]

2004

Using service grammar to diagnose BGP configuration errorsXiaohu Qie, Sanjai Narain. SCP, 53(2):125-141, 2004. [doi]

2003

2002

Integration of IP mobility and security for secure wireless communicationsMelbourne Barton, Derek Atkins, John Lee, Sanjai Narain, Deidra Ritcherson, Kemal E. Tepe, K. Daniel Wong. icc 2002: 1045-1049 [doi]

2001

1996

Network management research in ATDNetRobert D. Doverspike, Mari Maeda, Sanjai Narain, Jorge L. Pastor, Chien-Chung Shen, Ned G. Stoffel, Yukun Tsai, Brian Wilson. network, 10(4):30-41, 1996. [doi]

1995

Proofs from Temporal Hypotheses by Symbolic SimulationSanjai Narain. hybrid 1996: 327-339

1993

A Formal Model of SONET s Alarm-Surveillance Procedures and their SimulationSanjai Narain, Orville Cockings, Ritu Chadha. forte 1994: 235-250

1992

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

1991

An axiomatic basis for general discrete-event modelingSanjai Narain. wsc 1991: 1073-1082 [doi]

1990

Proving temporal properties of hybrid systemsSanjai Narain, Jeff Rothenberg. wsc 1990: 250-256 [doi]

Lazy Evaluation in Logic ProgrammingSanjai Narain. iccl 1990: 218-227

1989

A logic for simulating discontinous systemsSanjai Narain, Jeff Rothenberg. wsc 1989: 692-701 [doi]

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

1988

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

1986

A Technique for Doing Lazy Evaluation in LogicSanjai Narain. jlp, 3(3):259-276, 1986.

1985

Special Feature Mycin: Implementing the Expert System in LoglispSanjai Narain. IEEE Software, 2(3):83-88, 1985. [doi]

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

1984

MYCIN in a Logic Programming EnvironmentSanjai Narain. compcon 1984: 192-199

1983

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

1982

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

Sign in or sign up to see more results.

runs on WebDSL