{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:31Z","timestamp":1760202691306,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/memcod.2014.6961848","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T15:57:36Z","timestamp":1417017456000},"page":"104-113","source":"Crossref","is-referenced-by-count":8,"title":["Are interface theories equivalent to contract theories?"],"prefix":"10.1109","author":[{"given":"Pierluigi","family":"Nuzzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Iannopollo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Automatic synthesis of robust embedded control software","author":"wongpiromsarn","year":"2010","journal-title":"AAAI Spring Symposium on Embedded Reasoning Intelligence in Embedded Systems"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1995.523239"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"23","first-page":"127","article-title":"A sound and complete proof system for QPTL","volume":"4","author":"french","year":"2003","journal-title":"Advances in Modal Logic King's College Publications"},{"key":"18","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.906923"},{"key":"16","first-page":"380","article-title":"Independent implementability of viewpoints","author":"henzinger","year":"2012","journal-title":"Monterey Workshop"},{"key":"13","article-title":"Contract-based reasoning for component systems with complex interactions","author":"quinton","year":"2010","journal-title":"Verimag Research Report"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450070"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.167"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.44"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"20","first-page":"21","article-title":"A property-based proof system for contractbased design","author":"cimatti","year":"2012","journal-title":"EUROMICRO Conference on Software Engineering and Advanced Applications"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45449-7_11","article-title":"Interface theories for component-based design","author":"de alfaro","year":"2001","journal-title":"Proc Int Conf Embedded Software"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2012.2211098"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0015772"},{"key":"6","article-title":"Contracts for system design","author":"benveniste","year":"2012","journal-title":"INRIA Rapport de Recherche RR-8147"},{"key":"5","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","article-title":"Multiple viewpoint contract-based specification and design","author":"benveniste","year":"2008","journal-title":"Int Symposium on Formal Methods for Components and Objects"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1985342.1985345"},{"key":"9","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","article-title":"Moving from specifications to contracts in component-based design","author":"bauer","year":"2012","journal-title":"Proc Conf Fundamental Approaches to Software Eng"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"}],"event":{"name":"2014 Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)","start":{"date-parts":[[2014,10,19]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,21]]}},"container-title":["2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6950639\/6961832\/06961848.pdf?arnumber=6961848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T21:00:52Z","timestamp":1498165252000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6961848\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/memcod.2014.6961848","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}