NetSketch is a tool for the specification of constrained-flow applications and the certification
of desirable safety properties imposed thereon. NetSketch assists system integrators in two …

Numerous domains exist in which systems can be modeled as networks with constraints that
regulate the flow of traffic. Smart grids, vehicular road travel, computer networks, and cloud …

We define a domain-specific language (DSL) to inductively assemble flow networks from
small networks or modules to produce arbitrarily large ones, with interchangeable …

Desirable application performance is typically guaranteed through the use of Service Level
Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated …

In research areas involving mathematical rigor, there are numerous benefits to adopting a
formal representation of models and arguments: reusability, automatic evaluation of …

Flow networks are inductively defined, assembled from small components to produce
arbitrarily large ones, with interchangeable functionally-equivalent parts. We carry out this …

We review elements of a typing theory for flow networks, which we expounded in an earlier
report [19]. To illustrate the way in which this typing theory offers an alternative framework for …

NetSketch is a tool for the specification of constrained-flow networks (CFNs) and the
certification of desirable safety properties imposed thereon, conceived to assist system …

We present elements of a typing theory for flow networks, where" types"," typings", and" type
inference" are formulated in terms of familiar notions from polyhedral analysis and convex …

A flow network N is a capacited finite directed graph, with multiple input ports/arcs and
multiple output ports/arcs. A flow f in N assigns a non-negative real number to every arc and …