@inproceedings(auyoung04resource,
 author       = "A. AuYoung and B. Chun and A. Snoeren and A. Vahdat",
 year         = "2004",
 title        = "Resource allocation in federated distributed computing infrastructures",
 booktitle    = "1st Workshop on Op Systems and Architectural Support for Ondemand IT InfraStructure",
 url          = "http://www.cs.ucsd.edu/~aauyoung/papers/bellagio-oasis04.pdf",
)
@article(baldan,
 author       = "P. Baldan and C. Bertolissi and H. Cirstea and C. Kirchner",
 year         = "2007",
 title        = "{A Rewriting Calculus for Cyclic Higher-Order Term Graphs}",
 journal      = "Math. Structures in Computer Science",
 volume       = "17",
 pages        = "363--406",
 doi          = "10.1017/S0960129507006093",
)
@inproceedings(BalonLeduc:icon2006,
 author       = "S. Balon and G. Leduc",
 year         = "2006",
 title        = "{Dividing the Traffic Matrix to Approach Optimal Traffic Engineering}",
 booktitle    = "14th IEEE Int'l Conf. on Networks (ICON 2006)",
 volume       = "2",
 pages        = "566--571",
)
@inproceedings(barthe:pure,
 author       = "G. Barthe and H. Cirstea and C. Kirchner and L. Liquori",
 year         = "2003",
 title        = "{Pure Patterns Type Systems}",
 booktitle    = "Proc. 30th ACM Symp. on POPL",
 pages        = "250--261",
 doi          = "10.1145/640128.604152",
)
@inproceedings(BestavrosKfouryLapetsOcean:crts09,
 author       = "A. Bestavros and A. Kfoury and A. Lapets and M. Ocean",
 year         = "2009",
 title        = "{Safe Compositional Network Sketches: Tool and Use Cases}",
 booktitle    = "IEEE Workshop on Compositional Theory and Technology for Real-Time Embedded Systems",
 address      = "Wash D.C.",
 url          = "http://www.cs.bu.edu/fac/best/res/papers/crts09.pdf",
)
@inproceedings(BestavrosKfouryLapetsOcean:hscc10,
 author       = "A. Bestavros and A. Kfoury and A. Lapets and M. Ocean",
 year         = "2010",
 title        = "{Safe Compositional Network Sketches: The Formal Framework}",
 booktitle    = "13th ACM HSCC",
 address      = "Stockholm",
 url          = "http://www.cs.bu.edu/fac/best/res/papers/hscc10.pdf",
)
@book(networkcalculus,
 author       = "J.-Y. Le Boudec and P. Thiran",
 year         = "2004",
 title        = "Network Calculus",
 publisher    = "Springer Verlag",
 doi          = "10.1007/3-540-45318-0",
 note         = "LNCS 2050",
)
@inproceedings(Buyya2000,
 author       = "R. Buyya and D. Abramson and J. Giddy",
 year         = "2000",
 title        = "{Nimrod/G}: An Architecture for a Resource Management and Scheduling System in a Global Computational Grid",
 booktitle    = "HPC ASIA 2000",
 url          = "http://www.gridbus.org/papers/nimrodg.pdf",
)
@article(Cirstea2004,
 author       = "H. Cirstea and C. Kirchner and L. Liquori",
 year         = "2004",
 title        = "{Rewriting Calculus with(out) Types}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "71",
 pages        = "3--19",
 doi          = "10.1016/S1571-0661(05)82526-5",
)
@inproceedings(Cirstea03rewritingcalculus,
 author       = "H. Cirstea and L. Liquori and B. Wack",
 year         = "2003",
 title        = "{Rewriting Calculus with Fixpoints: Untyped and First-order Systems}",
 booktitle    = "Post-proceedings of TYPES, LNCS",
 publisher    = "Springer",
 pages        = "147--161",
)
@inproceedings(Cousot97-1,
 author       = "P{.} Cousot",
 year         = "1997",
 title        = "{Types as Abstract Interpretations, invited paper}",
 booktitle    = "Proc. of 24th ACM Symp. on Principles of Programming Languages",
 address      = "Paris",
 pages        = "316--331",
)
@inproceedings(cousot-halbwachs-78,
 author       = "P. Cousot and N. Halbwachs",
 year         = "1978",
 title        = "{Automatic Discovery of Linear Restraints Among Variables of a Program}",
 booktitle    = "Proc. 5th ACM Symp. on POPL",
 address      = "Tucson",
 pages        = "84--96",
)
@article(Cunningham79,
 author       = "W. H. Cunningham",
 year         = "1979",
 title        = "{Theoretical Properties of the Network Simplex Method}",
 journal      = "Mathematics of Operations Research",
 volume       = "4",
 number       = "2",
 pages        = "196--208",
)
@article(Gomoluch2004,
 author       = "J. Gomoluch and M. Schroeder",
 year         = "2004",
 title        = "Performance evaluation of market-based resource allocation for Grid computing",
 journal      = "Concurrency and Computation: Practice and Experience",
 volume       = "16",
 number       = "5",
 pages        = "469--475",
 doi          = "10.1002/cpe.826",
)
@inproceedings(polys,
 author       = "N. Halbwachs",
 year         = "1993",
 title        = "{Delay Analysis in Synchronous Programs}",
 booktitle    = "Fifth Conference on Computer-Aided Verification",
 publisher    = "LNCS 697, Springer Verlag",
 address      = "Elounda (Greece)",
)
@inproceedings(IshakianBestavrosKfoury:rtsca10,
 author       = "V. Ishakian and A. Bestavros and A. Kfoury",
 year         = "2010",
 title        = "{A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-time Systems}",
 booktitle    = "Int'l Conf on Embedded and Real-Time Computing Systems and Applications (RTSCA'10)",
 address      = "Macau, China",
 url          = "http://www.cs.bu.edu/fac/best/res/papers/rtsca10.pdf",
)
@inproceedings(IshakianSwehaLondonoBestavros:nca10,
 author       = "V. Ishakian and R. Sweha and J. Londono and A. Bestavros",
 year         = "2010",
 title        = "{Colocation as a Service: Strategic and Operational Services for Cloud Colocation}",
 booktitle    = "Int'l Symp on Network Computing and Applications (NCA'10)",
 address      = "Cambridge, MA",
 url          = "http://www.cs.bu.edu/fac/best/res/papers/nca10.pdf",
)
@inproceedings(jay-kesner:esop06,
 author       = "C. Barry Jay and D. Kesner",
 year         = "2006",
 title        = "{Pure Pattern Calculus}",
 booktitle    = "European Symposium on Programming",
 pages        = "100--114",
)
@techreport(kfouryDSL:2011,
 author       = "A. Kfoury",
 year         = "{2011}",
 title        = "{A Domain-Specific Language for Incremental and Modular Design of Large-Scale Verifiably-Safe Flow Networks (Part 1)}",
 type         = "Technical Report",
 number       = "BUCS-TR-2011-011",
 institution  = "CS Dept, Boston Univ",
)
@article(255724,
 author       = "E. Knightly and H. Zhang",
 year         = "1997",
 title        = "{D-BIND}: an accurate traffic model for providing {QoS} guarantees to {VBR} traffic",
 journal      = "IEEE/ACM Transactions on Networking",
 volume       = "5",
 pages        = "219--231",
 doi          = "10.1109/90.588085",
)
@article(Liu1973Scheduling,
 author       = "C. L. Liu and James W. Layland",
 year         = "1973",
 title        = "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment",
 journal      = "Journal of the ACM",
 volume       = "20",
 number       = "1",
 pages        = "46--61",
 doi          = "10.1145/321738.321743",
)
@article(rashidi-tsang-09,
 author       = "H. Rashidi and E.P.K. Tsang",
 year         = "2009",
 title        = "{An Efficient Extension of Network Simplex Algorithm}",
 journal      = "Journal of Industrial Engineering",
 volume       = "2",
 pages        = "1--9",
)
@inproceedings(Regehr2001HLS,
 author       = "J. Regehr and J.A. Stankovic",
 year         = "2001",
 title        = "HLS: A Framework for Composing Soft Real-Time Schedulers",
 booktitle    = "22nd IEEE Real-Time Systems Symposium (RTSS '01)",
 publisher    = "IEEE Comp Soc",
 address      = "Washington, DC, USA",
 pages        = "3",
)
@inproceedings(Shin2003Periodic,
 author       = "I. Shin and I. Lee",
 year         = "2003",
 title        = "Periodic Resource Model for Compositional Real-Time Guarantees",
 booktitle    = "24th IEEE International Real-Time Systems Symposium (RTSS '03)",
 publisher    = "IEEE Comp Soc",
 address      = "Washington, DC, USA",
 pages        = "2",
)
@inproceedings(SouleBestKfouryLapets:eoolt11,
 author       = "N. Soule and A. Bestavros and A. Kfoury and A. Lapets",
 year         = "2011",
 title        = "{Safe Compositional Equation-based Modeling of Constrained Flow Networks}",
 booktitle    = "Proc. of 4th Int'l Workshop on Equation-Based Object-Oriented Modeling Languages and Tools",
 address      = "Z\"urich",
)
@inproceedings(Thiran2001,
 author       = "P. Thiran and J. Boudec and F. Worm",
 year         = "2001",
 title        = "Network calculus applied to optimal multimedia smoothing",
 booktitle    = "Proceedings of IEEE INFOCOM",
)
@inproceedings(662332,
 author       = "R. Wolski and J.S. Plank and J. Brevik and T. Bryan",
 year         = "2001",
 title        = "G-commerce: Market Formulations Controlling Resource Allocation on the Computational Grid",
 booktitle    = "15th Int'l Parallel \& Distributed Processing Symposium (IPDPS '01)",
 publisher    = "IEEE Comp Soc",
 address      = "Washington, DC, USA",
 pages        = "46",
)