AUTOMATED PACKETLESS NETWORK REACHABILITY ANALYSIS

Вам могут быть интересны следующие патенты

Рисунок 1. Взаимосвязь патентов (ближайшие 20).

Method, apparatus, and system to map network reachability

Номер патента: US20240187445A1. Автор: Robert Hutchinson,Alex MARKHAM,Krystian Szczur. Владелец: Darktrace Holdings Ltd. Дата публикации: 2024-06-06.

Method, apparatus, and system to map network reachability

Номер патента: US11902322B2. Автор: Robert Hutchinson,Alex MARKHAM,Krystian Szczur. Владелец: Darktrace Holdings Ltd. Дата публикации: 2024-02-13.

Cloud network reachability analysis

Номер патента: EP3949295A1. Автор: Hui Liu,Raj Yavatkar,Tianqiong Luo,Hongkun Yang,Gargi Adhav,Shishir AGRAWAL,Leslie Choong,Steffen Smolka. Владелец: Google LLC. Дата публикации: 2022-02-09.

Cloud network reachability analysis

Номер патента: WO2020206361A1. Автор: Hui Liu,Raj Yavatkar,Tianqiong Luo,Hongkun Yang,Gargi Adhav,Shishir AGRAWAL,Leslie Choong,Steffen Smolka. Владелец: Google LLC. Дата публикации: 2020-10-08.

Cloud Network Reachability Analysis

Номер патента: US20200322249A1. Автор: Hui Liu,Raj Yavatkar,Tianqiong Luo,Hongkun Yang,Gargi Adhav,Shishir AGRAWAL,Leslie Choong,Steffen Smolka. Владелец: Google LLC. Дата публикации: 2020-10-08.

Network reachability impact analysis

Номер патента: WO2022125905A1. Автор: Hui Liu,Alan Tang,Hongkun Yang,Gargi Adhav. Владелец: Google LLC. Дата публикации: 2022-06-16.

Network reachability impact analysis

Номер патента: EP4260531A1. Автор: Hui Liu,Alan Tang,Hongkun Yang,Gargi Adhav. Владелец: Google LLC. Дата публикации: 2023-10-18.

Network Reachability Impact Analysis

Номер патента: US20220191102A1. Автор: Hui Liu,Alan Tang,Hongkun Yang,Gargi Adhav. Владелец: Google LLC. Дата публикации: 2022-06-16.

Network reachability verification method and apparatus, and computer storage medium

Номер патента: EP4203407A1. Автор: Lulin Wang,Zhongzhe LIU,Jigang Zhou,Hongjian CAI. Владелец: Huawei Technologies Co Ltd. Дата публикации: 2023-06-28.

Method for computing network reachability

Номер патента: US8887266B2. Автор: Amir Khakpour,Xiang-Yang A. Liu. Владелец: Michigan State University MSU. Дата публикации: 2014-11-11.

Network reachability solving algorithm based on formal verification

Номер патента: US20230125189A1. Автор: Rui Chang,Yongwang ZHAO,Zhuoruo ZHANG,Chenyang Yu. Владелец: Zhejiang University ZJU. Дата публикации: 2023-04-27.

Network reachability impact analysis

Номер патента: US12009985B2. Автор: Hui Liu,Alan Tang,Hongkun Yang,Gargi Adhav. Владелец: Google LLC. Дата публикации: 2024-06-11.

Network Reachability Impact Analysis

Номер патента: US20240291720A1. Автор: Hui Liu,Alan Tang,Hongkun Yang,Gargi Adhav. Владелец: Google LLC. Дата публикации: 2024-08-29.

Network Reachability Impact Analysis

Номер патента: US20220294699A1. Автор: Liu Hui,Yang Hongkun,Adhav Gargi,Tang Alan. Владелец: Google LLC. Дата публикации: 2022-09-15.

Selectively using network address translated mapped addresses based on their prior network reachability

Номер патента: US9667595B2. Автор: Andrew E. Ossipov. Владелец: Cisco Technology Inc. Дата публикации: 2017-05-30.

TROUBLESHOOTING VIRTUAL NETWORK REACHABILITY

Номер патента: US20190199600A1. Автор: Wang Yong,Yu Jia,Zhang Ronghua,HONG Xinhua,Leroy David J.. Владелец: . Дата публикации: 2019-06-27.

Troubleshooting virtual network reachability

Номер патента: US20170288981A1. Автор: JIA Yu,Yong Wang,Ronghua Zhang,David J. LEROY,Xinhua Hong. Владелец: Nicira Inc. Дата публикации: 2017-10-05.

Troubleshooting virtual network reachability

Номер патента: US20190199600A1. Автор: JIA Yu,Yong Wang,Ronghua Zhang,David J. LEROY,Xinhua Hong. Владелец: Nicira Inc. Дата публикации: 2019-06-27.

Network reachability verification method and apparatus, and computer storage medium

Номер патента: EP4203407A4. Автор: Lulin Wang,Zhongzhe LIU,Jigang Zhou,Hongjian CAI. Владелец: Huawei Technologies Co Ltd. Дата публикации: 2024-01-17.

METHOD, APPARATUS, AND SYSTEM TO MAP NETWORK REACHABILITY

Номер патента: US20200244699A1. Автор: MARKHAM Alex,HUTCHINSON Robert,Szczur Krystian. Владелец: Darktrace Limited. Дата публикации: 2020-07-30.

Cloud Network Reachability Analysis

Номер патента: US20200322249A1. Автор: Liu Hui,Yavatkar Raj,Yang Hongkun,Adhav Gargi,Choong Leslie,Agrawal Shishir,Luo Tianqiong,Smolka Steffen. Владелец: Google LLC. Дата публикации: 2020-10-08.

