{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:58:08Z","timestamp":1730296688191,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/smartcomp.2017.7946992","type":"proceedings-article","created":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:36:09Z","timestamp":1497551769000},"page":"1-3","source":"Crossref","is-referenced-by-count":1,"title":["Certia: Certifying Interface Automata for Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Cong","family":"Sun","sequence":"first","affiliation":[]},{"given":"Qingsong","family":"Yao","sequence":"additional","affiliation":[]},{"given":"Jianfeng","family":"Ma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11431-011-4562-2"},{"key":"ref11","first-page":"107","article-title":"Describing secure interfaces with interface automata","volume":"264","author":"lee and","year":"2010","journal-title":"ENTCS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2011.08.046"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2010.09.128"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2014.60"},{"key":"ref15","first-page":"101","volume":"996","author":"nipkow and","year":"1995","journal-title":"I\/O automata in Isabelle\/HOL"},{"key":"ref16","first-page":"83","volume":"195","author":"de alfaro and","year":"2005","journal-title":"Interface-based Design"},{"key":"ref17","first-page":"163","volume":"1466","author":"alur","year":"1998","journal-title":"Alternating refinement relations"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.04.030"},{"key":"ref4","first-page":"59","volume":"4144","author":"adler","year":"2006","journal-title":"TICC A tool for interface compatibility and composition"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1123058.1123063"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"journal-title":"CHIC Checking interface compatibility","year":"2007","author":"beyer","key":"ref5"},{"key":"ref8","first-page":"108","volume":"2491","author":"de alfaro","year":"2002","journal-title":"Timed Interfaces"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629348"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"ref1","article-title":"An Introduction to Input\/Output automata","author":"lynch and","year":"1988","journal-title":"Massachusetts Institute of Technology Technical Memo MIT\/LCS\/TM-373"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.063"}],"event":{"name":"2017 IEEE International Conference on Smart Computing (SMARTCOMP)","start":{"date-parts":[[2017,5,29]]},"location":"Hong Kong, China","end":{"date-parts":[[2017,5,31]]}},"container-title":["2017 IEEE International Conference on Smart Computing (SMARTCOMP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7943263\/7946954\/07946992.pdf?arnumber=7946992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T19:52:30Z","timestamp":1498593150000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7946992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/smartcomp.2017.7946992","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}