{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:37:06Z","timestamp":1773772626686,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/wf-iot.2014.6803224","type":"proceedings-article","created":{"date-parts":[[2014,5,6]],"date-time":"2014-05-06T00:59:26Z","timestamp":1399337966000},"page":"532-537","source":"Crossref","is-referenced-by-count":10,"title":["Fault-recovery and coherence in Internet of Things choreographies"],"prefix":"10.1109","author":[{"given":"Sylvain","family":"Cherrier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yacine M.","family":"Ghamri-Doudane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Lohier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Roussel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/iThings\/CPSCom.2011.33"},{"key":"2","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-95888-8_4","article-title":"Service-oriented architectures testing: A survey","author":"canfora","year":"2009","journal-title":"Software Engineering"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00094-S"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2168697.2168704"},{"key":"7","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1109\/ISORC.2005.16","article-title":"Automated model checking and testing for composite web services","author":"huang","year":"2005","journal-title":"Object-Oriented Real-Time Distributed Computing 2005 ISORC 2005 Eighth IEEE International Symposium on"},{"key":"6","first-page":"455","article-title":"Contiki-a lightweight and flexible operating system for tiny networked sensors local computer networks","author":"dunkels","year":"2004","journal-title":"Annual IEEE Conference on"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2013.6655001"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2012.6249331"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"8","first-page":"19","article-title":"A practical approach to programming with assertions. Software Engineering","volume":"21","author":"rosenblum","year":"1995","journal-title":"IEEE Transactions on"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16901-4_11"}],"event":{"name":"2014 IEEE World Forum on Internet of Things (WF-IoT)","location":"Seoul, Korea (South)","start":{"date-parts":[[2014,3,6]]},"end":{"date-parts":[[2014,3,8]]}},"container-title":["2014 IEEE World Forum on Internet of Things (WF-IoT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6784568\/6803102\/06803224.pdf?arnumber=6803224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T06:31:18Z","timestamp":1565418678000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6803224\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/wf-iot.2014.6803224","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}