NETWORK ARCHITECTURE AND SECURITY WITH ENCRYPTED NETWORK REACHABILITY CONTEXTS

Номер патента: US20170013454A1. Автор: Horn Gavin Bernard,Faccin Stefano,Palanigounder Anand,Lee Soo Bum. Владелец: . Дата публикации: 2017-01-12.

EXTENDED PING PROTOCOL FOR DETERMINING STATUS FOR REMOTE INTERFACES WITHOUT REQUIRING NETWORK REACHABILITY

Номер патента: US20170366437A1. Автор: THOMAS Reji,Bonica Ronald P.. Владелец: . Дата публикации: 2017-12-21.

Automated system including reachability analysis

Номер патента: EP3877117B1. Автор: Michael Jantsch,Nareshkumar NANDOLA. Владелец: SIEMENS AG. Дата публикации: 2024-10-16.

Automated system including reachability analysis

Номер патента: WO2020122910A1. Автор: Michael Jantsch,Nareshkumar NANDOLA. Владелец: Siemens Corporation. Дата публикации: 2020-06-18.

Automated system including reachability analysis

Номер патента: EP3877117A1. Автор: Michael Jantsch,Nareshkumar NANDOLA. Владелец: SIEMENS AG. Дата публикации: 2021-09-15.

Computational resource discovery for offloading processing upon request

Номер патента: WO2024056993A1. Автор: Eric Van Hensbergen,Pavel Shamis,Vasileios LAGANAKOS,Luis Emilio PENA. Владелец: ARM LIMITED. Дата публикации: 2024-03-21.

Detecting of model errors through simplification of model via state reachability analysis

Номер патента: US6311293B1. Автор: Robert Paul Kurshan,Carlos Manuel Roman. Владелец: Lucent Technologies Inc. Дата публикации: 2001-10-30.

Reachability analysis for program verification

Номер патента: US7926039B2. Автор: Chao Wang,Zijiang Yang,Aarti Gupta. Владелец: NEC Laboratories America Inc. Дата публикации: 2011-04-12.

A method for exchanging information about network resources

Номер патента: EP2719121A1. Автор: Pedro Andrés ARANDA GUTIÉRREZ,Gerardo GARCÍA DE BLAS. Владелец: Telefonica SA. Дата публикации: 2014-04-16.

Method and arrangement for testing services in a telecommunications system

Номер патента: US5632014A. Автор: Anders Ek,Lennart Mansson. Владелец: Telia AB. Дата публикации: 1997-05-20.

Method and arrangement for testing services in a telecommunications system

Номер патента: WO1994015429A1. Автор: Anders Ek,Lennart Mansson. Владелец: Telia AB. Дата публикации: 1994-07-07.

Zero trust data castle system with security operation methods for active response

Номер патента: US20230199017A1. Автор: Peter Chacko. Владелец: Individual. Дата публикации: 2023-06-22.

Router advertisement method and electronic device

Номер патента: EP4156638A1. Автор: Jinrong YE. Владелец: New H3C Technologies Co Ltd. Дата публикации: 2023-03-29.

Route notifying methods and electronic devices

Номер патента: US20240121175A1. Автор: Jinrong YE. Владелец: New H3C Technologies Co Ltd. Дата публикации: 2024-04-11.

Multithreaded Reachability

Номер патента: US20070124711A1. Автор: Jawahar Jain,Debashis Sahoo. Владелец: Fujitsu Ltd. Дата публикации: 2007-05-31.

Mitigating security risks via code movement

Номер патента: US20140208428A1. Автор: Marco Pistoia,Omer Tripp,Salvatore A. GUARNIERI. Владелец: International Business Machines Corp. Дата публикации: 2014-07-24.

Method and apparatus for performing abstraction-refinement using a lower-bound-distance

Номер патента: EP2382571A4. Автор: In-Ho Moon. Владелец: Synopsys Inc. Дата публикации: 2013-11-20.

Method and apparatus for performing abstraction-refinement using a lower-bound-distance

Номер патента: EP2382571A2. Автор: In-Ho Moon. Владелец: Synopsys Inc. Дата публикации: 2011-11-02.

Method and apparatus for performing abstraction-refinement using a lower-bound-distance

Номер патента: WO2010088142A2. Автор: In-Ho Moon. Владелец: Synopsys, Inc.. Дата публикации: 2010-08-05.

Disjunctive image computation for sequential systems

Номер патента: EP1913472A2. Автор: Chao Wang,Zijiang Yang,Aarti Gupta,Franjo Ivancic. Владелец: NEC Laboratories America Inc. Дата публикации: 2008-04-23.

Disjunctive image computation for sequential systems

Номер патента: WO2007021552A3. Автор: Chao Wang,Zijiang Yang,Aarti Gupta,Franjo Ivancic. Владелец: Nec Lab America Inc. Дата публикации: 2009-04-16.

Verification of complex systems that can be described by a finite state transition system

Номер патента: US20150154096A1. Автор: Karem A. Sakallah,Suho LEE. Владелец: University of Michigan. Дата публикации: 2015-06-04.

Verification of complex systems that can be described by a finite state transition system

Номер патента: US9389983B2. Автор: Karem A. Sakallah,Suho LEE. Владелец: University of Michigan. Дата публикации: 2016-07-12.

REACHABILITY ANALYSIS BY LOGICAL CIRCUIT SIMULATION FOR PROVIDING OUTPUT SETS CONTAINING SYMBOLIC VALUES

Номер патента: US20120290282A1. Автор: . Владелец: INTERNATIONAL BUSINESS MACHINES CORPORATION. Дата публикации: 2012-11-15.