{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:50:11Z","timestamp":1725580211792},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642203978"},{"type":"electronic","value":"9783642203985"}],"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-20398-5_32","type":"book-chapter","created":{"date-parts":[[2011,4,6]],"date-time":"2011-04-06T15:29:49Z","timestamp":1302103789000},"page":"453-458","source":"Crossref","is-referenced-by-count":22,"title":["D-Finder 2: Towards Efficient Correctness of Incremental Design"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Griesmayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thanh-Hung","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rongjie","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","first-page":"3","volume-title":"SEFM","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: SEFM, Washington, DC, USA, pp. 3\u201312. IEEE, Los Alamitos (2006)"},{"key":"32_CR2","unstructured":"Bensalem, S., Bogza, M., Legay, A., Nguyen, T.-H., Sifakis, J., Yan, R.: Incremental component-based construction and verification using invariants. In: FMCAD (2010)"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: Compositional verification for component-based systems and application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311, pp. 64\u201379. Springer, Heidelberg (2008)"},{"key":"32_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"614","DOI":"10.1007\/978-3-642-02658-4_45","volume-title":"Computer Aided Verification","author":"S. Bensalem","year":"2009","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.-H., Sifakis, J.: D-finder: A tool for compositional deadlock detection and verification. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 614\u2013619. Springer, Heidelberg (2009)"},{"key":"32_CR5","unstructured":"Bensalem, S., de Silva, L., Gallien, M., Ingrand, F., Yan, R.: Rock solid software: A verifiable and correct by construction controller for rover and spacecraft functional layers. In: ISAIRAS, pp. 859\u2013866 (2010)"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Legay, A., Nguyen, T.-H., Sifakis, J., Yan, R.: Incremental invariant generation for compositional design. In: TASE, pp. 157\u2013167 (2010)","DOI":"10.1109\/TASE.2010.23"},{"key":"32_CR7","unstructured":"BIP tool page, \n                    \n                      http:\/\/www-verimag.imag.fr\/BIP-Tools,93.html"},{"key":"32_CR8","unstructured":"Chaudron, M.R.V., Eskenazi, E.M., Fioukov, A.V., Hammer, D.K.: A framework for formal component-based software architecting. In: SVCS (2001)"},{"key":"32_CR9","unstructured":"DFinder tool page, \n                    \n                      http:\/\/www-verimag.imag.fr\/dfinder\/"},{"issue":"2","key":"32_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/MS.1985.230351","volume":"2","author":"D. Heimbold","year":"1985","unstructured":"Heimbold, D., Luckham, D.: Debugging Ada tasking programs. IEEE Softw.\u00a02(2), 47\u201357 (1985)","journal-title":"IEEE Softw."},{"key":"32_CR11","unstructured":"JavaBDD tool page, \n                    \n                      http:\/\/javabdd.sourceforge.net\/"},{"key":"32_CR12","unstructured":"Omega library tool page, \n                    \n                      http:\/\/www.cs.umd.edu\/projects\/omega\/"},{"key":"32_CR13","unstructured":"Simulink, \n                    \n                      http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"32_CR14","unstructured":"Somenzi, F.: CUDD tool page, \n                    \n                      http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/"},{"key":"32_CR15","first-page":"29","volume-title":"ACSD","author":"L. Thiele","year":"2007","unstructured":"Thiele, L., Bacivarov, I., Haid, W., Huang, K.: Mapping applications to tiled multiprocessor embedded systems. In: ACSD, pp. 29\u201340. IEEE, Los Alamitos (2007)"},{"key":"32_CR16","unstructured":"Yices tool page, \n                    \n                      http:\/\/yices.csl.sri.com\/"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20398-5_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T14:42:51Z","timestamp":1558536171000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20398-5_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642203978","9783642203985"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20398-5_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}