{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:19:51Z","timestamp":1729613991570,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/smartcomp.2016.7501724","type":"proceedings-article","created":{"date-parts":[[2016,7,26]],"date-time":"2016-07-26T19:01:03Z","timestamp":1469559663000},"page":"1-6","source":"Crossref","is-referenced-by-count":19,"title":["Towards Reliability-Based Decision Making in Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Saideep","family":"Nannapaneni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sankaran","family":"Mahadevan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Subhav","family":"Pradhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Dubey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10922-011-9201-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141446"},{"key":"ref12","first-page":"102","article-title":"Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems","author":"pradhan","year":"2014","journal-title":"Isis"},{"key":"ref13","article-title":"Probability, reliability and statistical method in engineering design","author":"mahadevan","year":"2000","journal-title":"John Wiley & Sons"},{"key":"ref14","article-title":"Mission-based reliability prediction in component-based systems","volume":"7","author":"nannapaneni","year":"0","journal-title":"International Journal of Prognostics and Health Management"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0215-x"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2005.11.018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.905750"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CYBER.2014.6917501"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2014.23"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LISAT.2013.6578226"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IEEM.2015.7385799"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1145\/2846696.2846708","article-title":"CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems","author":"pradhan","year":"2015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-6269-8_6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CYBER.2014.6917502"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2012.33"}],"event":{"name":"2016 IEEE International Conference on Smart Computing (SMARTCOMP)","start":{"date-parts":[[2016,5,18]]},"location":"St Louis, MO, USA","end":{"date-parts":[[2016,5,20]]}},"container-title":["2016 IEEE International Conference on Smart Computing (SMARTCOMP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7499653\/7501656\/07501724.pdf?arnumber=7501724","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:14:16Z","timestamp":1498331656000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7501724\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/smartcomp.2016.7501724","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}