P

Inventor

NARAIN SANJAI

US12 patents
⚠️ This page may combine multiple inventors who share the name “NARAIN SANJAI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

NARAIN SANJAI

5 patents
US8826366B2Sep 2, 2014

Verifying access-control policies with arithmetic quantifier-free form constraints

NARAIN SANJAI3 citations58
US8554796B2Oct 8, 2013

Query-based semantic analysis of ad hoc configuration languages for networks

NARAIN SANJAI0 citations48
US8315966B2Nov 20, 2012

Scalable and interactive method of generating and modifying network configurations to enforce compliance with high-level requirements

NARAIN SANJAI1 citations47
US8725902B2May 13, 2014

Optimal network configuration repair

NARAIN SANJAI1 citations46
US8805770B2Aug 12, 2014

Router route reconfiguration planning

NARAIN SANJAI0 citations37

VENCORE LABS INC

4 patents
US9967141B2May 8, 2018

Systems and methods of in-band network configuration

VENCORE LABS INC2 citations68
US10419290B2Sep 17, 2019

Systems and methods of in-band network configuration

VENCORE LABS INC0 citations50
US10250444B2Apr 2, 2019

Hybrid SDN/legacy policy enforcement

VENCORE LABS INC0 citations50
US10574525B2Feb 25, 2020

Configuration agreement protocol method

VENCORE LABS INC0 citations38

TELCORDIA TECH INC

1 patent
US6091713AJul 18, 2000

Method and system for estimating the ability of a subscriber loop to support broadband services

TELCORDIA TECH INC210 citations96

TT GOVERNMENT SOLUTIONS INC

1 patent
US9736183B2Aug 15, 2017

Verifying access-control policies with arithmetic quantifier-free form constraints

TT GOVERNMENT SOLUTIONS INC0 citations49

PERSPECTA LABS INC

1 patent
US12147900B2Nov 19, 2024

Verification and synthesis of cyber physical systems with machine learning and constraint-solver-driven learning

PERSPECTA LABS INC0 citations40