@article(benini02,
 author       = "L. Benini and G. De Micheli",
 year         = "2002",
 title        = "Networks on {C}hips: a new {S}o{C} paradigm",
 journal      = "IEEE Computer",
 volume       = "35",
 number       = "1",
 pages        = "70--78",
 doi          = "10.1109/2.976921",
)
@article(borrione09,
 author       = "Dominique Borrione and Amr Helmy and Laurence Pierre and Julien Schmaltz",
 year         = "2009",
 title        = "A formal approach to the verification of {N}etworks on {C}hip",
 journal      = "EURASIP Journal on Embedded Systems",
 volume       = "2009",
 pages        = "2:1--2:14",
 doi          = "10.1155/2009/548324",
)
@article(chatterjee12,
 author       = "Satrajit Chatterjee and Michael Kishinevsky",
 year         = "2012",
 title        = "Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics",
 journal      = "Formal Methods in System Design",
 volume       = "40",
 number       = "2",
 pages        = "147--169",
 doi          = "10.1007/s10703-011-0134-0",
)
@inproceedings(chatterjee10,
 author       = "Satrajit Chatterjee and Michael Kishinevsky and {\"U}mit Y. Ogras",
 year         = "2010",
 title        = "Quick formal modeling of communication fabrics to enable verification",
 booktitle    = "Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT'10)",
 pages        = "42--49",
 doi          = "10.1109/HLDVT.2010.5496662",
)
@inproceedings(dally01,
 author       = "William James Dally and Brian Towles",
 year         = "2001",
 title        = "Route packets, not wires: on-chip interconnection networks",
 booktitle    = "Design Automation Conference, 2001. Proceedings",
 pages        = "684--689",
 doi          = "10.1109/DAC.2001.156225",
)
@incollection(gotmanov11,
 author       = "Alexander Gotmanov and Satrajit Chatterjee and Michael Kishinevsky",
 year         = "2011",
 title        = "Verifying Deadlock-Freedom of Communication Fabrics",
 booktitle    = "Verification, Model Checking, and Abstract Interpretation (VMCAI '11)",
 volume       = "6538",
 pages        = "214--231",
 doi          = "10.1007/978-3-642-18275-4\_16",
)
@inproceedings(holcomb2012,
 author       = "Daniel E. Holcomb and Alexander Gotmanov and Michael Kishinevsky and Sanjit A. Seshia",
 year         = "2012",
 title        = "Compositional performance verification of NoC designs",
 booktitle    = "MEMOCODE",
 publisher    = "IEEE",
 pages        = "1--10",
 doi          = "10.1109/MEMCOD.2012.6292294",
)
@article(Schmaltz:2008fp,
 author       = "Julien Schmaltz and Dominique Borrione",
 year         = "2008",
 title        = "{A functional formalization of on chip communications}",
 journal      = "Formal Aspects of Computing",
 volume       = "20",
 number       = "3",
 pages        = "241--258",
 doi          = "10.1007/s00165-007-0049-0",
)
@phdthesis(freekthesis,
 author       = "Freek Verbeek",
 year         = "2013",
 title        = "Formal Verification of On-Chip Communication Fabrics",
 school       = "Radboud University Nijmegen",
)
@inproceedings(verbeekschmaltz:fmcad11,
 author       = "Freek Verbeek and Julien Schmaltz",
 year         = "2011",
 title        = "Hunting deadlocks efficiently in microarchitectural models of communication fabrics",
 booktitle    = "Proceedings of the International Conference on Formal Methods in Computer-Aided Design",
 series       = "FMCAD '11",
 publisher    = "FMCAD Inc",
 address      = "Austin, TX",
 pages        = "223--231",
 url          = "http://dl.acm.org/citation.cfm?id=2157654.2157688",
)
@article(Verbeek:2012cv,
 author       = "Freek Verbeek and Julien Schmaltz",
 year         = "2012",
 title        = "{Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures}",
 journal      = "ACM Transactions on Design Automation of Electronic Systems (TODAES)",
 volume       = "17",
 number       = "1",
 doi          = "10.1145/2071356.2071357",
)