{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:34:40Z","timestamp":1743082480255,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642228629"},{"type":"electronic","value":"9783642228636"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22863-6_4","type":"book-chapter","created":{"date-parts":[[2011,8,8]],"date-time":"2011-08-08T05:47:55Z","timestamp":1312782475000},"page":"18-21","source":"Crossref","is-referenced-by-count":0,"title":["Challenges in Verifying Communication Fabrics"],"prefix":"10.1007","author":[{"given":"Michael","family":"Kishinevsky","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Gotmanov","sequence":"additional","affiliation":[]},{"given":"Yuriy","family":"Viktorov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network Calculus","author":"J.-Y. Boudec Le","year":"2001","unstructured":"Boudec, J.Y.L., Thiran, P.: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. LNCS, vol.\u00a02050. Springer, Heidelberg (2001)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bufistov, D., J\u00falvez, J., Cortadella, J.: Performance optimization of elastic systems using buffer resizing and buffer insertion. In: Proc. International Conf. Computer-Aided Design (ICCAD), pp. 442\u2013448 (November 2008)","DOI":"10.1109\/ICCAD.2008.4681613"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/1629911.1629988","volume-title":"DAC 2009: Proceedings of the 46th Annual Design Automation Conference","author":"D.E. Bufistov","year":"2009","unstructured":"Bufistov, D.E., Cortadella, J., Galceran-Oms, M., J\u00falvez, J., Kishinevsky, M.: Retiming and recycling for elastic systems with early evaluation. In: DAC 2009: Proceedings of the 46th Annual Design Automation Conference, pp. 288\u2013291. ACM, New York (2009)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Burns, S.M., Hulgaard, H., Amon, T., Borriello, G.: An algorithm for exact bounds on the time separation of events in concurrent systems. IEEE Trans. Comput. 44, 1306\u20131317 (1995), http:\/\/dx.doi.org\/10.1109\/12.475126","DOI":"10.1109\/12.475126"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/978-3-642-14295-6_29","volume-title":"Computer Aided Verification","author":"S. Chatterjee","year":"2010","unstructured":"Chatterjee, S., Kishinevsky, M.: Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 321\u2013338. Springer, Heidelberg (2010)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Chatterjee, S., Kishinevsky, M., Ogras, U.Y.: Quick formal modeling of communication fabrics to enable verification. In: Proc. IEEE High Level Design Validation and Test Workshop (HLDVT), pp. 42\u201349 (2010)","DOI":"10.1109\/HLDVT.2010.5496662"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-18275-4_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. Gotmanov","year":"2011","unstructured":"Gotmanov, A., Chatterjee, S., Kishinevsky, M.: Verifying deadlock-freedom of communication fabrics. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 214\u2013231. Springer, Heidelberg (2011)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/BFb0054295","volume-title":"Mathematics of Program Construction","author":"R. Manohar","year":"1998","unstructured":"Manohar, R., Martin, A.J.: Slack elasticity in concurrent computing. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, pp. 272\u2013285. Springer, Heidelberg (1998)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Verbeek, F., Schmaltz, J.: Formal specification of networks-on-chips: deadlock and evacuation. In: DATE 2010, pp. 1701\u20131706 (2010)","DOI":"10.1109\/DATE.2010.5457089"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/11561163_14","volume-title":"Formal Methods for Components and Objects","author":"R. Wilhelm","year":"2005","unstructured":"Wilhelm, R.: Timing analysis and timing predictability. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2004. LNCS, vol.\u00a03657, pp. 317\u2013323. Springer, Heidelberg (2005), http:\/\/dx.doi.org\/10.1007\/11561163_14"}],"container-title":["Lecture Notes in Computer Science","Interactive Theorem Proving"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22863-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T18:13:43Z","timestamp":1560449623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22863-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642228629","9783642228636"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22863-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}