Inventor
KANG JOON-MYUNG
KR11 patents
⚠️ This page may combine multiple inventors who share the name “KANG JOON-MYUNG”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
HEWLETT PACKARD ENTPR DEV LP
7 patentsUS10992520B2Apr 27, 2021
Network policy graphs
HEWLETT PACKARD ENTPR DEV LP19 citations82
US10567384B2Feb 18, 2020
Verifying whether connectivity in a composed policy graph reflects a corresponding policy in input policy graphs
HEWLETT PACKARD ENTPR DEV LP7 citations78
US10771342B2Sep 8, 2020
Encoding and verifying network intents for stateful networks
HEWLETT PACKARD ENTPR DEV LP4 citations70
US11095518B2Aug 17, 2021
Determining violation of a network invariant
HEWLETT PACKARD ENTPR DEV LP0 citations62
US10541873B2Jan 21, 2020
Determining violation of a network invariant
HEWLETT PACKARD ENTPR DEV LP0 citations52
US10958547B2Mar 23, 2021
Verify a network function by inquiring a model using a query language
HEWLETT PACKARD ENTPR DEV LP0 citations51
US10812342B2Oct 20, 2020
Generating composite network policy
HEWLETT PACKARD ENTPR DEV LP0 citations47