Patents by Inventor Andrey Aleksandrovic RYBALCHENKO

Andrey Aleksandrovic RYBALCHENKO has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • NETWORK VERIFICATION SYSTEMS AND METHODS
    Publication number: 20230300053
    Abstract: A network verification system uses general-purpose programming language to create network verification tests. A test orchestrator builds a model of the network only using data from the network verification test. An optimization testing manager creates symbolic packets for verification tests using assertions based on a packet library embedded into the testing manager and the general-purpose programming language.
    Type: Application
    Filed: April 30, 2021
    Publication date: September 21, 2023
    Inventors: Ryan Andrew BECKETT, Karthick JAYARAMAN, Neha Milind RAJE, Jitendra PADHYE, Christopher Scott JOHNSTON, Steven Jeffrey BENALOH, Nikolaj BJORNER, Andrey Aleksandrovic RYBALCHENKO, Nuno CERQUEIRA AFONSO, Nuno CLAUDINO PEREIRA LOPES, Sharad AGARWAL, Hang Kwong LEE, Aniruddha PARKHI, Maik RIECHERT
  • Network verification systems and methods
    Patent number: 11121934
    Abstract: A network verification system uses general-purpose programming language to create network verification tests. A test orchestrator builds a model of the network only using data from the network verification test. An optimization testing manager creates symbolic packets for verification tests using assertions based on a packet library embedded into the testing manager and the general-purpose programming language.
    Type: Grant
    Filed: December 8, 2020
    Date of Patent: September 14, 2021
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Ryan Andrew Beckett, Karthick Jayaraman, Neha Milind Raje, Jitendra Padhye, Christopher Scott Johnston, Steven Jeffrey Benaloh, Nikolaj Bjorner, Andrey Aleksandrovic Rybalchenko, Nuno Cerqueira Afonso, Nuno Claudino Pereira Lopes, Sharad Agarwal, Hang Kwong Lee, Aniruddha Parkhi, Maik Riechert
  • Communications network node
    Patent number: 11070434
    Abstract: A communications network node has a memory storing information about the topology of a network, configuration data comprising attributes of the network, and information about a routing protocol of the network. The memory stores a comparison function derived from a best path definition of the routing protocol. A path finding component of the node computes, for an individual one of the nodes, a routing table specifying which neighbors of the individual node incoming data received at the individual node is to be routed to, where computing the routing table comprises searching for optimal paths between the nodes, using the information about the topology of the network and the configuration data, and using the comparison function to guide the search; and wherein optimal paths between the nodes are optimal with respect to one or more of the attributes.
    Type: Grant
    Filed: June 28, 2017
    Date of Patent: July 20, 2021
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Nuno Claudino Pereira Lopes, Andrey Aleksandrovic Rybalchenko
  • COMMUNICATIONS NETWORK NODE
    Publication number: 20180309635
    Abstract: A communications network node has a memory storing information about the topology of a network, configuration data comprising attributes of the network, and information about a routing protocol of the network. The memory stores a comparison function derived from a best path definition of the routing protocol. A path finding component of the node computes, for an individual one of the nodes, a routing table specifying which neighbors of the individual node incoming data received at the individual node is to be routed to, where computing the routing table comprises searching for optimal paths between the nodes, using the information about the topology of the network and the configuration data, and using the comparison function to guide the search; and wherein optimal paths between the nodes are optimal with respect to one or more of the attributes.
    Type: Application
    Filed: June 28, 2017
    Publication date: October 25, 2018
    Inventors: Nuno Claudino Pereira LOPES, Andrey Aleksandrovic RYBALCHENKO