Search

Rudolf Opavsky

from Seattle, WA
Age ~53

Rudolf Opavsky Phones & Addresses

  • 1312A Lakeview Blvd E APT A, Seattle, WA 98102
  • 4616 224Th Ave, Redmond, WA 98053 (425) 868-2184

Publications

Us Patents

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
8169894, May 1, 2012
Filed:
Sep 16, 2010
Appl. No.:
12/884096
Inventors:
Rudolf Opavsky - Redmond WA, US
David Allen Dion - Bothell WA, US
Michael T. Massa - Seattle WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
H04Q 11/04
US Classification:
370217, 370248
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
8369208, Feb 5, 2013
Filed:
Sep 16, 2010
Appl. No.:
12/884101
Inventors:
Rudolf Opavsky - Redmond WA, US
David Allen Dion - Bothell WA, US
Michael T. Massa - Seattle WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
H04L 12/26
US Classification:
370216, 370217
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
20070058528, Mar 15, 2007
Filed:
Dec 16, 2005
Appl. No.:
11/275185
Inventors:
Michael Massa - Seattle WA, US
Rudolf Opavsky - Redmond WA, US
David Dion - Bothell WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
H04J 3/14
H04L 12/26
US Classification:
370218000, 370229000
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
20120272092, Oct 25, 2012
Filed:
Jul 2, 2012
Appl. No.:
13/540527
Inventors:
Michael T. Massa - Seattle WA, US
Rudolf Opavsky - Redmond WA, US
David A. Dion - Bothell WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 11/20
G06F 15/173
US Classification:
714 42, 714E11073
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
20120272093, Oct 25, 2012
Filed:
Jul 2, 2012
Appl. No.:
13/540548
Inventors:
Michael T. Massa - Seattle WA, US
Rudolf Opavsky - Redmond WA, US
David A. Dion - Bothell WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 11/16
US Classification:
714 42, 714E11054
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
20160142289, May 19, 2016
Filed:
Jan 21, 2016
Appl. No.:
15/002717
Inventors:
- Redmond WA, US
Rudolf Opavsky - Redmond WA, US
David Allen Dion - Bothell WA, US
International Classification:
H04L 12/703
H04L 12/24
H04L 12/707
H04L 12/26
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Fault-Tolerant Communications In Routed Networks

View page
US Patent:
20150113165, Apr 23, 2015
Filed:
Dec 30, 2014
Appl. No.:
14/586919
Inventors:
- Redmond WA, US
Rudolf Opavsky - Redmond WA, US
David Allen Dion - Bothell WA, US
International Classification:
H04L 29/14
H04L 12/707
US Classification:
709239
Abstract:
A method for providing fault-tolerant network communications between a plurality of nodes for an application, including providing a plurality of initial communications pathways over a plurality of networks coupled between the plurality of nodes, receiving a data packet on a sending node from the application, the sending node being one of the plurality of nodes, the data packet being addressed by the application to an address on one of the plurality of nodes, and selecting a first selected pathway for the data packet from among the plurality of initial communications pathways where the first selected pathway is a preferred pathway.

Api Rules Verification Platform

View page
US Patent:
20140372985, Dec 18, 2014
Filed:
Jun 14, 2013
Appl. No.:
13/918851
Inventors:
- Redmond WA, US
Juncao Li - Bellevue WA, US
Rudolf Opavsky - Seattle WA, US
Jakob Frederik Lichtenberg - Seattle WA, US
Anton Pavlov - Redmond WA, US
International Classification:
G06F 11/36
US Classification:
717126
Abstract:
A stateful rules verification platform is described. The verification platform implements a specification language to provide a formal definition for rules used to test target systems having a central module that provides APIs (“API provider”) and applications (“API clients”) that use the APIs. Rules may be defined in terms of transitions on state elements associated with interactions between API providers and API clients. The rules defined in accordance with the specification language enable run-time verification in which calls may be intercepted and run-time code to implement checks may automatically be generated and injected to test behaviors of the intercepted calls. The same set of rules may also be employed for static verification during compilation. Additionally, the specification language includes constructs to provide rule descriptions and comments with rules definitions that facilitate publication of the rules and documentation of misbehavior identified during verification.
Rudolf Opavsky from Seattle, WA, age ~53 Get Report