9 citations · 27 across the 9 of their papers we have counts for
4 papers · 1 filter
Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
Saber Mirzaei, Sanaz Bahargam, Richard Skowyra +2
Openflow provides a standard interface for separating a network into a data plane and a programmatic control plane. This enables easy network reconfiguration, but introduces the po…
Shortest path and maximum flow problems in planar flow networks with additive gains and losses
Saber Mirzaei, Assaf Kfoury
In contrast to traditional flow networks, in additive flow networks, to every edge e is assigned a gain factor g(e) which represents the loss or gain of the flow while using edge e…
Efficient Reassembling of Graphs, Part 2: The Balanced Case
Saber Mirzaei, Assaf Kfoury
The reassembling of a simple connected graph G = (V,E) is an abstraction of a problem arising in earlier studies of network analysis. The reassembling process has a simple formulat…
Minimum Average Delay of Routing Trees
Saber Mirzaei
The general communication tree embedding problem is the problem of mapping a set of communicating terminals, represented by a graph G, into the set of vertices of some physical net…