{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:40:06Z","timestamp":1759333206615},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/memcod.2018.8556872","type":"proceedings-article","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T19:57:30Z","timestamp":1544126250000},"page":"1-11","source":"Crossref","is-referenced-by-count":12,"title":["Quotient for Assume-Guarantee Contracts"],"prefix":"10.1109","author":[{"given":"Inigo","family":"Incer Romeo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-Wei","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunsuk","family":"Kang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"331","article-title":"Learning assumptions for compositional verification","author":"cobleigh","year":"2003","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems 9th International Conference TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2003 Warsaw Poland April 7-11 2003 Proceedings"},{"key":"ref11","first-page":"548","article-title":"Symbolic compositional verification by learning assumptions","author":"alur","year":"2005","journal-title":"Computer Aided Verification 17th International Conference CAV 2005 Edinburgh Scotland UK July 6-10 2005 Proceedings"},{"key":"ref12","first-page":"135","article-title":"Automated assume-guarantee reasoning by abstraction refinement","author":"bobaru","year":"2008","journal-title":"Computer Aided Verification 20th International Conference CAV 2008 Princeton NJ USA July 7-14 2008 Proceedings"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1114984"},{"key":"ref15","first-page":"200","author":"benveniste","year":"2008","journal-title":"Multiple Viewpoint Contract-based Specification and Design"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68759-9"},{"key":"ref3","first-page":"259","author":"balarin","year":"2009","journal-title":"Chapter 10 Platform-Based Design and Frameworks"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.12.010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2885752"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-007-0045-4"},{"key":"ref7","first-page":"148","author":"chen","year":"2012","journal-title":"A Compositional Specification Theory for Component Behaviours"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"journal-title":"Touch of Class Learning to Program Well Using Object Technology and Design by Contract","year":"2009","author":"meyer","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.023"}],"event":{"name":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2018,10,15]]},"location":"Beijing","end":{"date-parts":[[2018,10,18]]}},"container-title":["2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536775\/8556861\/08556872.pdf?arnumber=8556872","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T23:46:24Z","timestamp":1643240784000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8556872\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/memcod.2018.8556872","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}