{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:35:13Z","timestamp":1743122113793,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_9","type":"book-chapter","created":{"date-parts":[[2017,8,12]],"date-time":"2017-08-12T01:02:30Z","timestamp":1502499750000},"page":"136-151","source":"Crossref","is-referenced-by-count":3,"title":["Specification and Automated Verification of Dynamic Dataflow Networks"],"prefix":"10.1007","author":[{"given":"Jonatan","family":"Wiik","sequence":"first","affiliation":[]},{"given":"Pontus","family":"Bostr\u00f6m","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"12","key":"9_CR1","doi-asserted-by":"publisher","first-page":"1289","DOI":"10.1016\/j.scico.2010.08.003","volume":"77","author":"W Ahrendt","year":"2012","unstructured":"Ahrendt, W., Dylla, M.: A system for compositional verification of asynchronous objects. Sci. Comput. Program. 77(12), 1289\u20131309 (2012)","journal-title":"Sci. Comput. Program."},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11804192_17","volume-title":"Formal Methods for Components and Objects","author":"M Barnett","year":"2006","unstructured":"Barnett, M., Chang, B.-Y.E., DeLine, R., Jacobs, B., Leino, K.R.M.: Boogie: a modular reusable verifier for object-oriented programs. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 364\u2013387. Springer, Heidelberg (2006). doi: 10.1007\/11804192_17"},{"issue":"4","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1007\/s10270-015-0477-x","volume":"15","author":"P Bostr\u00f6m","year":"2016","unstructured":"Bostr\u00f6m, P., Wiik, J.: Contract-based verification of discrete-time multi-rate Simulink models. Softw. Syst. Modeling 15(4), 1141\u20131161 (2016)","journal-title":"Softw. Syst. Modeling"},{"issue":"10","key":"9_CR4","doi-asserted-by":"publisher","first-page":"2496","DOI":"10.1109\/TSP.2015.2411229","volume":"63","author":"J Boutellier","year":"2015","unstructured":"Boutellier, J., Ersfolk, J., Lilius, J., Mattavelli, M., Roquier, G., Silv\u00e9n, O.: Actor merging for dataflow process networks. IEEE Trans. Signal Process. 63(10), 2496\u20132508 (2015)","journal-title":"IEEE Trans. Signal Process."},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-319-41591-8_24","volume-title":"Software Engineering and Formal Methods","author":"A Champion","year":"2016","unstructured":"Champion, A., Gurfinkel, A., Kahsai, T., Tinelli, C.: CoCoSpec: a mode-aware contract language for reactive systems. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 347\u2013366. Springer, Cham (2016). doi: 10.1007\/978-3-319-41591-8_24"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78800-3_24"},{"key":"9_CR7","unstructured":"Eker, J., Janneck, J.W.: CAL language report. Technical report. ERL Technical Memo UCB\/ERL M03\/48, University of California at Berkeley (2003)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-36578-8_14","volume-title":"Fundamental Approaches to Software Engineering","author":"Y Jin","year":"2003","unstructured":"Jin, Y., Esser, R., Lakos, C., Janneck, J.W.: Modular analysis of dataflow process networks. In: Pezz\u00e8, M. (ed.) FASE 2003. LNCS, vol. 2621, pp. 184\u2013199. Springer, Heidelberg (2003). doi: 10.1007\/3-540-36578-8_14"},{"key":"9_CR9","unstructured":"Kahn, G.: The semantics of a simple language for parallel programming. In: Information Processing 1974 (1974)"},{"issue":"9","key":"9_CR10","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235\u20131245 (1987)","journal-title":"Proc. IEEE"},{"issue":"5","key":"9_CR11","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"EA Lee","year":"1995","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. Proc. IEEE 83(5), 773\u2013799 (1995)","journal-title":"Proc. IEEE"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/TC.1987.5009446","volume":"100","author":"EA Lee","year":"1987","unstructured":"Lee, E.A., Messerschmitt, D.G.: Static scheduling of synchronous data flow programs for digital signal processing. IEEE Trans. Comput. 100(1), 24\u201335 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/978-3-642-00590-9_27","volume-title":"Programming Languages and Systems","author":"KRM Leino","year":"2009","unstructured":"Leino, K.R.M., M\u00fcller, P.: A basis for verifying multi-threaded programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 378\u2013393. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-00590-9_27"},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1109\/MSP.2010.936032","volume":"27","author":"M Mattavelli","year":"2010","unstructured":"Mattavelli, M., Amer, I., Raulet, M.: The reconfigurable video coding standard. IEEE Signal Process. Mag. 27(3), 159\u2013167 (2010)","journal-title":"IEEE Signal Process. Mag."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Wandeler, E., Janneck, J.W., Lee, E.A., Thiele, L.: Counting interface automata and their application in static analysis of actor models. In: SEFM 2005. IEEE (2005)","DOI":"10.1109\/SEFM.2005.14"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Wiik, J., Bostr\u00f6m, P.: Specification and automated verification of dynamic dataflow networks. Technical report 1170, TUCS (2016)","DOI":"10.1007\/978-3-319-66197-1_9"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T03:20:56Z","timestamp":1659324056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}