6 citations · 22 across the 11 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.NI2016★ 6 cited
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…
cs.CC2016★ 3 cited
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…
cs.CC2016★ 1 cited
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…