{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:40:23Z","timestamp":1730274023727,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/isgt-asia.2017.8378447","type":"proceedings-article","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T19:06:46Z","timestamp":1528744006000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Formal verification of demand response based home energy management systems in smart grids"],"prefix":"10.1109","author":[{"given":"Adnan Yaqoob","family":"Salik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Usama","family":"Sardar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Syed Rafay","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falah","family":"Awwad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2218835"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2016.2552169"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2015.7372551"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2016.06.011"},{"key":"ref15","first-page":"1","article-title":"A survey on formal methods using in software development","author":"you","year":"2012","journal-title":"Information Science and Control Engineering IET"},{"key":"ref16","first-page":"7162","article-title":"Encyclopedia of Information Science and Technology","author":"hasan","year":"0","journal-title":"IGI Global 2015 ch Formal Verification Methods"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2201182"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.101911.00087"},{"journal-title":"The 12 biggest electrical blackouts in history","year":"2015","author":"cormier","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2014.2298514"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2341586"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MIAS.2014.2345799"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2014.2312430"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISGWCP.2016.7548265"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2015.7256902"},{"journal-title":"International Energy Outlook 2016","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1007\/s00165-012-0227-6","article-title":"Probabilistic verification of herman self-stabilisation algorithm","volume":"24","year":"2012","journal-title":"Formal Aspects of Computing"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TDC.2010.5484336"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISGT.2016.7781193"},{"journal-title":"Weather underground an online source for weather information","year":"2016","key":"ref24"},{"journal-title":"Pecan street inc dataport 2016","year":"0","key":"ref23"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISGT-Asia.2017.8378447"}],"event":{"name":"2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia)","start":{"date-parts":[[2017,12,4]]},"location":"Auckland","end":{"date-parts":[[2017,12,7]]}},"container-title":["2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8370759\/8378313\/08378447.pdf?arnumber=8378447","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,25]],"date-time":"2019-11-25T20:13:46Z","timestamp":1574712826000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8378447\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/isgt-asia.2017.8378447","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}